alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/ltltest
History
Alexandre Duret-Lutz fa44383efb Replace reference to RATEXP in the parser, by reference to SERE. 
* src/ltlparse/ltlparse.yy: Cleanup the names used in the grammar.
* src/ltlparse/public.hh (parse_ratexp): Rename as...
(parse_sere): ... this.
* src/ltltest/consterm.cc: Adjust call to parse_ratexp().
2012-04-28 09:34:44 +02:00
..
.cvsignore more files to ignore 2004-06-22 22:58:09 +00:00
.gitignore Add functions to compute the kind of a formula (LTL, PSL, Boolean...) 2012-04-28 09:30:35 +02:00
consterm.cc Replace reference to RATEXP in the parser, by reference to SERE. 2012-04-28 09:34:44 +02:00
consterm.test Add support the bounded star operator [*i..j]. 2012-04-28 09:30:35 +02:00
defs.in Fix copyrights. 2010-01-24 20:51:09 +01:00
equals.cc Check that reductions are legitimates with containment. 2012-04-28 09:34:43 +02:00
equals.test Rewrite {b}<>->f as (!b)|f instead of b->f. 2012-04-28 09:34:43 +02:00
genltl.cc Don't flush the stream on each new line, when writing automata. 2011-11-28 10:48:38 +01:00
kind.cc Maintain basic LTL properties using a bitfield inside formula objects. 2012-04-28 09:30:36 +02:00
kind.test Fix universal and eventual rules for M and W. 2012-04-28 09:34:43 +02:00
length.cc Fix computation of length of LTL formulas. 2012-01-05 18:34:23 +01:00
length.test Fix computation of length of LTL formulas. 2012-01-05 18:34:23 +01:00
lunabbrev.test Fix copyrights. 2010-01-24 20:51:09 +01:00
Makefile.am Fix handling of PSL operators in reductions rules. 2012-04-28 09:30:36 +02:00
nenoform.test Rewrite xor, =>, and <=> in negative_normal_form(). 2012-04-28 09:34:42 +02:00
parse.test Read p=0Wq=1 and p=0Mq=1 correctly. 2012-04-28 09:30:35 +02:00
parseerr.test Diagnose reversed ranges like [=2..1], [->..0] or [*8..4]. 2012-04-28 09:34:44 +02:00
randltl.cc Deprecate reduce() in favor of ltl_simplifier. 2012-04-28 09:34:42 +02:00
readltl.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
reduc.cc Check that reductions are legitimates with containment. 2012-04-28 09:34:43 +02:00
reduc.test Speedup reduc.test by not spawning one process per formula. 2010-01-21 14:54:36 +01:00
reduccmp.test Simplify {r1;b1}&&{r2;b2} or {b1:r1}&&{b2:r2}, or similar. 2012-04-28 09:34:44 +02:00
reducpsl.test Fix handling of PSL operators in reductions rules. 2012-04-28 09:30:36 +02:00
syntimpl.cc Merge the syntactic implication code with ltl_simplifier. 2012-04-28 09:34:42 +02:00
syntimpl.test More * -> & replacements. 2010-01-30 13:21:01 +01:00
tostring.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
tostring.test Add support for the {SERE}! PSL operator. 2012-04-28 09:30:36 +02:00
tunabbrev.test Introduce rational operators and trivial simplification rules. 2012-04-28 09:30:34 +02:00
tunenoform.test Fix copyrights. 2010-01-24 20:51:09 +01:00