Related Articles

Articles tagged by techelson

Date: 2019-04-29
Category: Blockchains

OCamlPro started working on blockchains in 2014, when Arthur Breitman came to us with an initial idea to develop the Tezos ledger. The idea was very challenging with a lot of innovations. So, we collaborated with him to write a specification, and to turn the specification into OCaml code. Since then... (Read more)

Authors: Adrien Champion
Date: 2019-03-07
Category: Blockchains
Tags: techelson, fr

Nous sommes fiers d’annoncer la première release de Techelson, moteur d’exécution de tests pour Michelson. Les programmeurs Liquidity peuvent également l’utiliser. Voir Techelson, a test execution engine for Michelson.... (Read more)