Pierre-Emmanuel Wulfman 7bcf46d3bc Merge branch 'refactoring_mini-c_type' into 'dev' ...

Refactor Mini-c types for conformity with the other stage

See merge request ligolang/ligo!598

2020-05-13 11:01:20 +00:00

..

dune

change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core

2020-03-18 16:00:34 +01:00

helpers.ml

Plugged the preprocessor into the compiler's CLI.

2020-04-12 15:26:47 +02:00

of_core.ml

some environment cleanup

2020-05-07 16:30:06 +02:00

of_imperative.ml

change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core

2020-03-18 16:00:34 +01:00

of_michelson.ml

add a flag to disable michelson typechecking in compile-contract

2020-03-16 12:19:23 +01:00

of_mini_c.ml

replace type_value by type_expresion end expression' by

2020-04-30 11:22:56 +02:00

of_source.ml

Plugged the preprocessor into the compiler's CLI.

2020-04-12 15:26:47 +02:00

of_sugar.ml

change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core

2020-03-18 16:00:34 +01:00

of_typed.ml

WIP: michelson_pair

2020-04-19 15:18:46 +02:00

utils.ml

rename AST to imperative, sugar and core. Factor code in compile

2020-03-18 16:00:34 +01:00