dmitry
|
a99256ee53
|
Return via relay
|
2021-03-19 16:24:29 +03:00 |
|
dmitry
|
7fef0d3906
|
Generate typescript as a whole
|
2021-03-19 16:00:28 +03:00 |
|
dmitry
|
61781dd5bd
|
Generate from model
|
2021-03-19 15:25:58 +03:00 |
|
dmitry
|
7dde8a5d07
|
Simplified CoalgebraModel
|
2021-03-19 14:33:57 +03:00 |
|
DieMyst
|
a72bfff377
|
readme
|
2021-03-19 12:40:27 +03:00 |
|
dmitry
|
48a5ab2fa5
|
FuncModel wip
|
2021-03-19 12:30:52 +03:00 |
|
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 |
|