700 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
dmitry	d0d4db7bf5	FuncSem WIP	2021-03-19 11:53:00 +03:00
dmitry	b45c61f5c8	Merge branch 'main' of github.com:fluencelabs/aqua-hll into gen-ts	2021-03-19 11:52:43 +03:00
Dmitry Kurinskiy	6c4bea84ed	Merge pull request #3 from fluencelabs/aqua-gen ... Aqua gen	2021-03-19 11:51:22 +03:00
DieMyst	10ba31479f	use fs2	2021-03-19 11:30:55 +03:00
dmitry	90abafc221	Compiler -> Semantics	2021-03-19 11:18:52 +03:00
dmitry	9d2489ea14	Better separation of concerns: parser only parses, semantics are evaluated separately	2021-03-19 11:16:03 +03:00
dmitry	c3347dd7bd	Packages renaming	2021-03-19 10:45:49 +03:00
DieMyst	ce049d42ca	build jar, generate hll files from dir	2021-03-18 15:51:22 +03:00
Dima	232cd0439c	Merge pull request #2 from fluencelabs/tests ... Tests	2021-03-18 13:17:37 +03:00
DieMyst	b01be3d161	fix tests	2021-03-18 13:06:14 +03:00
DieMyst	cb1a5d3aa0	Merge remote-tracking branch 'origin/main' into tests	2021-03-18 13:02:38 +03:00
Dmitry Kurinskiy	0f6db200b6	Merge pull request #1 from fluencelabs/init-gen ... First approach to generators	2021-03-18 12:11:56 +03:00
DieMyst	69af7abc9e	cleanup	2021-03-18 11:33:41 +03:00
DieMyst	aa7e30be00	on tests, ability tests	2021-03-18 11:32:11 +03:00
dmitry	c9b3e04a7f	Generate callbacks in top-level functions	2021-03-17 18:28:46 +03:00
dmitry	76b37430e8	Basic generator works	2021-03-17 17:38:24 +03:00
DieMyst	63c852dfa2	coalgebra tests	2021-03-17 15:57:12 +03:00
dmitry	acb59d5582	ArrowGen	2021-03-17 15:17:51 +03:00
DieMyst	4b4509868c	func head tests	2021-03-17 13:34:35 +03:00
dmitry	b4a9979278	ReturnExpr for functions	2021-03-17 13:10:21 +03:00
DieMyst	5fa8dde601	coalgebra tests	2021-03-17 12:40:48 +03:00
dmitry	35a3c4fc86	Generators WIP	2021-03-16 14:52:46 +03:00
dmitry	a80c8cd571	Working on Gen	2021-03-16 14:03:06 +03:00
dmitry	e3ad4f4ed1	Removed old contexts and expression parsers	2021-03-15 15:55:43 +03:00
dmitry	6b1f7dd0af	Type checker works	2021-03-15 15:49:48 +03:00
dmitry	e33b499c42	Verifies (with bugs)	2021-03-15 15:19:32 +03:00
dmitry	401b7a31df	Types interpreter	2021-03-15 14:42:07 +03:00
dmitry	ab4a26ee96	Basic PeerIdInterpreter	2021-03-15 12:48:41 +03:00
dmitry	b8d72677ee	Basic NamesInterpreter	2021-03-15 12:39:18 +03:00
dmitry	b7306e1fa5	StackInterpreter factored out	2021-03-15 11:45:27 +03:00
alari	5306514e92	Access to Gen in Prog.around	2021-03-13 11:11:34 +03:00
dmitry	d7e81256ae	Unused op removed	2021-03-12 17:40:02 +03:00
dmitry	c403830d59	Basic AbilitiesInterpreter implementation	2021-03-12 17:29:51 +03:00
dmitry	ef3fbec100	EitherT is not a good choice	2021-03-12 11:27:38 +03:00
dmitry	a1c69819d2	EitherT?	2021-03-11 17:06:31 +03:00
dmitry	ebc8ee2aa3	AbilitiesInterpreter wip	2021-03-11 16:53:04 +03:00
dmitry	a0309b8bdf	Return Gen type instead of Unit	2021-03-11 13:02:30 +03:00
dmitry	d705b6f11e	Moving packages around	2021-03-11 12:45:22 +03:00
dmitry	460854c12a	F type in free algebras and ops	2021-03-10 16:06:26 +03:00
dmitry	09828df085	AbilitiesInterpreter WIP	2021-03-09 19:14:56 +03:00
dmitry	ebe77b164f	progress	2021-03-09 17:11:42 +03:00
dmitry	69790cf6ca	Func program	2021-03-09 15:13:01 +03:00
dmitry	e643ccff13	Coalgebra prog	2021-03-09 14:41:37 +03:00
dmitry	cdd9cc8cea	Progs WIP	2021-03-09 14:07:05 +03:00
dmitry	4b0ddc7f48	Prog type	2021-03-09 12:45:17 +03:00
dmitry	be53b19c50	Exprs to free programs WIP	2021-03-08 18:02:40 +03:00
dmitry	d7b2f4c99c	Free	2021-03-08 17:35:12 +03:00
dmitry	2119721829	Ast refactoring WIP	2021-03-08 16:08:30 +03:00
dmitry	1cdcc085bb	Ast refactoring WIP	2021-03-08 15:33:28 +03:00
alari	4cb1c2a4d8	AST refactoring WIP	2021-03-08 12:14:35 +03:00