gnu99 to c99 (not compiler dependent) produces a warning for mkstemp
[anf2cnf:anf2cnf.git] / TODO
2010-10-21 Luk Bettaleremoved done things in TODO list
2010-10-14 Luk BettaleTODO updated, (higher degree done)
2010-10-14 Luk BettaleMerge branch 'linkedlist'
2010-09-24 Luk Bettaleminor corrections : bool in SATsolve.c, TODO updated
2010-09-24 Luk BettaleTODO list filled
2010-09-24 Luk BettaleTODO list added