Alexandre Duret-Lutz 3378d72a88 dtgbasat: add a colored option ... This was suggested by one of the reviewers of our LPAR'15 paper. * src/twaalgos/dtgbasat.cc, src/twaalgos/dtgbasat.hh: Implement the colored option. * src/tests/satmin2.test: Test it. * doc/org/satmin.org, NEWS: Document it.		2015-09-03 18:27:02 +02:00
..
bin	ltlcross: recover from out-of-memory during state-space product	2015-08-24 07:55:46 +02:00
dstarparse	homogenize dstar_parse() and parse_aut() outputs	2015-08-20 23:21:20 +02:00
graph	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
kripke	rename src/tgbaalgos/ as src/twaalgos/	2015-04-22 17:58:06 +02:00
kripkeparse	ltlparse: rename the main functions	2015-06-04 09:26:57 +02:00
ltlast	ltl: fix detection of some siPSL formulas	2015-06-23 19:27:30 +02:00
ltlenv	Remove all cvsignore files.	2015-04-24 13:57:56 +02:00
ltlparse	ltl: allow \" and \\ in double-quoted atomic propositions	2015-08-18 15:47:16 +02:00
ltlvisit	* src/ltlvisit/unabbrev.cc: Missing break.	2015-08-21 17:35:46 +02:00
misc	silence diagnostics from gcc-snapshot	2015-08-17 18:56:36 +02:00
parseaut	remove a GCC 4.6 workaround	2015-08-14 15:34:28 +02:00
priv	rename tgba files as twa	2015-04-22 16:57:22 +02:00
sanity	org: Add link to the Python notebooks.	2015-08-13 16:50:15 +02:00
ta	ltlvisit: rename tostring.hh as print.hh and rename printer functions	2015-06-04 22:56:57 +02:00
taalgos	adjust names for automata printers	2015-06-05 21:42:29 +02:00
tests	dtgbasat: add a colored option	2015-09-03 18:27:02 +02:00
twa	remove algorithms that where only used by dstar's dra2ba conversion	2015-08-20 21:35:39 +02:00
twaalgos	dtgbasat: add a colored option	2015-09-03 18:27:02 +02:00
.gitignore	more files to ignore	2009-09-02 10:41:18 +02:00
Makefile.am	hoaparse: rename to parseaut	2015-06-11 13:31:13 +02:00