ligo/src
2020-01-23 22:12:33 +01:00
..
bin some list-declarations tests 2020-01-23 22:12:33 +01:00
main add a new CLI command: list-declarations 2020-01-23 22:12:33 +01:00
passes Fixed CameLIGO parsing of -> vs * 2020-01-22 12:33:29 +01:00
stages Merge branch 'gardening/e-bytes-split' into 'dev' 2020-01-23 08:35:30 +00:00
test fix evaluate-value and added tests 2020-01-23 14:29:04 +01:00
.gitignore Added tests to build, fixed some unused variables. 2019-05-15 15:17:04 +02:00
dune first try 2019-12-31 14:23:51 +01:00
ligo.ml Move into src/; add vendors/ subfolder, add CI script. 2019-05-14 17:53:44 +02:00