- Inscrit le: 09/12/2013
- Dernière connexion: 14/02/2018
Demandes soumises: 123
- 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.
- 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