1. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 421f4f91
      Mathias Preiner authored
      commit 71e7e8ef
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:38 2019 -0700
      
          Update README.md.
      
      commit 803ba298
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 30 15:18:26 2019 -0700
      
          Update status.
      421f4f91
  2. 17 May, 2018 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · f079fa82
      Mathias Preiner authored
      commit 93f811fc
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 16 22:06:02 2018 -0700
      
          Add pending benchmarks.
      
      commit 264249b4
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue May 15 19:43:02 2018 -0700
      
          Update status of unknown check-sat calls.
      f079fa82
  3. 17 Jun, 2017 1 commit
  4. 15 Jun, 2017 1 commit
  5. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 7028a8e3
      Clark Barrett authored
      commit 30bd6d0f
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 29 15:28:57 2017 +0200
      
          To version 2.6
      
      commit 86bbbc5b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:35:47 2017 +0200
      
          Fixing README.md
      
      commit cf2d273c
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:12:57 2017 +0200
      
          Fixing README.md
      
      commit 89f73052
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:48:13 2017 +0200
      
          Fixing README.md
      
      commit fbe49310
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:22 2017 +0100
      
          Remove duplicate benchmarks
      7028a8e3
  6. 02 May, 2017 1 commit
  7. 20 Apr, 2017 1 commit
  8. 29 Mar, 2017 2 commits
  9. 24 May, 2016 1 commit
  10. 22 May, 2016 1 commit
  11. 03 May, 2016 2 commits
  12. 26 Mar, 2016 1 commit