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