Alexandre Duret-Lutz
c30823f7be
* src/sanity/style.test: Warn about places where size() is used
...
instead of empty().
* src/misc/bddalloc.cc (bdd_allocator::extend): Use empty() rather
than size() when checking emptiness of lists.
* src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/minimalce.cc,
src/ltlvisit/basicreduce.cc, src/ltlvisit/reduce.cc,
src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/ltl2tgba_fm.cc,
src/misc/minato.cc: Likewise.
* src/ltlast/multop.cc (multop::instance): Call ->size() only once.
2004-09-21 13:01:27 +00:00
Alexandre Duret-Lutz
42fc2b772f
* src/ltlvisit/apcollect.hh: Fix include guard. Report from Denis.
...
* src/sanity/includes.test: Include files twice to check include
guards.
2004-08-10 18:07:20 +00:00
Alexandre Duret-Lutz
ad96e8fbad
* iface/gspn/common.cc, iface/gspn/common.hh,
...
src/ltlast/atomic_prop.cc, src/ltlast/atomic_prop.hh,
src/ltlparse/fmterror.cc, src/ltlparse/public.hh,
src/ltlvisit/dotty.cc, src/ltlvisit/dotty.hh,
src/ltlvisit/dump.cc, src/ltlvisit/dump.hh,
src/ltlvisit/tostring.cc, src/ltlvisit/tostring.hh,
src/misc/escape.cc, src/misc/escape.hh, src/tgba/bdddict.cc,
src/tgba/bdddict.hh, src/tgba/bddprint.cc, src/tgba/bddprint.hh,
src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh,
src/tgbaalgos/lbtt.cc, src/tgbaalgos/lbtt.hh,
src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh,
src/tgbaalgos/save.cc, src/tgbaalgos/save.hh,
src/tgbaalgos/gtec/status.cc, src/tgbaalgos/gtec/status.hh,
src/tgbaparse/fmterror.cc, src/tgbaparse/public.hh: Include <iosfwd>
in headers, and prefer <ostream> in the body whenever possible.
* src/sanity/style.test, HACKING: Check and document this.
2004-08-09 16:32:25 +00:00
Alexandre Duret-Lutz
839837a69e
more files to ignore
2004-06-22 22:58:09 +00:00
Alexandre Duret-Lutz
f61b69ef3d
* src/sanity/style.test: Typo.
2004-06-22 17:12:14 +00:00
Alexandre Duret-Lutz
8e324fa2a2
* HACKING, src/sanity/style.test: NULL is not portable, prohibit it.
...
* iface/gspn/ssp.cc, src/ltltest/reduc.cc, src/ltltest/syntimpl.cc,
src/ltlvisit/basereduc.cc, src/ltlvisit/reducform.cc,
src/ltlvisit/syntimpl.cc: Use 0 instead of NULL.
2004-06-02 15:16:47 +00:00
Alexandre Duret-Lutz
121a55c48f
* src/ltlvisit/forminf.cc (form_eventual_universal_visitor,
...
inf_form_right_recurse_visitor, inf_form_left_recurse_visitor): Rename
as ...
(eventual_universal_visitor, inf_right_recurse_visitor,
inf_left_recurse_visitor): ... these.
(is_GF, is_FG): Move ...
* src/ltlvisit/basereduc.cc (is_GF, is_FG): ... here, since they
are only used here.
(basic_reduce_form, basic_reduce_form_visitor): Rename as ...
(basic_reduce, basic_reduce_visitor): ... these.
* src/ltlvisit/reducform.cc (reduce_form_visitor): Rename as ...
(reduce_visitor): ... this.
* src/ltltest/inf.cc: Adjust calls.
* src/sanity/style.test: Improve missing-space after coma detection.
2004-05-30 12:33:35 +00:00
Alexandre Duret-Lutz
cdbb199c4d
* src/ltlvisit/basereduc.cc, src/ltlvisit/reducform.cc: Use
...
dynamic_cast instead of node_type_form_visitor, this is usually
smaller.
* src/ltlvisit/reducform.hh,
src/ltlvisit/forminf.cc (node_type_form_visitor): Delete.
* src/sanity/style.test: Two more checks.
2004-05-26 12:48:22 +00:00
Alexandre Duret-Lutz
7eb5f3d81a
* src/sanity/style.test: Catch {.*{ and }.*}.
...
* src/sanity/80columns.test: Untabify files.
* iface/gspn/ltlgspn.cc, src/ltlvisit/basereduc.cc: Fix long lines.
2004-05-25 11:05:07 +00:00
Alexandre Duret-Lutz
1245d19d23
* src/sanity/style.test: Catch `;'-not-followed-by-space.
...
* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.
2004-05-24 18:16:27 +00:00
Alexandre Duret-Lutz
9d375915f7
* src/sanity/Makefile.am (EXTRA_DIST): Distribute 80columns.test
...
and style.test.
2004-05-24 15:13:36 +00:00
Alexandre Duret-Lutz
3e968a3c9d
* src/sanity/style.test: Check the iface/ tree too.
...
* iface/gspn/gspn.cc, iface/gspn/ssp.cc: Fix style.
2004-05-21 11:55:36 +00:00
Alexandre Duret-Lutz
da2d2e19b1
* src/sanity/80columns.test: Check the iface/ tree too.
...
* iface/gspn/dcswaveltl.test, iface/gspn/dcswavefm.test,
iface/gspn/dcswaveeltl.test, iface/gspn/udcsltl.test,
iface/gspn/udcseltl.test, iface/gspn/udcsfm.test,
iface/gspn/udcsefm.test: Wrap to fit 80 columns.
2004-05-21 11:46:22 +00:00
Alexandre Duret-Lutz
25dc63d1d4
* src/tgbaalgos/neverclaim.cc: Fix them.
...
* sanity/style.test: Diagnose semicolons with leading spaces.
2004-05-17 10:33:46 +00:00
Alexandre Duret-Lutz
f2f10852c6
* ltltest/inf.cc, ltltest/reduc.cc, ltlvisit/reducform.cc: Fix style.
...
* sanity/style.test: More tests.
2004-05-14 14:09:01 +00:00
Alexandre Duret-Lutz
35ef738ff9
* src/ltlvisit/tostring.cc (to_spin_string_visitor,
...
to_string_visitor): Do not parenthesize the top-level formula.
* tgbatest/explicit.test, tgbatest/explpro2.test,
tgbatest/explpro3.test, tgbatest/explprod.test,
tgbatest/readsave.test, tgbatest/tgbaread.test,
tgbatest/tripprod.test: Adjust expected output.
* sanity/style.test: Fix regexes to catch an error seen in
tostring.cc.
2004-05-14 11:01:14 +00:00
Alexandre Duret-Lutz
c4a5b325a2
* src/sanity/style.test: New file.
...
* src/sanity/Makefile.am (check-local): Run it.
* src/ltlvisit/nenoform.cc, src/ltlvisit/tostring.cc,
src/tgba/bdddict.cc, src/tgba/bddprint.cc, src/tgba/tgba.cc,
src/tgba/tgbaproduct.cc, src/tgbaalgos/lbtt.cc,
src/tgbaalgos/magic.cc, src/tgbaalgos/powerset.cc,
src/tgbaalgos/reachiter.cc, src/tgbaalgos/gtec/ce.cc,
src/tgbaalgos/gtec/gtec.cc, src/tgbatest/ltl2tgba.cc: Fix style
issues reported by style.test.
2004-05-10 18:38:20 +00:00
Alexandre Duret-Lutz
83de4264cb
* src/sanity/80columns.test: New file.
...
* src/sanity/Makefile.am (check-local): Run it.
* src/ltltest/equals.test, src/ltltest/lunabbrev.test,
src/ltltest/nenoform.test, src/ltltest/parseerr.test
src/ltltest/tunabbrev.test, src/ltlvisit/forminf.cc,
src/tgbatest/explpro2.test, src/tgbatest/explpro3.test,
src/tgbatest/explprod.test, src/tgbatest/spotlbtt.test,
src/tgbatest/tripprod.test: Wrap long lines.
2004-05-10 17:18:27 +00:00
Alexandre Duret-Lutz
b980717756
* configure.ac, NEWS: Bump version to 0.0t.
...
* HACKING: Update tools requirements.
* src/sanity/Makefile.am (EXTRA_DIST): Distribute includes.test.
2004-04-23 17:31:57 +00:00
Alexandre Duret-Lutz
007143e9e3
* src/sanity/Makefile.am, src/sanity/includes.test: New files.
...
* src/Makefile.am (SUBDIRS): Add sanity.
* configure.ac: Output src/sanity/Makefile.in.
2004-04-23 12:27:40 +00:00
