Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
guess what? Another attempt with teh #if builds
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 14:27:06 +0000 (15:27 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 14:27:06 +0000 (15:27 +0100)
commitaab838f05318939b5d95a1006a22ed05a7fece89
tree2f9633c471d5c0fb069975f33a75cf65c10a2a1e
parent0853a0e21ddf334c2e7890a33fbdc3a281d30b0b
guess what? Another attempt with teh #if builds
CMakeLists.txt
src/xbt/automaton/automatonparse_promela.c