1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 5b839c99
      commit bde06d66
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:54 2017 +0200
      
          Fixing README.md
      
      commit ef38cecc
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:53 2017 +0200
      
          Fixing README.md
      
      commit d8bd4a87
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:04:53 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit ef02df18
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 13:07:56 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 4b66dde0
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:23:00 2017 +0200
      
          Fixing README.md
      
      commit f636c654
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:10:53 2017 +0200
      
          Fixing README.md
      
      commit 31a39714
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:46:48 2017 +0200
      
          Fixing README.md
      
      commit 7745db03
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:35:38 2017 +0200
      
          Fixing README.md
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 2 commits
  6. 03 May, 2016 1 commit
  7. 02 May, 2016 1 commit
  8. 14 Apr, 2016 1 commit
  9. 25 Mar, 2016 1 commit