| .. |
|
bin
|
autfilt: fix destruction order for static variables
|
2015-02-18 12:45:09 +01:00 |
|
dstarparse
|
Preliminirary support for generic acceptance.
|
2015-02-23 17:12:11 +01:00 |
|
graph
|
graph: Make perfect forwarding imperfect.
|
2015-02-06 14:40:08 +01:00 |
|
graphtest
|
More files to ignore.
|
2015-01-03 19:01:44 +01:00 |
|
hoaparse
|
rename set_acceptance_conditions as set_generalized_buchi
|
2015-02-23 17:12:11 +01:00 |
|
kripke
|
Store membership to acceptance sets using bitsets, not BDDs.
|
2014-10-06 10:18:57 +02:00 |
|
kripkeparse
|
fix line number tracking in files with DOS newlines
|
2014-11-18 11:07:02 +01:00 |
|
kripketest
|
add missing utf-8 header to many source files
|
2015-01-09 08:23:49 +01:00 |
|
ltlast
|
ltl: keep track of spin-compatible AP
|
2015-01-27 10:21:17 +01:00 |
|
ltlenv
|
defaultenv: simplify usage
|
2014-11-30 19:53:14 +01:00 |
|
ltlparse
|
psl: add support for the [:*i..j] operator
|
2015-01-19 14:39:41 +01:00 |
|
ltltest
|
bin: add the --output to tools that output formulas
|
2015-02-16 01:23:07 +01:00 |
|
ltlvisit
|
Add (void) casts for variables used only in assert()s.
|
2015-02-06 11:57:27 +01:00 |
|
misc
|
bitvect: Fix routines for 64-width vectors
|
2015-02-13 19:15:23 +01:00 |
|
priv
|
tgbaparse, lbttparse: do not pass an environment for acceptance sets
|
2014-12-10 20:49:17 +01:00 |
|
sanity
|
style: make sure we do not have SPOT_API in *.cc files
|
2015-01-09 16:15:58 +01:00 |
|
ta
|
Preliminirary support for generic acceptance.
|
2015-02-23 17:12:11 +01:00 |
|
taalgos
|
Add (void) casts for variables used only in assert()s.
|
2015-02-06 11:57:27 +01:00 |
|
tgba
|
acc: avoid superfluous parentheses when printing acceptance
|
2015-02-23 17:12:11 +01:00 |
|
tgbaalgos
|
rename set_acceptance_conditions as set_generalized_buchi
|
2015-02-23 17:12:11 +01:00 |
|
tgbatest
|
sbacc: Make sure it also work for non-TGBA
|
2015-02-23 17:12:11 +01: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
|
tgbaparse: remove this parser
|
2015-01-31 21:22:10 +01:00 |
