Nuno Lopes
|
aaa931e0d5
|
fix build with gcc
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
|
2014-09-25 15:56:01 +01:00 |
|
Nikolaj Bjorner
|
6457654e2e
|
make self-contained bind-variables
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-24 14:30:30 -07:00 |
|
Nikolaj Bjorner
|
16f80fce92
|
add check_relation for integrity checking of relational operations
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-24 01:06:58 -07:00 |
|
Nikolaj Bjorner
|
22808a039d
|
working on udoc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-21 20:25:11 -07:00 |
|
Nikolaj Bjorner
|
c09903288f
|
have free variable utility use a class for more efficient re-use
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-15 16:14:22 -07:00 |
|
Nikolaj Bjorner
|
54c959783d
|
profile, optimize, trying out product-set
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-08-23 20:51:30 -07:00 |
|
Nikolaj Bjorner
|
9b893c625b
|
print output predicates as part of displaying rules
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-08-22 21:17:05 -07:00 |
|
Nikolaj Bjorner
|
e3098b0ec5
|
add documentation comment to bind_variables
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-05-20 11:20:15 -07:00 |
|
Ken McMillan
|
3a0947b3ba
|
merged with unstable
|
2013-10-18 17:26:41 -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
|
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 |
|