alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/tests/python
History
Exact
Antoine Martin 0505ee9310 tl: implement suffix operator normal form 
* spot/tl/Makefile.am: New sonf files
* spot/tl/sonf.cc,spot/tl/sonf.hh: Here.
* python/spot/impl.i: include sonf.hh header
* doc/spot.bib: add entry for the SONF paper
* tests/python/formulas.ipynb: show sample usage
* tests/python/spot.py: test automata equivalence before/after SONF
* NEWS: mention the change
2022-03-03 09:13:04 +01:00
..
.gitignore Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
298.py determinize: do not copy the "incomplete" property 2020-12-15 10:47:25 +01:00
341.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
471.py twa: fix intersecting_run on weak automata 2021-07-08 09:00:29 +02:00
_altscc.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
_autparserr.ipynb tests: work around issue #474 2021-09-01 12:27:21 +02:00
_aux.ipynb python: upgrade notebook format to v4 2018-01-07 12:59:59 +01:00
_mealy.ipynb Renaming and clean up 2021-11-11 00:38:14 +01:00
_product_susp.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
_product_weak.ipynb product: add product_xor() and product_xnor() 2020-05-16 17:55:36 +02:00
_synthesis.ipynb hoa: add support for controllable-AP 2022-01-10 14:51:34 +01:00
_word.ipynb python: remove error recovery checks from the public notebooks 2018-01-07 16:22:46 +01:00
acc_cond.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
accparse.ipynb python: more conventional __repr__ for several types 2018-11-03 07:53:26 +01:00
accparse2.py LAR made smarter with symmetry-based degeneralization 2018-07-27 00:44:19 +02:00
aiger.py Renaming and clean up 2021-11-11 00:38:14 +01:00
alarm.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
aliases.ipynb dot: Add option @ to support aliases 2022-02-04 14:35:46 +01:00
aliases.py hoa: better support for aliases on output 2022-01-21 16:53:11 +01:00
alternating.py twagraph: remove bddfalse edges in purge_dead_states 2021-11-19 22:13:20 +01:00
alternation.ipynb replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
atva16-fig2a.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
atva16-fig2b.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
automata-io.ipynb dot: improve output to work around GraphViz bug 2022-01-11 22:19:20 +01:00
automata.ipynb replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
bdddict.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
bdditer.py org: update mailman urls 2021-12-13 10:08:34 +01:00
bddnqueen.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
bugdet.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
complement_semidet.py implement NCSB complementation 2018-07-02 14:32:57 +02:00
contains.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
declenv.py parsetl: improve coverage 2017-03-15 14:23:19 +01:00
decompose.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
decompose_scc.py replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
det.py introduce the original-classes named property 2021-12-17 22:36:16 +01:00
dualize.py replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
ecfalse.py ignore false edges in emptiness checks and scc_info 2020-04-11 11:24:55 +02:00
except.py hoa: add support for controllable-AP 2022-01-10 14:51:34 +01:00
formulas.ipynb tl: implement suffix operator normal form 2022-03-03 09:13:04 +01:00
game.py game: fix handling of useless SCCs 2020-09-24 12:18:14 +02:00
games.ipynb hoa: add support for controllable-AP 2022-01-10 14:51:34 +01:00
gen.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
gen.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
genem.py sccinfo: fix accepting run computation 2022-01-14 15:46:53 +01:00
highlighting.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
implies.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
interdep.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
intrun.py run: fix reduce on automata with Fin 2020-07-10 18:05:18 +02:00
ipnbdoctest.py ltsmin-pml: work around newer jupyter versions 2021-11-15 23:37:08 +01:00
kripke.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
langmap.py postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
ltl2tgba.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltl2tgba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlf.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
ltlparse.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltlsimple.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltsmin-dve.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
ltsmin-pml.ipynb ltsmin-pml: work around newer jupyter versions 2021-11-15 23:37:08 +01:00
mealy.py hoa: add support for controllable-AP 2022-01-10 14:51:34 +01:00
merge.py improve acceptance simplifications using useless colors 2020-07-28 22:26:28 +02:00
mergedge.py merge_states: fix segfault reported by Philipp 2021-05-31 20:46:41 +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 postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
optionmap.py python: add xargs support to translate() and postprocess() 2018-10-17 18:16:46 +02:00
origstate.py Degeneralization keeps track of levels. 2017-05-31 13:28:42 +02:00
otfcrash.py tests: cleanup temporary files leftover by a test case 2018-02-01 21:56:26 +01:00
parity.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
parity.py reduce_parity: fix to work on automata with deleted edges 2022-02-14 09:13:36 +01:00
parsetgba.py Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
pdegen.py sbacc: remove spurious initial state in some output 2021-12-16 17:23:06 +01:00
prodexpt.py product: fix handling of operand with false acceptance 2020-03-08 09:15:06 +01:00
product.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
randaut.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
randgen.py Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
randltl.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
relabel.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
remfin.py improve acceptance simplifications using useless colors 2020-07-28 22:26:28 +02:00
removeap.py remprop: reset no-terminal property 2019-06-02 09:00:08 +02:00
rs_like.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
satmin.ipynb dtwasat: various fixes 2021-09-29 16:50:49 +02:00
satmin.py dtwasat: various fixes 2021-09-29 16:50:49 +02:00
sbacc.py sbacc: define original-states 2021-11-18 22:03:47 +01:00
sccfilter.py scc_filter: preserve state names and highlighted states 2016-11-11 15:21:17 +01:00
sccinfo.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
sccsplit.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
semidet.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
setacc.py acc: introduce inf_unit() 2021-09-08 17:12:05 +02:00
setxor.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
simplacc.py simplify_acceptance: Use color inclusions to simplify a condition 2020-07-25 19:15:17 +02:00
simstate.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
sonf.py tl: implement suffix operator normal form 2022-03-03 09:13:04 +01:00
split.py * tests/python/split.py: Simplify. 2021-11-12 22:44:56 +01:00
streett_totgba.py * tests/python/streett_totgba.py: Remove superfluous comment. 2021-11-10 15:28:08 +01:00
streett_totgba2.py fix streett_to_generalized_buchi 2018-01-14 16:08:40 +01:00
stutter-inv.ipynb postproc: add simul-max and wdba-det-max options 2020-09-16 20:40:16 +02:00
stutter.py python: fix incorrect assertions on temporary objects 2021-01-17 20:48:56 +01:00
sum.py * tests/python/sum.py: Simplify code. 2019-07-30 16:26:58 +02:00
synthesis.ipynb aiger accepts splitted mealy machines 2021-12-10 12:44:36 +01:00
synthesis.py hoa: add support for controllable-AP 2022-01-10 14:51:34 +01:00
testingaut.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
toparity.py acd: remove redundant nodes 2021-09-05 20:50:33 +02:00
toweak.py postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
tra2tba.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
trival.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
twagraph-internals.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
twagraph.py twagraph: remove bddfalse edges in purge_dead_states 2021-11-19 22:13:20 +01:00
word.ipynb * tests/python/word.ipynb: Typo. 2021-12-16 14:20:12 +01:00
zlktree.ipynb acd: add ORDER_HEURISTIC for state-based ACD-transform 2021-09-24 22:28:10 +02:00
zlktree.py zlktree: fix colored output of acd_transform_sbacc() 2021-11-10 15:51:13 +01:00