1. 02 May, 2019 1 commit
  2. 30 Apr, 2019 1 commit
  3. 15 Apr, 2019 1 commit
  4. 21 May, 2018 1 commit
  5. 24 Jul, 2017 1 commit
  6. 15 Jun, 2017 1 commit
  7. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 61a0b979
      Clark Barrett authored
      commit c580ca25
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:12 2017 +0200
      
          Fixing README.md
      
      commit bc51a83f
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:09 2017 +0200
      
          Fixing README.md
      
      commit 4ffefead
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 15:25:25 2017 +0200
      
          Adding benchmarks from pending
      
      commit d9fb8bbc
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu Jun 1 13:02:22 2017 -0700
      
          Updating statuses based on solutions from two or more solvers running with a long timeout
      
      commit 4ca27ac8
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 14:52:15 2017 +0200
      
          Fixing quoting category
      
      commit 0d293391
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 09:18:14 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 8d2faa11
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:21:37 2017 +0200
      
          Fixing README.md
      
      commit 4ec13d8b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:09:21 2017 +0200
      
          Fixing README.md
      
      commit db7db6a1
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 14:51:34 2017 +0200
      
          Fixing backslash in quoted symbol
      
      commit 47e20261
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 14:44:36 2017 +0200
      
          Fixing wrong logic
      
      commit 0a5c6f8b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:53 2017 +0200
      
          Fixing README.md
      
      commit 4a759042
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:00 2017 +0100
      
          Remove duplicate benchmarks
      
      commit 721d0807
      Author: Christoph M. Wintersteiger <cwinter@microsoft.com>
      Date:   Fri Nov 11 12:10:47 2016 +0000
      
          Added new benchmarks by Mikhail Ramalho
      61a0b979
  8. 02 May, 2017 1 commit
  9. 20 Apr, 2017 1 commit
  10. 29 Mar, 2017 2 commits
  11. 24 Jul, 2016 1 commit
  12. 13 May, 2016 1 commit
  13. 03 May, 2016 1 commit
  14. 02 May, 2016 1 commit
  15. 25 Mar, 2016 1 commit