alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/tests
History
Exact
Antoine Martin bdae5563c6 ltlfilt: add --sonf and --sonf-aps flags 
* bin/ltlfilt.cc: Here.
* NEWS: Mention new ltlfilt flags.
* tests/Makefile.am, tests/core/sonf.test: Test these flags.
2022-03-03 12:42:26 +01:00
..
core ltlfilt: add --sonf and --sonf-aps flags 2022-03-03 12:42:26 +01:00
ltsmin modelchek: add more tests 2020-06-10 09:02:02 +02:00
python tl: implement suffix operator normal form 2022-03-03 09:13:04 +01:00
sanity parseaut: replace std::map by robin_hood::unordered_flat_map 2021-09-15 16:53:00 +02:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am ltlfilt: add --sonf and --sonf-aps flags 2022-03-03 12:42:26 +01:00
run.in improve PyPy support by following PEP 3149 2021-06-29 21:15:04 +02:00