1. 15 May, 2014 2 commits
  2. 14 May, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      doc: update bibliographic references · 97617037
      Alexandre Duret-Lutz authored
      * doc/org/satmin.org, src/bin/man/dstar2tgba.x, src/bin/man/ltl2tgba.x:
      Cite the FORTE'14 paper.
      * doc/org/tools.org, src/bin/man/ltl2tgba.x: Replace the VECOS'11
      citation by IJCCBS'14.
      * src/bin/man/ltl2tgba.x: Cite SPIN'13.
      97617037
  3. 13 May, 2014 4 commits
  4. 11 Apr, 2014 1 commit
  5. 07 Apr, 2014 5 commits
  6. 12 Feb, 2014 2 commits
  7. 11 Feb, 2014 6 commits
  8. 10 Feb, 2014 1 commit
  9. 08 Feb, 2014 9 commits
  10. 07 Feb, 2014 5 commits
  11. 06 Feb, 2014 4 commits