- Nov 23, 2022
-
-
- Sep 21, 2022
-
-
- Jun 29, 2022
-
-
Fedor Sheremetyev authored
-
- Apr 11, 2022
-
-
- Mar 19, 2022
-
-
- Mar 01, 2022
-
-
- Feb 23, 2022
-
-
Co-authored-by: Marigold <contact@marigold.dev> Co-authored-by: Nomadic Labs <contact@nomadic-labs.com> Co-authored-by: Oxhead Alpha <info@oxheadalpha.com>
-
- Feb 15, 2022
-
-
Co-authored-by: Marigold <contact@marigold.dev> Co-authored-by: Nomadic Labs <contact@nomadic-labs.com> Co-authored-by: Oxhead Alpha <info@oxheadalpha.com>
-
- Jan 12, 2022
-
-
Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com>
-
- Oct 26, 2021
-
-
- Sep 15, 2021
-
-
- May 24, 2021
-
-
- Nov 23, 2020
-
-
-
The new signature for environment V1 is the same as V0. This new environment is to be used as a base for any environment modification.
-
- Mar 17, 2020
-
-
- Jun 30, 2018
-
-
- Jun 27, 2018
-
-
Benjamin Canou authored
-
- Apr 03, 2018
-
-
Grégoire Henry authored
-
- Feb 05, 2018
-
-
Grégoire Henry authored
-
- Jan 30, 2018
-
-
Grégoire Henry authored
-
Grégoire Henry authored
-
- Jan 16, 2018
-
-
Modify Makefile accordingly
-
- Dec 04, 2017
-
-
- Nov 15, 2017
-
-
- Oct 11, 2017
-
-
Grégoire Henry authored
This patch is co-authored with: cagdas.bozman@ocamlpro.com With this patch the economic protocol is now compiled as as "functor-pack", parameterized over the environment. This will ease the protocol reusability outside of the tezos source tree (e.g. for a michelson Web IDE) and will allow proper unit testing of the economic protocol. This functorization allows to break the dependency of the 'tezos-protocol-compiler' on various '.mli' of the node, and hence we don't need anymore the unusual compilation schema: a.mli -> b.mli -> b.ml -> a.ml where 'A' is linked after 'B' but 'a.mli' should still be compiled before 'b.mli'. This will simplify a switch to 'ocp-build' or 'jbuiler'.
-
- Jun 12, 2017
-
-
Grégoire Henry authored
-
- Nov 15, 2016
-
-
Grégoire Henry authored
Previously, the functor applications were hidden in a module generated by `tezos-protocol-compiler`.
-
- Sep 09, 2016
-
-
Tezos authored
-