Christoph M. Wintersteiger
|
71912830f1
|
Formatting, mostly tabs
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-08 17:54:44 +00:00 |
|
Christoph M. Wintersteiger
|
0381e4317a
|
Formatting, mostly tabs.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-08 17:54:04 +00:00 |
|
Ken McMillan
|
d815af9f0f
|
merge duality changes with unstable
|
2014-10-22 10:14:05 -07:00 |
|
Ken McMillan
|
ec48f6d129
|
working on transforms for duality
|
2014-10-04 19:07:14 -07:00 |
|
Nikolaj Bjorner
|
d01ca11001
|
reduce asymptotic overhead of asserting bounds
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-16 17:13:09 -07:00 |
|
Ken McMillan
|
13b61d894c
|
adding recursion bounds to duality
|
2014-09-09 14:02:46 -07:00 |
|
Ken McMillan
|
a785a5a4b8
|
Merge branch 'unstable' into interp
|
2013-11-05 12:28:13 -08:00 |
|
Ken McMillan
|
49c72abb2d
|
new interpolation fixes; re-added fixedpoint-push/pop
|
2013-11-05 12:17:09 -08:00 |
|
Ken McMillan
|
3a0947b3ba
|
merged with unstable
|
2013-10-18 17:26:41 -07:00 |
|
Nikolaj Bjorner
|
0a964c324e
|
test for undetermined accessor for PDR
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-20 12:32:16 -07:00 |
|
Nikolaj Bjorner
|
10e203da43
|
remove some dependencies on parameter file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-12 20:22:26 -07:00 |
|
Nikolaj Bjorner
|
0aaa67fa7d
|
check for uninterpreted functions in tail for PDR
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-10 22:45:37 -07:00 |
|
Nikolaj Bjorner
|
c87ae1e99b
|
add transformation to reduce overhead of negation for predicates with free variables
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-09 23:05:18 -07:00 |
|
Nikolaj Bjorner
|
716663b04a
|
avoid creating full tables when negated variables are unitary, add lazy table infrastructure, fix coi_filter for relations, reduce dependencies on fixedpoing_parameters.hpp header file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-08 05:52:18 -07:00 |
|
Nikolaj Bjorner
|
e4338f085b
|
re-organization of muz
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-08-28 22:11:33 -07:00 |
|