Articles tagged with 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-05
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. About OCamlPro: OCamlPro is a R&D lab founded in 2011, with the mission ... (Read more)