1. 24 Jan, 2010 2 commits
  2. 04 Apr, 2009 1 commit
    • Damien Lefortier's avatar
      Extend the ELTL parser to support basic aliases of automaton · 355461ae
      Damien Lefortier authored
      operators such as F=U(true,$0) or R=!U(!$0,!$1), and infix
      notation for binary automaton operators.
      
      * README: Document the ELTL directories.
      * src/eltlparse/eltlparse.yy, src/eltlparse/eltlscan.ll: Add
      support for aliases and infix notation.
      * src/eltlparse/public.hh, src/ltlast/nfa.cc, src/ltlast/nfa.hh:
      Clean them.
      * src/eltltest/acc.test, src/tgbatest/eltl2tgba.test: Add tests
      for the ELTL parser's extensions.
      * src/tgbatest/eltl2tgba.cc: Adjust.
      355461ae
  3. 25 Feb, 2008 1 commit
  4. 19 Apr, 2005 1 commit
  5. 12 Apr, 2005 1 commit
  6. 29 Jan, 2005 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0. · 7bba6dc6
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/gtec/gtec.hh (couvreur99_check, couvreur99_check_shy):
      Add the poprem option.
      * src/tgbaalgos/gtec/gtec.cc: Implement it.
      * src/tgbaalgos/gtec/sccstack.cc, src/tgbaalgos/gtec/sccstack.hh
      (scc_stack::rem, scc_stack::clear_rem,
      scc_stack::connected_component::rem): New.
      * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Add rem variants.
      7bba6dc6
  7. 09 Aug, 2004 1 commit
  8. 14 Apr, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/tgbaalgos/emptinesscheck.hh, src/tgbaalgos/emptinesscheck.cc: · 579c343e
      Alexandre Duret-Lutz authored
      Delete and split into ...
      * src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh,
      src/tgbaalgos/gtec/explscc.cc, src/tgbaalgos/gtec/explscc.hh,
      src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/gtec.hh,
      src/tgbaalgos/gtec/nsheap.cc, src/tgbaalgos/gtec/nsheap.hh,
      src/tgbaalgos/gtec/sccstack.cc, src/tgbaalgos/gtec/sccstack.hh,
      src/tgbaalgos/gtec/status.cc, src/tgbaalgos/gtec/status.hh: ...
      these new files.
      * src/tgbaalgos/gtec/Makefile.am: New file.
      * src/tgbaalgos/Makefile.am (SUBDIRS, libtgbaalgos_la_LIBADD):
      Recurse into gtec and link gtec/libgtec.la.
      (tgbaalgos_HEADERS, libtgbaalgos_la_SOURCES): Remove emptinesscheck.hh
      and emptinesscheck.cc.
      * configure.ac: Output src/tgbalagos/gtec/Makefile.
      * iface/gspn/ltlgspn.cc, src/tgbatest/ltl2tgba.cc: Update includes.
      * README: Update tree description.
      579c343e
  9. 31 Oct, 2003 1 commit
  10. 05 Aug, 2003 1 commit
  11. 13 Jul, 2003 1 commit