1. 20 Jun, 2012 1 commit
  2. 19 Jun, 2012 31 commits
  3. 18 Jun, 2012 1 commit
  4. 07 Jun, 2012 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix computation of support_conditions in tgba_wdba_comp_proxy. · d7ff0665
      Alexandre Duret-Lutz authored
      * src/tgba/wdbacomp.cc
      (tgba_wdba_comp_proxy::compute_support_conditions): Fix.
      * src/tgbatest/wdba2.test: Test a formula that used to be wrongly
      minimized if translated by LaCIM, because the product of a
      tgbabddconcrete automaton with another automaton (done during
      WDBA-minimization) use the support conditions to speed things up.
      d7ff0665
  5. 06 Jun, 2012 3 commits
  6. 05 Jun, 2012 1 commit
  7. 04 Jun, 2012 2 commits
    • Alexandre Duret-Lutz's avatar
      57ec1c61
    • Alexandre Duret-Lutz's avatar
      Rework the timeout of the CGI script. · 7b7a9464
      Alexandre Duret-Lutz authored
      The previous implementation was fine to catch timeout of third-party
      tools (like dot), but to good to catch timeout in Spot itself, because
      Python will not deliver a SIGALRM while a native function (e.g. Spot's
      translation) is running.  So we fork() the Python process, with a
      parent that does nothing but wait for the termination of the child or
      for an alarm.  On SIGALRM, the parent kills all children.
      
      * wrap/python/ajax/spot.in: Adjust to fork.
      * wrap/python/tests/alarm.py: New test file to test this
      scenario in a more controled environment.
      * wrap/python/tests/Makefile.am: Add it.
      7b7a9464