====== Download ======
===== Latest versions =====
* [[http://www.algo-prog.info/zamcov/distribution/zamcov-2.0.alpha.tar.gz|Zamcov 2.0 alpha (2012-09-07)]]
* this is an alpha version with a new semantics for MC/DC applied to OCaml.
* it should be stable in the sense that it shouldn't crash, but it still has a few known bugs.
* [[http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.0.tar.gz|ocaml-3.12.0]]
* [[http://www.algo-prog.info/zamcov/distribution/zamcov-1.0.tar.gz|Zamcov 1.0 (2012-03-13)]]
* md5sum : 16dc3358d1490624b2e7a8e8ff8612bf
* works with [[http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.0.tar.gz|OCaml 3.12.0 (link to tarball)]]
* Last changes:
* (fix) dynamic measurement
* some traces were wrong, they have been removed
* (fix) post-execution condition coverage measurement
* condition measurement criteria doesn't depend on MC/DC anymore
* (improvement) html/css report generation
* (fixes) misc small fixes
* Known issues:
* (bug) tail-calls may consume a lot of memory (will be fixed in the next release)
===== Previous versions =====
* [[http://www.algo-prog.info/zamcov/distribution/zamcov-0.9.tar.gz|Zamcov 0.9 (2010-10-27)]]
* [[http://www.algo-prog.info/zamcov/distribution/zamcov-0.5.tar.gz|Zamcov 0.5 (2010-06-11)]]
====== Free Open-Source Software License ======
ZAMCOV is a free open-source software, under [[http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.html|CeCILL-B free software license agreement]] (it's a BSD-like license).