Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix ModelChecker::is_important_snapshot(), do not use global
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 14 Oct 2015 21:50:07 +0000 (23:50 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 15 Oct 2015 09:18:32 +0000 (11:18 +0200)

No differences found