| .. |
|
eltlparse
|
* src/eltlparse/eltlparse.yy (realias): Add a useless return to
|
2012-01-18 10:42:37 +01:00 |
|
eltltest
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
evtgba
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
evtgbaalgos
|
Typo: rename automata_ as aut_.
|
2012-03-17 14:37:59 +01:00 |
|
evtgbaparse
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
evtgbatest
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
kripke
|
Typo: rename automata_ as aut_.
|
2012-03-17 14:37:59 +01:00 |
|
kripkeparse
|
Add text I/O for Kripke structures.
|
2011-11-24 22:47:41 +01:00 |
|
kripketest
|
Fix a 'make check' failure when valgrind is not installed.
|
2012-01-13 13:51:42 +01:00 |
|
ltlast
|
Replace the "encoding: utf-8" by "coding: utf-8" comments.
|
2012-04-28 09:34:46 +02:00 |
|
ltlenv
|
Fix copyrights.
|
2010-01-24 20:51:09 +01:00 |
|
ltlparse
|
ltlparse: Preliminary support for utf8 operators.
|
2012-04-30 11:57:14 +02:00 |
|
ltltest
|
Fix the associativity of ->, <->, U, R, W, and M wrt the PSL standard.
|
2012-04-30 11:57:03 +02:00 |
|
ltlvisit
|
Implement basic rewriting rules for {r} and !{r}.
|
2012-04-28 09:34:46 +02:00 |
|
misc
|
Use clock() when times() is not available.
|
2012-04-27 15:40:54 +02:00 |
|
neverparse
|
Revamp tgbaexplicit.hh
|
2012-04-12 17:39:48 +02:00 |
|
saba
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
sabaalgos
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
sabatest
|
Fix VPATH builds, now that hash.hh include _config.h
|
2011-12-18 12:56:44 +01:00 |
|
sanity
|
Deprecate reduce() in favor of ltl_simplifier.
|
2012-04-28 09:34:42 +02:00 |
|
tgba
|
Replace the "encoding: utf-8" by "coding: utf-8" comments.
|
2012-04-28 09:34:46 +02:00 |
|
tgbaalgos
|
Introduce AndRat and OrRat operator.
|
2012-04-28 09:34:45 +02:00 |
|
tgbaparse
|
Revamp tgbaexplicit.hh
|
2012-04-12 17:39:48 +02:00 |
|
tgbatest
|
Make sure PSL formulae are translated with the FM translation.
|
2012-04-28 09:34:44 +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
|
Add text I/O for Kripke structures.
|
2011-11-24 22:47:41 +01:00 |
