Nikolaj Bjorner
|
3de2a70a48
|
move functionality from qe_util to ast_util
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-06-24 17:06:17 +01:00 |
|
Nikolaj Bjorner
|
e28701a64c
|
add assertions to simplifier
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-01-14 22:09:48 +05:30 |
|
Nikolaj Bjorner
|
ce18421a7a
|
fix box
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-15 14:29:39 -07:00 |
|
Nikolaj Bjorner
|
4ea3ed7e27
|
ensure parameters are updated and ensure that global use of auto-config is not obscured by smt.auto-config scoping
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-07 11:00:45 -07:00 |
|
Nikolaj Bjorner
|
19e291f479
|
qe fix
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-06 08:43:35 -07:00 |
|
Nikolaj Bjorner
|
6d8daacdec
|
fix check for satisfiability before calling final_check
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-06 08:35:05 -07:00 |
|
Nikolaj Bjorner
|
18e77bd539
|
fix qe for undef scenarios, codeplex issue 130
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-05 18:36:15 -07:00 |
|
Nikolaj Bjorner
|
0ccd56b847
|
fix qe on undef
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-10-05 18:33:20 -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
|
19050d1c4c
|
merge Fixedpoint.cs
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-07-28 12:20:48 -07:00 |
|
Nikolaj Bjorner
|
e4dedbbefc
|
fix quantifier elimination bugs reported by Berdine and Bornat
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-07-14 15:38:22 +02:00 |
|
Nikolaj Bjorner
|
2c69aa0df1
|
fix duplicate class
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-03-22 00:06:34 -07:00 |
|
Nikolaj Bjorner
|
5908e24728
|
fix bug missing NNF of equality as IFF reported by Sticksel
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-06 09:36:15 -07:00 |
|
Nikolaj Bjorner
|
137339a2e1
|
split muz_qe into two directories
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-08-28 12:08:47 -07:00 |
|