1. 28 Mar, 2015 1 commit
  2. 27 Mar, 2015 1 commit
    • Guillaume Melquiond's avatar
      Improve why3-cpulimit so that it forcibly kills processes after a while. · 21198e50
      Guillaume Melquiond authored
      A child process (e.g. CVC4) might catch SIGXCPU. If it gets stuck then, it
      won't consume any additional cpu time, so the system won't forcibly kill
      it. So why3-cpulimit has to kill it.
      
      Note that, if the system is overloaded, why3-cpulimit might kill the child
      process before it has even reached its cpu time limit. Hopefully, the 60'
      additional time will suffice in practice.
      21198e50
  3. 26 Mar, 2015 1 commit
  4. 25 Mar, 2015 7 commits
  5. 24 Mar, 2015 3 commits
  6. 23 Mar, 2015 3 commits
  7. 22 Mar, 2015 5 commits
  8. 21 Mar, 2015 9 commits
  9. 20 Mar, 2015 4 commits
  10. 19 Mar, 2015 6 commits