kind2-mc/kind2 — pull request #162 by AdrienChampion (2014-10-23 02:20:04+00:00)
Title: Invariant generation

Merging with current develop branch and a few bug fixes in revamped trans sys.