Christian Rinderknecht a6bf16cbe2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev

2020-01-29 16:49:42 +01:00

..

compile

Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev

2020-01-29 16:49:42 +01:00

run

review request (more regular output)

2020-01-17 17:02:54 +01:00

uncompile

first try

2019-12-31 14:23:51 +01:00

display.ml

add missing newlines

2020-01-17 16:29:23 +01:00

display.mli

Add hex michelson output, use enums for format options

2019-10-26 12:57:22 -05:00

dune

first try

2019-12-31 14:23:51 +01:00

main.ml

Refactoring eval run functions

2019-11-29 21:22:56 +00:00