David Chemouil

  • Registered on: 12/09/2013
  • Last connection: 07/15/2019

Projects

Activity

Reported issues: 127

02/07/2018

02:14 PM electrod First public release of Electrod
Electrod is now available publically, under the MPL 2.0. This is a complete rewrite of our compiler for Electrum mode...

07/28/2016

05:27 PM Electrum Analyzer Electrum Analyzer 0.3.5
Electrum Analyzer 0.3.5 is now released. It fixes a few bugs and adds a few improvements to the SMV file generation s...

11/04/2015

11:15 AM Electrum Analyzer Electrum Analyzer 0.3.4 released and added to OCaml's opam
Electrum Analyzer 0.3.4 is now released and available through *opam*, the package management system for OCaml.
In ...

10/29/2015

05:15 PM Electrum Analyzer First public release of the Electrum Analyzer
Electrum Analyzer is released under the GNU GPL 3.0 or later. It has been developed by Onera, with the participation ...

Also available in: Atom