Maximilien Colange bd739a5712 Heavily rewrite and optimize the determinization ... * NEWS: document the rewrite * spot/twaalgos/determinize.cc: lots of code optimizations * tests/core/safra.test, tests/python/highlighting.ipynb, tests/python/simstate.py: Update tests		2017-10-19 14:17:55 +02:00
..
.gitignore	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
_altscc.ipynb	dot: display acceptance names	2017-08-17 15:21:59 +02:00
_aux.ipynb	python: report dot errors	2016-02-16 14:34:57 +01:00
acc_cond.ipynb	acc: fix operator| and operator&	2017-08-17 15:21:59 +02:00
accparse.ipynb	acc: make &= and |= symmetrical	2017-07-25 17:47:57 +02:00
accparse2.py	acc: fix maybe_accepting() on Fin(x)|Fin(y)|Fin(z)	2017-06-21 16:15:13 +02:00
alarm.py	parsetl: change the interface to return a parsed_formula	2016-02-17 20:31:58 +01:00
alternating.py	remove universal transitions on the fly	2017-09-27 19:30:42 +02:00
alternation.ipynb	dot: display acceptance names	2017-08-17 15:21:59 +02:00
atva16-fig2a.ipynb	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
atva16-fig2b.ipynb	dot: display acceptance names	2017-08-17 15:21:59 +02:00
automata-io.ipynb	dot: add x option for dot2tex	2017-08-31 19:50:08 +02:00
automata.ipynb	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
bdditer.py	python: add bindings for bdd_to_formula()	2017-03-08 15:39:08 +01:00
bddnqueen.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
bugdet.py	fix typos and indentation	2017-09-05 13:23:01 +02:00
dca.py	twaalgos/cobuchi: Add nsa_to_nca()	2017-09-19 17:37:00 +01:00
dca.test	twaalgos/cobuchi: Add nsa_to_nca()	2017-09-19 17:37:00 +01:00
declenv.py	parsetl: improve coverage	2017-03-15 14:23:19 +01:00
decompose.ipynb	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
decompose_scc.py	decompose: merge decompose_strength() and decompose_scc()	2017-06-30 23:09:31 +02:00
dualize.py	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
formulas.ipynb	python: render the M&P hierarchy in SVG	2017-01-18 20:58:20 +01:00
gen.ipynb	gen: rename KS_COBUCHI to KS_NCA for consistency	2017-09-03 15:47:27 +02:00
gen.py	gen: rename KS_COBUCHI to KS_NCA for consistency	2017-09-03 15:47:27 +02:00
highlighting.ipynb	Heavily rewrite and optimize the determinization	2017-10-19 14:17:55 +02:00
implies.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
interdep.py	parsetl: change the interface to return a parsed_formula	2016-02-17 20:31:58 +01:00
ipnbdoctest.py	python: update some incorrect or obsolete code	2017-03-29 20:04:08 +02:00
langmap.py	langmap: adjust to only color non-unique languages	2017-01-17 21:58:03 +01:00
ltl2tgba.py	parsetl: change the interface to return a parsed_formula	2016-02-17 20:31:58 +01:00
ltl2tgba.test	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
ltlf.py	from_ltlf: new LTL transformation.	2016-11-05 22:59:02 +01:00
ltlparse.py	python: update some incorrect or obsolete code	2017-03-29 20:04:08 +02:00
ltlsimple.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
ltsmin-dve.ipynb	dot: extend the palette from 9 to 16 colors	2017-08-03 14:32:11 +02:00
ltsmin-pml.ipynb	adjust tests to SpinS 1.1	2016-06-22 21:26:35 +02:00
merge.py	introduce spot::simplify_acceptance()	2017-06-08 10:46:29 +02:00
minato.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
misc-ec.py	emptiness checks: replace assert-preconditions by exceptions	2017-03-10 14:36:22 +01:00
optionmap.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
origstate.py	Degeneralization keeps track of levels.	2017-05-31 13:28:42 +02:00
otfcrash.py	cleanup ltsmin bindings	2016-02-16 19:08:28 +01:00
parity.ipynb	parity: add spot::colorize_parity()	2017-09-25 12:10:14 +02:00
parsetgba.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
piperead.ipynb	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
prodexpt.py	typos: dictionnary -> dictionary	2017-03-08 16:10:47 +01:00
product.ipynb	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
randaut.ipynb	dot: display Rabin-like and Streett-like acceptances	2017-08-30 16:15:48 +02:00
randgen.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
randltl.ipynb	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
relabel.py	relabel_here: make it compatible with relabel_bse	2017-06-20 15:19:00 +02:00
remfin.py	dtwa_complement: deprecated, use dualize() instead.	2017-04-07 17:15:38 +02:00
rs_like.py	rs_like: fix bug to accept Fin | Fin , Inf & Inf	2017-05-29 11:45:02 +02:00
satmin.py	twaalgos: Set 'dicho' algo as default for SAT-based minimization	2017-01-06 19:53:21 +01:00
sbacc.py	degen, sbacc: merge accepting sinks	2017-07-24 16:13:56 +02:00
sccfilter.py	scc_filter: preserve state names and highlighted states	2016-11-11 15:21:17 +01:00
sccinfo.py	Fix a bug in scc_info, and clarify documentation	2017-09-25 15:28:33 +02:00
setacc.py	twa: do not set prop_state_acc in set_acceptance	2016-11-11 15:20:56 +01:00
setxor.py	Merge the core and python tests in the tests/ directory	2016-01-04 16:02:30 +01:00
simstate.py	Heavily rewrite and optimize the determinization	2017-10-19 14:17:55 +02:00
streett_totgba.py	Fix typo automatons -> automata	2017-08-09 15:51:23 +02:00
stutter-inv-states.ipynb	stutter: detect stutter-invariance at the state level	2017-10-11 15:01:29 +02:00
sum.py	dtwa_complement: deprecated, use dualize() instead.	2017-04-07 17:15:38 +02:00
testingaut.ipynb	simulation: do not depend on bdd numbers for ordering classes	2017-06-02 14:10:34 +02:00
toweak.py	tests: speed up two slow tests	2017-09-29 11:06:15 +02:00
tra2tba.py	twa_graph: do not order BDDs by IDs in merge_edges()	2017-09-24 16:47:49 +02:00
trival.py	trival: new class for tri-valued logic	2016-01-13 17:57:54 +01:00
twagraph.py	twa_graph: fix purge_unreachable_states on alternating automata	2017-03-29 10:08:23 +02:00
word.ipynb	dot: extend the palette from 9 to 16 colors	2017-08-03 14:32:11 +02:00