alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/misc
History
Alexandre Duret-Lutz 6a547371d7 ltlcross: diagnose missing i/o specifications earlier. 
* src/misc/formater.cc, src/misc/formater.hh (scan): New method.
(prime): Use it.
* src/bin/ltlcross.cc (translator_runner::translator_runner): Scan each
specification string, and report those missing an input or output
%-sequence.
* NEWS: Mention it.
2013-01-21 10:20:25 +01:00
..
.cvsignore Before this change, all automata would construct their own 2003-07-14 21:42:59 +00:00
.gitignore more files to ignore 2011-06-08 17:24:22 +02:00
acccompl.cc acccompl: Speed up. 2012-12-24 13:14:33 +01:00
acccompl.hh acccompl: Speed up. 2012-12-24 13:14:33 +01:00
accconv.cc accconv: speed up acceptance_convertor::as_positive_product() 2012-10-19 20:50:35 +02:00
accconv.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bareword.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bareword.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bddalloc.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bddalloc.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bddlt.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bddop.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
bddop.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
casts.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
escape.cc ltlparse: add a lenient parsing mode 2012-10-17 18:26:42 +02:00
escape.hh ltlparse: add a lenient parsing mode 2012-10-17 18:26:42 +02:00
fixpool.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
formater.cc ltlcross: diagnose missing i/o specifications earlier. 2013-01-21 10:20:25 +01:00
formater.hh ltlcross: diagnose missing i/o specifications earlier. 2013-01-21 10:20:25 +01:00
freelist.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
freelist.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
hash.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
hashfunc.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
intvcmp2.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
intvcmp2.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
intvcomp.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
intvcomp.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
ltstr.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
Makefile.am Clean up the misc/formater.hh file. 2012-10-13 13:36:40 +02:00
memusage.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
memusage.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
minato.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
minato.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
modgray.cc Address several issues reported by cppcheck all over the place. 2012-12-24 13:14:33 +01:00
modgray.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
mspool.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
optionmap.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
optionmap.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
random.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
random.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
timer.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
timer.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
unique_ptr.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
version.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
version.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00