Alexandre Duret-Lutz 679df4eee1 Implement dtgba_sat_minimize(). ... Joint work with Soheib Baarir. * src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/dtgbasat.hh: New files. * src/tgbaalgos/Makefile.am: Add them. * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Add a dtgba-sat-minimize option. * src/tgbatest/ltl2tgba.cc: Add option -RG. * src/tgbatest/satmin.test: Add more tests.		2013-08-26 17:27:42 +02:00
..
bin	ltlcross: Allow %D, %N, or %T to be used multiple time	2013-08-26 17:27:39 +02:00
dstarparse	dstar: Improve conversion from DRA to BA.	2013-08-26 14:40:13 +02:00
eltlparse	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
eltltest	eltl2tgba: slight cleanup of the tests.	2013-01-17 14:06:31 +01:00
kripke	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
kripkeparse	* src/kripkeparse/Makefile.am: Add missing include directory.	2013-08-23 17:02:30 +02:00
kripketest	more files to ignore	2012-11-28 16:45:04 +01:00
ltlast	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
ltlenv	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
ltlparse	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
ltltest	bin: Ignore empty lines on input.	2013-05-12 17:32:46 +02:00
ltlvisit	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
misc	bitvect: implement a dynamic bit-vector class.	2013-08-23 17:02:29 +02:00
neverparse	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
priv	Use the count_state() function instead of stats_reachable().	2013-07-29 01:14:37 +02:00
saba	Use the count_state() function instead of stats_reachable().	2013-07-29 01:14:37 +02:00
sabaalgos	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
sabatest	more files to ignore	2012-11-28 16:45:04 +01:00
sanity	Add missing copyright blurbs to sanity tests.	2013-07-29 01:14:36 +02:00
ta	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
taalgos	* src/taalgos/tgba2ta.cc: Cosmetics.	2013-07-29 01:14:37 +02:00
tgba	* src/tgba/tgbatba.cc: Register the variables of the source automaton.	2013-08-26 17:27:41 +02:00
tgbaalgos	Implement dtgba_sat_minimize().	2013-08-26 17:27:42 +02:00
tgbaparse	Use -fvisibility=hidden globally.	2013-07-29 01:14:37 +02:00
tgbatest	Implement dtgba_sat_minimize().	2013-08-26 17:27:42 +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	dstarparse: Preliminary work on a parser for ltl2dstar.	2013-08-23 17:02:30 +02:00