1. 07 Sep, 2012 1 commit
  2. 02 May, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      Downcase a couple of misnamed class names. · db4693b3
      Alexandre Duret-Lutz authored
      * src/misc/acccompl.hh, src/misc/acccompl.cc (AccCompl): Rename to
      acc_compl.
      * src/tgbaalgos/simulation.cc (AccComplAutomaton, Simulation): Rename
      to acc_compl_automaton and direct_simulation.  At the same time,
      reindent the whole file.
      * src/sanity/style.test: Detect capitalized class names.
      * src/kripke/kripkeexplicit.hh (KripkePrint): Remove useless
      predeclaration.
      * src/tgbaalgos/simulation.hh: Typo in comment.
      db4693b3
  3. 29 Nov, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix build on MacOS X. · 1e7cda5e
      Alexandre Duret-Lutz authored
      * src/kripketest/Makefile.am (LDADD): Remove a broken dependency.
      Reported by Yann Thierry-Mieg.
      * src/sanity/style.test: Make sure it does not appear again.
      1e7cda5e
  4. 12 Apr, 2011 1 commit
  5. 31 Mar, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Cosmetics. · 12783ff7
      Alexandre Duret-Lutz authored
      * src/sanity/style.test: Catch some binary operators not
      delimited with spaces.
      * src/tgbaalgos/bfssteps.cc, src/tgbaalgos/magic.cc,
      src/tgbaalgos/reducerun.cc, src/tgbaalgos/se05.cc,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Fix these.
      12783ff7
  6. 24 Nov, 2010 1 commit
  7. 24 Feb, 2010 1 commit
  8. 30 Jan, 2010 1 commit
    • Alexandre Duret-Lutz's avatar
      Check for missing Copyright blurbs, and add them. · dd3ac6b4
      Alexandre Duret-Lutz authored
      * src/sanity/style.test: Check for missing Copyrights blurbs.
      * src/sanity/Makefile.am: Run style.test before includes.test.
      * iface/gspn/dcswave.test, iface/gspn/dcswaveeltl.test,
      iface/gspn/dcswavefm.test, iface/gspn/dcswaveltl.test,
      iface/gspn/simple.test, iface/gspn/udcsefm.test,
      iface/gspn/udcseltl.test, iface/gspn/udcsfm.test,
      iface/gspn/udcsltl.test, iface/nips/nipstest/dotty.test,
      iface/nips/nipstest/emptiness.test, src/eltltest/acc.test,
      src/eltltest/nfa.test, src/saba/sabacomplementtgba.cc,
      src/sabatest/sabacomplementtgba.cc, src/tgbatest/eltl2tgba.test,
      src/tgbatest/taatgba.test: Add missing Copyright blurb.
      dd3ac6b4
  9. 04 Nov, 2009 1 commit
  10. 25 May, 2005 1 commit
  11. 20 Feb, 2005 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/sanity/style.test: Catch occurrences of "accepting condition". · a2cbe9ca
      Alexandre Duret-Lutz authored
      * bench/emptchk/ltl-human.sh, bench/emptchk/ltl-random.sh,
      src/sanity/style.test, src/tgba/bdddict.cc,
      src/tgba/succiterconcrete.hh, src/tgba/tgbabddcoredata.hh,
      src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh,
      src/tgbaalgos/gv04.cc, src/tgbaalgos/gv04.hh,
      src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh,
      src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03.hh,
      src/tgbaalgos/tau03opt.cc, src/tgbaalgos/tau03opt.hh,
      src/tgbatest/dfs.test: Replace them by "acceptance condition".
      a2cbe9ca
  12. 17 Feb, 2005 1 commit
  13. 07 Feb, 2005 1 commit
  14. 03 Jan, 2005 1 commit
    • Alexandre Duret-Lutz's avatar
      * doc/Doxyfile.in (FILE_PATTERNS): Remove *.hxx. · b054139e
      Alexandre Duret-Lutz authored
      * src/sanity/80columns.test, src/sanity/style.test: Process *.hxx files.
      * src/tgbaalgos/ndfs_result.hh: Rename as ..
      * src/tgbaalgos/ndfs_result.hxx: ... this, so it does not get
      documented (and so Doxygen do not complain).
      * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc,
      src/tgbaalgos/tau03opt.cc: Adjust include.
      * src/tgbaalgos/Makefile.am: Rename ndfs_result.hh as ndfs_result.hxx
      and do not install it, this is a private header.
      b054139e
  15. 29 Nov, 2004 1 commit
  16. 28 Nov, 2004 1 commit
  17. 22 Nov, 2004 1 commit
  18. 29 Oct, 2004 2 commits
  19. 18 Oct, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc, · 7d27fd37
      Alexandre Duret-Lutz authored
      src/ltlvisit/destroy.cc, src/ltlvisit/dotty.cc,
      src/ltlvisit/dump.cc, src/ltlvisit/length.cc,
      src/ltlvisit/nenoform.cc, src/ltlvisit/reduce.cc,
      src/ltlvisit/syntimpl.cc, src/ltlvisit/tostring.cc,
      src/tgba/formula2bdd.cc, src/tgba/tgbabddconcreteproduct.cc,
      src/tgba/tgbatba.cc, src/tgbaalgos/dotty.cc,
      src/tgbaalgos/dupexp.cc, src/tgbaalgos/lbtt.cc,
      src/tgbaalgos/ltl2tgba_lacim.cc, src/tgbaalgos/neverclaim.cc,
      src/tgbaalgos/save.cc, src/tgbaalgos/stats.cc,
      src/tgbaalgos/gtec/nsheap.cc, src/tgbaalgos/gtec/nsheap.hh:
      Declare private classes and helper function in anonymous namespaces.
      * HACKING, src/sanity/style.test: Document and check this.
      Also check for trailing { after namespace or class.
      * src/ltlast/predecl.hh, src/ltlast/visitor.hh,
      src/tgba/tgbareduc.hh: Fix trailing {.
      7d27fd37
  20. 27 Sep, 2004 1 commit
  21. 23 Sep, 2004 1 commit
  22. 21 Sep, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/sanity/style.test: Warn about places where size() is used · c30823f7
      Alexandre Duret-Lutz authored
      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.
      c30823f7
  23. 09 Aug, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * iface/gspn/common.cc, iface/gspn/common.hh, · ad96e8fb
      Alexandre Duret-Lutz authored
      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.
      ad96e8fb
  24. 22 Jun, 2004 1 commit
  25. 02 Jun, 2004 1 commit
  26. 30 May, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/ltlvisit/forminf.cc (form_eventual_universal_visitor, · 121a55c4
      Alexandre Duret-Lutz authored
      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.
      121a55c4
  27. 26 May, 2004 1 commit
  28. 25 May, 2004 1 commit
  29. 24 May, 2004 1 commit
  30. 21 May, 2004 1 commit
  31. 17 May, 2004 1 commit
  32. 14 May, 2004 2 commits
  33. 10 May, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/sanity/style.test: New file. · c4a5b325
      Alexandre Duret-Lutz authored
      * 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.
      c4a5b325