1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 3e751615
      commit e4e9fe9e
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:58:27 2017 +0200
      
          Fixing README.md
      
      commit 5618b555
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:18 2017 +0200
      
          Fixing README.md
      
      commit c808abfa
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 12:46:39 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 23c2f6be
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 23:00:44 2017 +0200
      
          To version 2.6
      
      commit db6cf2e2
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:11:09 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit afc69862
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:20:21 2017 +0200
      
          Fixing README.md
      
      commit 3ee28c39
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:07:58 2017 +0200
      
          Fixing README.md
      
      commit cab3c19b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Fri Mar 31 14:17:34 2017 +0200
      
          Fixing (exit)
      
      commit 110c90a0
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:44:52 2017 +0200
      
          Fixing README.md
      
      commit fc598c0c
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:34:34 2017 +0200
      
          Fixing README.md
      
      commit 25a4bd93
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:34:20 2017 +0200
      
          Fixing README.md
      
      commit 67b621f5
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:25 2017 +0100
      
          Remove duplicate benchmarks
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 2 commits
  6. 22 May, 2016 1 commit
  7. 03 May, 2016 1 commit
  8. 02 May, 2016 1 commit
  9. 25 Mar, 2016 1 commit