Alexandre Duret-Lutz e357c0c5bc hoa: allow dots in identifiers ... As discussed at https://github.com/adl/hoaf/issues/56 * src/parseaut/scanaut.ll: Allow dots. * src/tests/parseaut.test: Test it. * NEWS: Mention it.		2015-12-02 15:31:03 +01:00
..
bin	word: store the bdd dict for easier printing	2015-12-01 01:57:37 +01:00
graph	Add noexcept to various constructors related to graphs.	2015-10-03 15:46:05 +02:00
kripke	fix constness of twa::get_init_state() and twa_succ_iterator::dst()	2015-11-28 21:47:04 +01:00
misc	hide trim() from the public interface	2015-11-11 11:33:15 +01:00
parseaut	hoa: allow dots in identifiers	2015-12-02 15:31:03 +01:00
parsetl	hide trim() from the public interface	2015-11-11 11:33:15 +01:00
priv	hide trim() from the public interface	2015-11-11 11:33:15 +01:00
sanity	revamp the formula hierarchy (montro-patch)	2015-09-26 15:12:24 +02:00
ta	fix constness of twa::get_init_state() and twa_succ_iterator::dst()	2015-11-28 21:47:04 +01:00
taalgos	fix constness of twa::get_init_state() and twa_succ_iterator::dst()	2015-11-28 21:47:04 +01:00
tests	hoa: allow dots in identifiers	2015-12-02 15:31:03 +01:00
tl	fix unabbreviate	2015-10-19 10:56:31 +02:00
twa	fix constness of twa::get_init_state() and twa_succ_iterator::dst()	2015-11-28 21:47:04 +01:00
twaalgos	word: store the bdd dict for easier printing	2015-12-01 01:57:37 +01:00
.gitignore	more files to ignore	2009-09-02 10:41:18 +02:00
Makefile.am	rewrite explicit Kripke structures and their parser	2015-11-28 02:18:39 +01:00