David Chemouil

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



Reported issues: 127


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...


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: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 ...


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