alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/ltlast
History
Alexandre Duret-Lutz 2ba963200a Fix some struct/class missmatches reported by clang. 
* src/ltlast/predecl.hh: Predeclare the LTL AST nodes as class,
not struct.
* src/ltlast/nfa.hh (formula_tree::node): Predeclare as struct,
not class.
2010-11-20 18:02:20 +01: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
allnodes.hh Add support for ELTL (AST & parser), and an adaptation of LaCIM 2009-03-26 12:05:08 +01:00
atomic_prop.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
atomic_prop.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
automatop.cc Minor fixes to compile with GCC 3.3 2010-01-20 18:06:00 +01:00
automatop.hh Minor fixes to compile with GCC 3.3 2010-01-20 18:06:00 +01:00
binop.cc Add support for W (weak until) and M (strong release) operators. 2010-04-12 16:40:41 +02:00
binop.hh Add support for W (weak until) and M (strong release) operators. 2010-04-12 16:40:41 +02:00
constant.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
constant.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
formula.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
formula.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
formula_tree.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
formula_tree.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
Makefile.am Modify the ELTL parser to be able to support PSL operators. Add a 2009-06-05 12:01:24 +02:00
multop.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
multop.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
nfa.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
nfa.hh Fix some struct/class missmatches reported by clang. 2010-11-20 18:02:20 +01:00
predecl.hh Fix some struct/class missmatches reported by clang. 2010-11-20 18:02:20 +01:00
refformula.cc Revert everything related to Damien's work in 2008 (he will commit a new version soon). 2009-03-25 16:44:05 +01:00
refformula.hh Revert everything related to Damien's work in 2008 (he will commit a new version soon). 2009-03-25 16:44:05 +01:00
unop.cc Fix copyrights. 2010-01-24 20:51:09 +01:00
unop.hh Fix copyrights. 2010-01-24 20:51:09 +01:00
visitor.hh Add support for ELTL (AST & parser), and an adaptation of LaCIM 2009-03-26 12:05:08 +01:00