1. 17 May, 2018 1 commit
    • Squashed commit of the following: · 59bbb155
      Mathias Preiner authored
      commit 4df260f0
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 17 13:41:02 2018 -0700
      
          Fix status and add missing set-info :status.
      
      commit cb75e2fe
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 16 22:05:34 2018 -0700
      
          Add pending benchmarks.
      
      commit d049554d
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue May 15 19:41:58 2018 -0700
      
          Update status of unknown check-sat calls.
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · ca6721ec
      Clark Barrett authored
      commit 64cb1f22
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:42:31 2017 +0200
      
          Adding benchmarks from pending
      
      commit a3e822ab
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 29 15:06:40 2017 +0200
      
          To version 2.6
      
      commit 3ab3d1d8
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:35:44 2017 +0200
      
          Fixing README.md
      
      commit 425effce
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:12:54 2017 +0200
      
          Fixing README.md
      
      commit bf02627b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:48:10 2017 +0200
      
          Fixing README.md
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 19 May, 2016 1 commit
  8. 26 Mar, 2016 1 commit