1. 22 Jun, 2015 1 commit
  2. 21 Jun, 2015 4 commits
  3. 20 Jun, 2015 5 commits
  4. 19 Jun, 2015 6 commits
  5. 18 Jun, 2015 2 commits
  6. 17 Jun, 2015 6 commits
  7. 16 Jun, 2015 8 commits
  8. 15 Jun, 2015 2 commits
  9. 14 Jun, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: add utf-8 markers · 3e853eed
      Alexandre Duret-Lutz authored
      * doc/org/index.org, doc/org/ltl2tgta.org, doc/org/randltl.org,
      doc/org/satmin.org, doc/org/tut.org, doc/org/tut01.org,
      doc/org/tut02.org, doc/org/tut10.org, doc/org/tut20.org,
      doc/org/tut21.org, doc/org/tut22.org: Here.
      3e853eed
  10. 13 Jun, 2015 1 commit
  11. 12 Jun, 2015 4 commits
    • Alexandre Duret-Lutz's avatar
      org: new example · 89592881
      Alexandre Duret-Lutz authored
      Fixes #14.
      
      * doc/org/tut22.org: New file.
      * doc/Makefile.am, doc/org/tut.org: Add it.
      89592881
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      Rename src/tests/ltl2tgba as src/tests/ikwiad. · 17dc2f86
      Alexandre Duret-Lutz authored
      Fixes #23.
      
      * src/tests/ltl2tgba.cc: Rename as ...
      * src/tests/ikwiad.cc: ... this.
      * src/tests/Makefile.am, src/tests/babiak.test, src/tests/checkta.cc,
      src/tests/complementation.test, src/tests/cycles.test,
      src/tests/dbacomp.test, src/tests/degendet.test,
      src/tests/degenid.test, src/tests/det.test, src/tests/dfs.test,
      src/tests/dstar.test, src/tests/dupexp.test, src/tests/emptchke.test,
      src/tests/kv.test, src/tests/ltl2neverclaim-lbtt.test,
      src/tests/ltl2neverclaim.test, src/tests/ltl2tgba.test,
      src/tests/ltlcounter.test, src/tests/ltlcross.test,
      src/tests/neverclaimread.test, src/tests/obligation.test,
      src/tests/parseaut.test, src/tests/randaut.test,
      src/tests/randpsl.test, src/tests/renault.test,
      src/tests/satmin2.test, src/tests/sccsimpl.test, src/tests/sim2.test,
      src/tests/simdet.test, src/tests/spotlbtt.test, src/tests/wdba.test,
      src/tests/wdba2.test, bench/emptchk/README, bench/emptchk/defs.in,
      bench/ltlclasses/run, bench/ltlcounter/run, bench/wdba/run: Adjust.
      17dc2f86
    • Alexandre Duret-Lutz's avatar
      org: new example · 4d848e98
      Alexandre Duret-Lutz authored
      * doc/org/tut21.org: New file.
      * doc/Makefile.am, doc/org/tut.org: Add it.
      4d848e98