1. 17 Jun, 2017 1 commit
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · cd67bd30
      commit 1728aaa5
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 18:00:20 2017 +0200
      
          Fixing README.md
      
      commit ca466647
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:55:19 2017 +0200
      
          Fixing README.md
      
      commit 2dd62b39
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:25:17 2017 +0200
      
          Adding benchmarks from pending
      
      commit a9c38c67
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:05:23 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 2ba6921c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 14:18:59 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 1557bf99
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:23:30 2017 +0200
      
          Fixing README.md
      
      commit 985b0020
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:11:24 2017 +0200
      
          Fixing README.md
      
      commit 09aaeda6
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:47:16 2017 +0200
      
          Fixing README.md
      
      commit de01bc51
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:36:02 2017 +0200
      
          Fixing README.md
      
      commit 211acf18
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:03 2017 +0100
      
          Remove duplicate benchmarks
      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