Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Jul 17, 2016

mark also ast in parameters as GC roots. Issue #676
NikolajBjorner
committed

Commits on Jul 15, 2016

fix ubuntu build failure
NikolajBjorner
committed
add tptp5 example to cmake, adding output SZS directives for Geoff
NikolajBjorner
committed
add object z3 objects to target context during translation, to fix build regression failure on z3test.py
NikolajBjorner
committed

Commits on Jul 14, 2016

fix rounding mode for pseudo-boolean constraint creation, Issue #683
NikolajBjorner
committed
remove unfinished ite-macro finder, tune ast GC to ensure nodes are roots only once
NikolajBjorner
committed
add proper garbage collection to ast_manager. Issue #679
NikolajBjorner
committed
garbage collect all api::object references when calling del_context. Request issue #679
NikolajBjorner
committed
Merge branch 'master' of https://github.com/Z3Prover/z3
NikolajBjorner
committed
fix bugs exposed in #677. to_int(x) has the semantics that to_int(x) <= x, and to_int(x) is the largest integer satisfying this inequality. The encoding in purify_arith had it the other way x <= to…
NikolajBjorner
committed

Commits on Jul 12, 2016

add sin/cos conversions for #680
NikolajBjorner
committed

Commits on Jul 9, 2016

Commits on Jul 8, 2016

Commits on Jul 3, 2016

checking cancel flag to refine the behavior around issue #595
NikolajBjorner
committed

Commits on Jul 1, 2016

Commits on Jun 30, 2016

typename conventions, issue #664
NikolajBjorner
committed