Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Add ModelChecker build type"
authorPaul Bédaride <paul.bedaride@gmail.com>
Thu, 31 Jan 2013 10:14:00 +0000 (11:14 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Thu, 31 Jan 2013 10:14:00 +0000 (11:14 +0100)
commitdd5510128a21934443941b3545700d7d28c410a6
tree448b5cb284006b584f60b2b2a8e9f31e1282016f
parentb9f5c84f32e894b1b8eaefdb86de942dcbdceffe
Revert "Add ModelChecker build type"

This reverts commit 07eb7317b31474d0b6702c255741b194dbfd2d6d.

Conflicts:
CMakeLists.txt
CMakeLists.txt