Alexandre Duret-Lutz 396009c014 parseaut: better merge of multiple initial states ... If an initial states without incoming transition has to be merged into another one, its outgoing edges can be reused by just changing their source. * spot/parseaut/parseaut.yy (fix_initial_state): Implement this here. * tests/core/522.test: Add more tests. * tests/core/readsave.test: Adjust one expected output. * doc/org/hoa.org: Mention the completeness change. * NEWS: Mention the new feature.		2023-01-05 16:15:08 +01:00
..
core	parseaut: better merge of multiple initial states	2023-01-05 16:15:08 +01:00
ltsmin	declare all argp_program_doc as static	2022-10-25 16:31:35 +02:00
python	acd: rewrite Python wrapper without jQuery	2022-12-10 22:18:18 +00:00
sanity	* tests/sanity/style.test: Fix recent grep warnings.	2022-11-07 09:37:40 +01:00
.gitignore	more files to ignore	2016-01-26 19:21:35 +01:00
Makefile.am	fix merging of initial states in state-based automata	2023-01-04 15:12:59 +01:00
run.in	test: fix running on python test in OpenBSD	2022-10-02 14:37:21 +02:00