balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
ligo/src/passes/8-compiler
History
Sander 88159e15b2 Add inline attribute
2020-01-16 19:36:04 +00:00
..
compiler_environment.ml
Use ADT for types and move type to ast_common
2019-12-04 11:40:58 +00:00
compiler_environment.mli
Use ADT for types and move type to ast_common
2019-12-04 11:40:58 +00:00
compiler_program.ml
Add inline attribute
2020-01-16 19:36:04 +00:00
compiler_program.mli
Tests clean
2019-12-10 15:58:53 +01:00
compiler_type.ml
key_hash now comparable
2020-01-06 21:31:54 +01:00
compiler_type.mli
Interface for Ocaml code
2019-10-07 14:18:32 +00:00
compiler.ml
more refactoring
2019-09-10 12:42:49 +02:00
dune
first try
2019-12-31 14:23:51 +01:00
uncompiler.ml
support for key and signature literals
2020-01-13 11:37:10 +01:00
uncompiler.mli
Fix/simplify big_maps using Babylon
2019-11-21 08:18:18 -06:00