Pierre-Emmanuel Wulfman 0bf6d09e85 reset Var counter at the begening of cli run		2020-04-21 18:06:17 +02:00
..
bin	reset Var counter at the begening of cli run	2020-04-21 18:06:17 +02:00
main	Add print-mini-c --optimize=entrypoint to print optimized mini_c	2020-04-21 13:28:39 +00:00
passes	Allow to failwith an int (or nat)	2020-04-21 15:35:41 +00:00
stages	empty string singleton is not annotated anymore	2020-04-20 20:21:49 +02:00
test	Allow to failwith an int (or nat)	2020-04-21 15:35:41 +00:00
.gitignore	Added tests to build, fixed some unused variables.	2019-05-15 15:17:04 +02:00
dune	Shared more code in ParserUnit.ml	2020-04-03 19:08:14 +02:00
ligo.ml	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00