Nikolaj Bjorner
|
bf5419d44a
|
move functionality from qe_util to ast_util
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-06-23 14:33:45 +02:00 |
|
Matthias Schlaipfer
|
c82319b358
|
Refactor count_vars and count_rule_vars
ast_manager m was not used
|
2015-05-14 17:04:38 +01:00 |
|
Nikolaj Bjorner
|
8e2fedbc2e
|
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt
|
2014-09-25 09:33:20 -07:00 |
|
Nikolaj Bjorner
|
a2d8fd4c4b
|
local opts
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-25 09:33:12 -07:00 |
|
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
|
918d52f1b0
|
tune and fix doc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-09-24 09:20:21 -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
|
4957e71408
|
make get_vars populate all indices with sorts even if variable does not occur in rule. This makes the use of get_vars less prone to callers having to double check for null pointers
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-07-21 17:12:39 +02: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
|
e4338f085b
|
re-organization of muz
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-08-28 22:11:33 -07:00 |
|