gnu99 to c99 (not compiler dependent) produces a warning for mkstemp
[anf2cnf:anf2cnf.git] / CMakeLists.txt
2011-01-07 Mate SoosFix:Random generation was not thread-safe
2011-01-07 Mate SoosUpping the ante -- best bits now seems to work
2011-01-06 Mate SoosAdd bestbits.c to build list
2011-01-06 Luk BettaleMerge branch 'master' of gitorious.org:anf2cnf/anf2cnf
2011-01-06 Mate SoosAdding CMakeLists.txt