Alexandre Duret-Lutz fdbdb1a436 Fix a memory leak on failure to WDBA-minimize. ... * src/tgbaalgos/minimize.cc (minimize_obligation): Delete the powerset automaton when we return 0 because we know if the result is correct and don't have the formulae to check it. Reported by Étienne Renault.		2012-06-06 10:40:16 +02:00
..
eltlparse	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
eltltest	Fix VPATH builds, now that hash.hh include _config.h	2011-12-18 12:56:44 +01:00
evtgba	Fix VPATH builds, now that hash.hh include _config.h	2011-12-18 12:56:44 +01:00
evtgbaalgos	Overhaul bdddict to speedup bdd->formula lookups.	2012-05-20 21:00:40 +02:00
evtgbaparse	Fix VPATH builds, now that hash.hh include _config.h	2011-12-18 12:56:44 +01:00
evtgbatest	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
kripke	Downcase a couple of misnamed class names.	2012-05-02 17:57:38 +02:00
kripkeparse	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
kripketest	Fix a 'make check' failure when valgrind is not installed.	2012-01-13 13:51:42 +01:00
ltlast	Fix translation of !{r}.	2012-05-12 12:21:41 +02:00
ltlenv	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
ltlparse	Equip the LTL parser with printers for formulas and other token.	2012-05-10 10:23:13 +02:00
ltltest	Fix translation of !{r}.	2012-05-12 12:21:41 +02:00
ltlvisit	Clear the contaiment cache after -r7.	2012-05-21 22:35:51 +02:00
misc	Fix mismatch between srand/srand48 and rand/rand48.	2012-05-07 16:36:10 +02:00
neverparse	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
saba	Fix VPATH builds, now that hash.hh include _config.h	2011-12-18 12:56:44 +01:00
sabaalgos	Fix VPATH builds, now that hash.hh include _config.h	2011-12-18 12:56:44 +01:00
sabatest	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
sanity	80columns.test: Add workaround for non-unicode systems.	2012-05-03 20:46:59 +02:00
tgba	Make it easier to convert acc-conditions to associated formulae.	2012-05-22 17:57:12 +02:00
tgbaalgos	Fix a memory leak on failure to WDBA-minimize.	2012-06-06 10:40:16 +02:00
tgbaparse	Export tgba_parse() to the python interface.	2012-05-23 11:59:58 +02:00
tgbatest	ltl2tgba: Set assume_sba for automata read from a neverclaim.	2012-05-20 21:00:40 +02:00
.cvsignore	* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...	2003-04-30 12:46:12 +00:00
.gitignore	more files to ignore	2009-09-02 10:41:18 +02:00
Makefile.am	Add text I/O for Kripke structures.	2011-11-24 22:47:41 +01:00