Commit 60109fc0 authored by Mathias Preiner's avatar Mathias Preiner

Squashed commit of the following:

commit f525a140
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Wed May 16 22:08:39 2018 -0700

    Add pending benchmarks.

commit fada47f0
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Sat May 12 11:10:05 2018 -0700

    Update status of unknown benchmarks.
parent 5f2ce7fd
Pipeline #234 failed with stages
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
......@@ -5,7 +5,7 @@ Ivan Jager <aij+nospam@andrew.cmu.edu>
|)
(set-info :category "crafted")
(set-info :status unknown)
(set-info :status sat)
(declare-fun memscalar_59522_10599 () (_ BitVec 32))
(declare-fun memscalar_59511_8552 () (_ BitVec 32))
(declare-fun edsc_5075_10811 () (_ BitVec 8))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment