spot/spot
Henrich Lauko 784681d833 remfin: Make removing of fins more modular.
* spot/twaalgos/remfin.cc: Refactore remove_fin implementation. Enable
filtering of strategies used for fin removing.
* spot/priv/enumflags.hh: Add support for enum flags from brick-types.
* spot/priv/Makefile.am: Add enumflags.hh to make.
* debian/copyright: Update copyright with bricks library license.
2017-06-07 14:33:01 +00:00
..
gen install a libspotgen.pc file 2017-05-04 11:13:23 +02:00
graph is_alternating() -> !is_existential() 2017-02-12 15:56:02 +01:00
kripke Rework the 'down_cast' macro, closing #196. 2017-02-02 17:01:40 +01:00
ltsmin fix libspot.pc and libspotltsmin.pc generation 2017-05-04 11:13:20 +02:00
misc is_alternating() -> !is_existential() 2017-02-12 15:56:02 +01:00
parseaut parseaut: misc cleanups 2017-05-10 17:25:41 +02:00
parsetl parsetl: improve coverage 2017-03-15 14:23:19 +01:00
priv remfin: Make removing of fins more modular. 2017-06-07 14:33:01 +00:00
ta various typos 2017-03-30 21:45:43 +02:00
taalgos various typos 2017-03-30 21:45:43 +02:00
tl ltl2tgba: clear simplification cache between translations 2017-05-10 16:18:37 +02:00
twa Properly handle "simulated-states" property in twagraph::defrag_states. 2017-06-05 15:48:36 +02:00
twaalgos remfin: Make removing of fins more modular. 2017-06-07 14:33:01 +00:00
.gitignore install pkg-config configuration files 2017-01-14 17:56:05 +01:00
libspot.pc.in install pkg-config configuration files 2017-01-14 17:56:05 +01:00
Makefile.am fix libspot.pc and libspotltsmin.pc generation 2017-05-04 11:13:20 +02:00