Florian Pigorsch
|
326bf401b9
|
Fix some spelling errors (mostly in comments).
|
2018-10-20 17:07:41 +02:00 |
|
Bruce Mitchener
|
76eb7b9ede
|
Use nullptr.
|
2018-02-12 14:05:55 +07:00 |
|
Nikolaj Bjorner
|
bec60f763b
|
add diagnostics to DDNF and fix #1268
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-09-30 12:35:36 -07:00 |
|
Nikolaj Bjorner
|
2751cbc270
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-09-23 22:36:36 -05:00 |
|
Nikolaj Bjorner
|
b19f94ae5b
|
make include paths uniformly use path relative to src. #534
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-31 13:24:11 -07:00 |
|
Nikolaj Bjorner
|
8032217fd1
|
tuning and fixing consequence finding, adding dimacs evaluation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-04-26 13:53:37 -07:00 |
|
Christoph M. Wintersteiger
|
4857de6c81
|
fixed buggy if condition
|
2015-10-04 15:16:03 +01:00 |
|
Nikolaj Bjorner
|
b08ccc7816
|
added missing Copyright forms
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-06-10 11:54:02 -07:00 |
|
Nikolaj Bjorner
|
4d3d9f7602
|
include compression
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-05-11 20:32:39 -07:00 |
|
Nikolaj Bjorner
|
c96c4c7af7
|
Merge branch 'opt' of https://github.com/Z3Prover/z3 into opt
|
2015-05-11 17:12:04 -07:00 |
|
Nikolaj Bjorner
|
bf6ab3fc03
|
local state
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-05-11 17:11:52 -07:00 |
|
Nikolaj Bjorner
|
e53462c1c1
|
update ddnf experiment code
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
|
2015-05-11 17:11:21 -07:00 |
|
Nikolaj Bjorner
|
1a4e8f89bd
|
fix release build failure
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-05-10 14:53:05 -07:00 |
|
Nikolaj Bjorner
|
839e3fbb7c
|
add ddnf tests, add facility to solve QF_NRA + QF_UF(and other theories) in joint solver to allow broader use of QF_NRA core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-05-09 19:40:34 -07:00 |
|