Jeroen Meijer
|
321697460a
|
Move non portable includes from public to private header.
|
2018-07-06 14:27:08 +02:00 |
|
|
Jeroen Meijer
|
c17d2bbc13
|
Make LTL2BA compile on Windows.
|
2018-07-06 14:27:08 +02:00 |
|
Alfons Laarman
|
92bed4de11
|
Fixed warnings in Cygwin
|
2012-08-12 17:23:37 +02:00 |
|
Michael Weber
|
76c92577f7
|
Export more details of automaton data structures
TODO:
proper interface
|
2010-11-29 17:39:57 +01:00 |
|
|
Michael Weber
|
42f2334450
|
Fixed all warnings
|
2010-11-29 17:39:18 +01:00 |
|
|
Michael Weber
|
be18a22bce
|
Import ltl2ba-1.1
http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
|
2010-11-26 11:42:03 +01:00 |
|