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

Commits

Commits on Jul 21, 2016

Commits on Jul 20, 2016

fix build break: throw only on invalid model
NikolajBjorner
committed
Merge branch 'master' of https://github.com/Z3Prover/z3
NikolajBjorner
committed
deal with model construction, issue #684. fix model construction for ite #678. WIth this version, issue #686 does not repro
NikolajBjorner
committed
Add OP_INTERNAL to handle cases of function symbols that don't have external semantics (at least in a way that is supported by means of building terms) Issue #688
NikolajBjorner
committed
fix proof generation for unit resolution. Issue #691
NikolajBjorner
committed
Fix bit-blasting discrepancy. #690
NikolajBjorner
committed

Commits on Jul 17, 2016

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

Commits on Jul 15, 2016

Commits on Jul 14, 2016

Commits on Jul 12, 2016

add sin/cos conversions for #680
NikolajBjorner
committed

Commits on Jul 9, 2016