1. 07 Apr, 2017 1 commit
  2. 17 Feb, 2017 1 commit
  3. 16 Dec, 2016 1 commit
  4. 13 Oct, 2016 1 commit
  5. 10 Mar, 2016 1 commit
  6. 08 Mar, 2016 1 commit
  7. 06 Oct, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      Some cleanup of Thibaud's patches. · 645ecce1
      Alexandre Duret-Lutz authored
      * AUTHORS: Add Thibaud.
      * NEWS: Mention ltlgrind and ltlcross --grind.
      * src/ltlvisit/mutation.hh, src/ltlvisit/mutation.cc:
      Use an enum instead of #define.  Rename get_mutations()
      into mutate().  Other minor cosmetic changes.
      * src/bin/ltlgrind.cc: Adjust.
      * src/bin/ltlcross.cc: Slight changes the the output
      * doc/org/ltlcross.org, doc/org/ltlgrind.org: Minor
      rewordings and fix for org-mode syntax.
      * src/ltltest/ltlcrossgrind.test,
      src/ltltest/ltlgrind.test: Fix copyright year.
      645ecce1
  8. 11 Apr, 2014 1 commit
  9. 13 Jan, 2014 1 commit
  10. 28 Apr, 2013 1 commit
  11. 15 Apr, 2013 1 commit
  12. 09 Apr, 2013 1 commit
  13. 05 Jan, 2012 1 commit
  14. 28 Nov, 2011 1 commit
  15. 27 Nov, 2011 1 commit
  16. 08 Jun, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Cache results of the spot.py CGI script. · b8f84411
      Alexandre Duret-Lutz authored
      * wrap/python/ajax/spot.in: Use the QUERY_STRING as a hash key to
      cache the result of the script.  Open stdout without buffering and
      redirect it to a file that we can dump later on cache hits.  Parts
      of this change are extracted from code from Pierre Parutto
      <parutto@lrde.epita.fr>.
      * AUTHORS: Add him.
      b8f84411
  17. 07 Oct, 2009 1 commit
  18. 25 May, 2004 1 commit
  19. 21 Nov, 2003 1 commit