David Chemouil

  • Inscrit le: 09/12/2013
  • Dernière connexion: 06/02/2019



Demandes soumises: 127


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


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


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

Formats disponibles : Atom