1. 15 Jun, 2017 1 commit
  2. 13 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · b64fe832
      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).
      Clark Barrett committed
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 22 May, 2016 2 commits
  8. 13 May, 2016 1 commit
  9. 03 May, 2016 1 commit
  10. 02 May, 2016 1 commit
  11. 25 Mar, 2016 1 commit