balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
d5e0c1c51f
ligo/src/lib_protocol_compiler
History
Pierre Boutillier b5fc7f582e
Update license in opam files
2018-08-22 14:50:13 +02:00
..
byte.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
byte.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
compiler.ml Compiler: by default, enforce the hash declared in TEZOS_PROTOCOL 2018-07-21 01:06:51 +02:00
dune Dune: use the new syntax 2018-08-01 10:52:24 +02:00
embedded_cmis.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
jbuild_embedded_protocol_template Dune: use the new syntax 2018-08-01 10:52:24 +02:00
jbuild_protocol_template Dune: use the new syntax 2018-08-01 10:52:24 +02:00
main_byte.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
main_embedded_packer.ml Dune: use the new syntax 2018-08-01 10:52:24 +02:00
main_embedded_packer.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
main_native.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
main_packer.ml Dune: use the new syntax 2018-08-01 10:52:24 +02:00
native.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
native.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
packer.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
packer.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
registerer.ml Tezos is now Open Source 2018-06-30 17:41:32 +02:00
registerer.mli Tezos is now Open Source 2018-06-30 17:41:32 +02:00
tezos-protocol-compiler.opam Update license in opam files 2018-08-22 14:50:13 +02:00