1. 17 Jun, 2017 1 commit
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 5030666e
      commit 55221928
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:58:38 2017 +0200
      
          Fixing README.md
      
      commit 4332cb08
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:33 2017 +0200
      
          Fixing README.md
      
      commit 51aff756
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 12:46:42 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit fd9f0b66
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 23:02:52 2017 +0200
      
          To version 2.6
      
      commit d24a4e48
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:14:13 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit 9f86dda7
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:20:34 2017 +0200
      
          Fixing README.md
      
      commit 3b9ef09f
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:08:12 2017 +0200
      
          Fixing README.md
      
      commit 9381abed
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:08 2017 +0200
      
          Fixing README.md
      
      commit 5b867609
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:34:45 2017 +0200
      
          Fixing README.md
      
      commit b3b4fb18
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:34:32 2017 +0200
      
          Fixing README.md
      Clark Barrett committed
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 03 May, 2016 1 commit
  8. 02 May, 2016 1 commit
  9. 25 Mar, 2016 1 commit