David Chemouil

  • Inscrit le: 09/12/2013
  • Dernière connexion: 12/07/2017

Projets

Activité

Demandes soumises: 103

28/07/2016

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

04/11/2015

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

29/10/2015

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