|
core
|
ltlcross: add option --determinize
|
2016-02-15 19:16:45 +01:00 |
|
ltsmin
|
remove twa::transition_annotation
|
2016-02-15 11:04:48 +01:00 |
|
python
|
cleanup ltsmin bindings
|
2016-02-16 19:08:28 +01:00 |
|
sanity
|
sanity: fix race conditions in the test suite
|
2016-02-16 17:29:06 +01:00 |
|
.gitignore
|
more files to ignore
|
2016-01-26 19:21:35 +01:00 |
|
run.in
|
fix paths mentioning buddy/src/.libs
|
2016-02-12 14:02:47 +01:00 |
