Nikolaj Bjorner 71b6f97fb1 fix lookahead code ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2017-06-04 11:55:53 -07:00
..
ackermannization	Adding translation to ackr_model_converter.	2016-06-06 18:06:45 +01:00
api	Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt	2017-06-02 10:40:19 -07:00
ast	resolve conflicts	2017-06-02 10:38:37 -07:00
cmd_context	enable get-unsat-assumptions command per request in #1048	2017-05-29 16:26:22 -07:00
duality	Added rewriter.ignore_patterns_on_ground_qbody option to disable simplification of quantifiers that have their universals appear only in patterns, but otherwise have a ground body.	2017-04-07 21:19:20 +01:00
interp	removing FOCI2 interface from interp	2017-05-19 16:21:57 -07:00
math	merge and update	2017-05-25 14:17:19 -07:00
model	ensure evaluation of array equalities is enabled for external facing evaluator. Issue #917	2017-03-09 05:29:56 +01:00
muz	Merge branch 'master' of https://github.com/Z3Prover/z3	2017-05-31 18:35:52 +01:00
nlsat	Dev (#51)	2017-05-24 16:32:14 -07:00
opt	add lrb/chb and experiment with them	2017-05-28 10:48:31 -07:00
parsers	cleanup	2017-05-03 17:45:56 -04:00
qe	Added rewriter.ignore_patterns_on_ground_qbody option to disable simplification of quantifiers that have their universals appear only in patterns, but otherwise have a ground body.	2017-04-07 21:19:20 +01:00
sat	fix lookahead code	2017-06-04 11:55:53 -07:00
shell	Merge branch 'master' of https://github.com/z3prover/z3 into opt	2017-05-22 12:59:36 -07:00
smt	resolve conflicts	2017-06-02 10:38:37 -07:00
solver	resolve conflicts	2017-06-02 10:38:37 -07:00
tactic	resolve conflicts	2017-06-02 10:38:37 -07:00
test	Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt	2017-06-02 10:40:19 -07:00
util	resolve conflicts	2017-06-02 10:38:37 -07:00