| .. |
|
bin
|
ltlcheck: add a "Sanity check..." message
|
2012-10-14 19:08:03 +02:00 |
|
eltlparse
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
eltltest
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
evtgba
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
evtgbaalgos
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
evtgbaparse
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
evtgbatest
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
kripke
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
kripkeparse
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
kripketest
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
ltlast
|
Add a has_lbt_atomic_props() method to LTL formulas.
|
2012-10-14 17:42:25 +02:00 |
|
ltlenv
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
ltlparse
|
* src/ltlparse/ltlscan.ll: Reset the starting condition to 0 initially.
|
2012-10-13 13:36:40 +02:00 |
|
ltltest
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
ltlvisit
|
* src/ltlvisit/simplify.cc (simplify_visitor): Return automatop as-is.
|
2012-10-14 18:25:36 +02:00 |
|
misc
|
* src/misc/formater.hh: Add virtual destructors to please g++-4.0.
|
2012-10-13 16:42:39 +02:00 |
|
neverparse
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
saba
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
sabaalgos
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
sabatest
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
sanity
|
Clean up the misc/formater.hh file.
|
2012-10-13 13:36:40 +02:00 |
|
ta
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
taalgos
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
tgba
|
Add a parser for automata in LBTT's format.
|
2012-10-13 13:36:40 +02:00 |
|
tgbaalgos
|
lbtt_parse: add support for state-based acceptance
|
2012-10-13 17:38:32 +02:00 |
|
tgbaparse
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
|
tgbatest
|
* src/tgbatest/spotlbtt.test: Remove superfluous options.
|
2012-10-15 15:14:51 +02:00 |
|
.cvsignore
|
* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...
|
2003-04-30 12:46:12 +00:00 |
|
.gitignore
|
more files to ignore
|
2009-09-02 10:41:18 +02:00 |
|
Makefile.am
|
Upgrade GPL v2+ to GPL v3+.
|
2012-10-12 22:05:18 +02:00 |
