1. 17 May, 2018 1 commit
    • Squashed commit of the following: · 2168d220
      Mathias Preiner authored
      commit 2a022ce8
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 16 22:09:36 2018 -0700
      
          Add pending benchmarks.
      
      commit 8c3f28fa
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Sat May 12 11:10:37 2018 -0700
      
          Update status of unknown benchmarks.
  2. 15 Jun, 2017 1 commit
  3. 13 Jun, 2017 1 commit
  4. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · b64fe832
      Clark Barrett authored
      commit f411b95a
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Jun 6 16:30:57 2017 +0200
      
          Adding benchmarks from pending
      
      commit bcdd9534
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:08 2017 +0200
      
          Fixing README.md
      
      commit 211b8dfe
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:03 2017 +0200
      
          Fixing README.md
      
      commit f8dab7a8
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Thu May 25 17:46:17 2017 -0700
      
          Updated to reflect new QF_BV semantics for division and remainder operators
          when operand is 0.
      
      commit 30a30a2c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 22:43:46 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 55815dc9
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:21:27 2017 +0200
      
          Fixing README.md
      
      commit a030f94f
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:09:08 2017 +0200
      
          Fixing README.md
      
      commit 4fc64b75
      Merge: 2b1ef7ac ed401b9e
      Author: Pascal Fontaine <pfontaine@graphene-6.nancy.grid5000.fr>
      Date:   Fri Mar 31 18:21:23 2017 +0200
      
          Merge branch 'develop' of https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_BV into develop
      
      commit 2b1ef7ac
      Author: Pascal Fontaine <pfontaine@graphene-6.nancy.grid5000.fr>
      Date:   Fri Mar 31 18:19:31 2017 +0200
      
          Moving set-info version up front to avoid solver complaining about " in comments
      
      commit ed401b9e
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Fri Mar 31 17:06:03 2017 +0200
      
          Adding (exit) to end of benchmarks
      
      commit 74021cbf
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:48 2017 +0200
      
          Fixing README.md
      
      commit ade5d014
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:26 2017 +0100
      
          Remove duplicate benchmarks
      
      commit a57aeafc
      Author: Clark Barrett <barrett@cs.stanford.edu>
      Date:   Wed Dec 14 10:54:54 2016 -0800
      
          Moved smt-lib-version before source to make sure solvers see it before
          trying to parse quotes (as quote parsing is different in 2.0 and 2.5).
  5. 02 May, 2017 1 commit
  6. 20 Apr, 2017 1 commit
  7. 29 Mar, 2017 2 commits
  8. 22 May, 2016 2 commits
  9. 13 May, 2016 1 commit
  10. 03 May, 2016 1 commit
  11. 02 May, 2016 1 commit
  12. 25 Mar, 2016 1 commit