Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
activates the ISP test for model-checking
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 29 Jul 2015 22:06:57 +0000 (00:06 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 29 Jul 2015 22:06:57 +0000 (00:06 +0200)
commitf275f02285f9b85e302886c73f418df1cfeb6a7a
tree07aefc7f41781e3602dcecdce58eff73d5bd27e1
parent1a3117c23f85cd2dc2a719b4f4ce2a47d9998433
activates the ISP test for model-checking
buildtools/jenkins/build.sh