4 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	679b6cff78	degen: consider incoming edges to select initial levels ... Fixes #257. * spot/twaalgos/degen.cc: Implement this optimization. * tests/core/degendet.test: Add a few test cases. * tests/core/ltl2tgba2.test: Adjust expected sizes. * NEWS: Mention the change.	2017-05-05 16:50:04 +02:00
Alexandre Duret-Lutz	fe3b86b306	genltl: add support for --p-patterns ... Fixes #246. * bin/genltl.cc: Implement it. * bin/man/genltl.x, doc/org/genltl.org, NEWS: Document it. * tests/core/ltl2tgba2.test: Test it.	2017-03-22 21:26:16 +01:00
Alexandre Duret-Lutz	1c2a7f3d4f	genltl: add --hkrss-patterns ... Fixes #245. * bin/genltl.cc: Add the option. * bin/man/genltl.x: Add reference. * tests/core/ltl2tgba2.test: Use these patterns. * doc/org/genltl.org, NEWS: Document the options.	2017-03-22 21:26:16 +01:00
Alexandre Duret-Lutz	b708ab778f	genltl: add formulas from three papers ... Fixes #166. * bin/genltl.cc: Add option --dac-patterns, --eh-patterns, --sb-patterns. * NEWS, bin/man/genltl.x, doc/org/genltl.org: Document them. * bench/ltl2tgba/formulae.ltl: Delete. * bench/ltl2tgba/known: Use genltl instead. * bench/ltl2tgba/Makefile.am, bench/ltl2tgba/README: Update. * tests/core/ltl2tgba2.test: New test case, using genltl. * tests/Makefile.am: Add it.	2016-05-05 18:39:13 +02:00