Alexandre Duret-Lutz 5939d6f493 Add back the '*' syntax for And. ... This somehow revert changes from 2010-01-30 which killed this use of star to make room for the Kleen star. Here we only allow '*' in the temporal formula, so that it can still be the Kleen star in SERE. The motivation for '*' available as And is better compatibility with Wring and VIS. * src/ltlparse/ltlscan.ll: Distinguish * from [*]. * src/ltlparse/ltlparse.yy: Allows * to be used as AND between temporal formulae. * src/ltltest/equals.test, src/ltltest/parse.test: Add a few tests. * doc/tl/tl.tex: Document it.		2012-08-29 18:05:31 +02:00
..
.cvsignore	* m4/pypath.m4: New file.	2003-04-30 12:35:22 +00:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
fmterror.cc	Fix error reporting in utf8-encoded LTL formulae.	2012-04-30 11:57:15 +02:00
ltlfile.cc	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
ltlfile.hh	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00
ltlparse.yy	Add back the '*' syntax for And.	2012-08-29 18:05:31 +02:00
ltlscan.ll	Add back the '*' syntax for And.	2012-08-29 18:05:31 +02:00
Makefile.am	Fix error reporting in utf8-encoded LTL formulae.	2012-04-30 11:57:15 +02:00
parsedecl.hh	Add support the bounded star operator [*i..j].	2012-04-28 09:30:35 +02:00
public.hh	Use 'const formula*' instead of 'formula*' everywhere.	2012-05-02 09:28:16 +02:00