Suzanne Dupéron 1e06c24325 Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver

2019-10-31 17:18:09 -04:00

..

dune

more refactoring

2019-09-15 13:12:19 +02:00

of_michelson.ml

commenting back

2019-10-17 17:33:43 +02:00

of_mini_c.ml

fix stuff

2019-09-25 10:49:14 +02:00

of_simplified.ml

dune build passes, but not dune build @ligo-test. Threaded the typechecker's state in a bunch of places where it's likely not needed, because I don't know which parts are entrypoints and which parts are intermediate functions, and the role of the state between program fragments is not yet 100% clear to me.

2019-10-11 15:21:28 -04:00

of_source.ml

Merge remote-tracking branch 'origin/dev' into HEAD

2019-10-11 16:59:45 -04:00

of_typed.ml

fix stuff

2019-09-25 10:49:14 +02:00

run.ml

further down the road

2019-09-18 18:49:33 +02:00