1. 17 May, 2018 1 commit
    • Squashed commit of the following: · 60109fc0
      Mathias Preiner authored
      commit f525a140
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 16 22:08:39 2018 -0700
      
          Add pending benchmarks.
      
      commit fada47f0
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Sat May 12 11:10:05 2018 -0700
      
          Update status of unknown benchmarks.
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 6e068708
      Clark Barrett authored
      commit 6f81015a
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:58:41 2017 +0200
      
          Fixing README.md
      
      commit 3eac1449
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:37 2017 +0200
      
          Fixing README.md
      
      commit 8014352f
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 12:46:44 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 4a7182a4
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 23:09:33 2017 +0200
      
          To version 2.6
      
      commit 6ae52298
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:31:26 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit 3052e113
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:20:45 2017 +0200
      
          Fixing README.md
      
      commit dd8088bb
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:08:23 2017 +0200
      
          Fixing README.md
      
      commit 9bcca7b3
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:12 2017 +0200
      
          Fixing README.md
      
      commit 78356967
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:34:48 2017 +0200
      
          Fixing README.md
      
      commit 80ce72e0
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:25 2017 +0100
      
          Remove duplicate benchmarks
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 28 May, 2016 1 commit
  8. 16 May, 2016 1 commit
  9. 03 May, 2016 1 commit
  10. 02 May, 2016 1 commit
  11. 25 Mar, 2016 1 commit