alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src
History
Alexandre Duret-Lutz c019a44c49 Fix a segfault in WDBA minimization. 
* src/tgbaalgos/minimize.cc (build_result, minimize_dfa,
minimize_wdba): Correctly handle (i.e. ignore) useless states.
* src/tgbatest/ltl2tgba.test: Add two more tests.
2011-02-06 16:48:52 +01:00
..
eltlparse Fix "unused function" warnings reported by clang++. 2011-01-12 18:44:29 +01:00
eltltest Check for missing Copyright blurbs, and add them. 2010-01-30 16:32:13 +01:00
evtgba Introduce a destroy() method on states, and use it instead of delete. 2011-01-27 10:48:48 +01:00
evtgbaalgos Introduce a destroy() method on states, and use it instead of delete. 2011-01-27 10:48:48 +01:00
evtgbaparse Fix "unused function" warnings reported by clang++. 2011-01-12 18:44:29 +01:00
evtgbatest * src/evtgbatest/ltl2evtgba.test: Replace * by &. 2010-01-30 14:16:15 +01:00
kripke Finalize Kripke interface. 2010-11-26 17:50:12 +01:00
ltlast Fix some struct/class missmatches reported by clang. 2010-11-20 18:02:20 +01:00
ltlenv Fix copyrights. 2010-01-24 20:51:09 +01:00
ltlparse Recognize Goal's syntax for Boolean operators. 2011-02-03 21:47:38 +01:00
ltltest Recognize Goal's syntax for Boolean operators. 2011-02-03 21:47:38 +01:00
ltlvisit * src/ltlvisit/syntimpl.cc: Reduce the number of dynamic_cast<>s. 2010-12-04 17:10:47 +01:00
misc Fix a compilation failure with g++-3.3. 2011-01-12 16:59:42 +01:00
neverparse Read guard of the form !(x) in neverclaims. 2011-02-03 22:33:47 +01:00
saba Introduce a destroy() method on states, and use it instead of delete. 2011-01-27 10:48:48 +01:00
sabaalgos More Doxygen fixes. 2010-01-31 20:57:02 +01:00
sabatest more files to ignore 2011-01-27 21:47:47 +01:00
sanity Suggest using bddtrue and bddfalse instead of bdd_true() and 2010-11-24 22:00:57 +01:00
tgba Replace delete by destroy in comments dealing with states. 2011-01-27 10:48:49 +01:00
tgbaalgos Fix a segfault in WDBA minimization. 2011-02-06 16:48:52 +01:00
tgbaparse Fix "unused function" warnings reported by clang++. 2011-01-12 18:44:29 +01:00
tgbatest Fix a segfault in WDBA minimization. 2011-02-06 16:48:52 +01: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 * src/Makefile.am (libspot_la_LIBADD): Rename libneverclaimparse.la 2010-11-06 20:44:37 +01:00