Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
For now model checking can not be compile with flto.
authornavarro <navarro@caraja.(none)>
Fri, 15 Jun 2012 08:55:03 +0000 (10:55 +0200)
committernavarro <navarro@caraja.(none)>
Fri, 15 Jun 2012 08:55:03 +0000 (10:55 +0200)
commit20862fe41dadbc23c96c578e5a8595203b4bda81
tree85750bfc564baec124b8f55a222ffd35af662c20
parent292568a8a3f10b4dd0af994c68fbd2a06944137b
For now model checking can not be compile with flto.
buildtools/Cmake/Flags.cmake