ligo/src/passes/2-concrete_to_imperative
Pierre-Emmanuel Wulfman b41a59d2cf ast-imperative
2020-04-03 17:40:35 +02:00
..
cameligo.ml ast-imperative 2020-04-03 17:40:35 +02:00
cameligo.mli change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core 2020-03-18 16:00:34 +01:00
camligo.ml.old change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core 2020-03-18 16:00:34 +01:00
concrete_to_imperative.ml change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core 2020-03-18 16:00:34 +01:00
dune add for, for_each, while construct in ast_imperatve;\n Move the treatment of loops and handling of the assignment in imperative_to_sugar 2020-03-27 16:52:44 +01:00
pascaligo.ml ast-imperative 2020-04-03 17:40:35 +02:00
pascaligo.mli change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core 2020-03-18 16:00:34 +01:00