src

Christoph M. Wintersteiger

Oct 24, 2014

6a496a1 · Oct 24, 2014

This branch is 17611 commits behind Z3Prover/z3:master.

Name	Name	Last commit message	Last commit date
parent directory ..
api	api	Merge branch 'pure' of https://git01.codeplex.com/z3 into contrib	Oct 24, 2014
ast	ast	Merge branch 'pure' of https://git01.codeplex.com/z3 into contrib	Oct 24, 2014
cmd_context	cmd_context	replaced check_interpolants option with interp.check	Oct 22, 2014
duality	duality	prevent creating some useless solvers in duality	Oct 8, 2014
interp	interp	merge interp change	Oct 24, 2014
math	math	assorted compiler warnings fixes	Sep 28, 2014
model	model	avoid compiler warning	May 20, 2014
muz	muz	merge duality changes with unstable	Oct 22, 2014
nlsat	nlsat	Fix bug reported by Florian <corzilius@cs.rwth-aachen.de>	Jun 21, 2013
parsers	parsers	parse also bit-vector constants with set-info. Reported by David Cok	Mar 20, 2014
qe	qe	ensure parameters are updated and ensure that global use of auto-conf…	Oct 7, 2014
sat	sat	remove extra verbose output	Oct 5, 2014
shell	shell	Update copyright notices	Oct 24, 2014
smt	smt	Merge branch 'pure' of https://git01.codeplex.com/z3 into contrib	Oct 24, 2014
solver	solver	address race condition in cleanup methods	Sep 5, 2014
tactic	tactic	fix tactic parameter checking to API, deal with compiler warnings in …	Oct 8, 2014
test	test	test case for non-termination of substitution/rewriting	Sep 24, 2013
util	util	fixed warnings	Oct 24, 2014

Provide feedback