Christoph M. Wintersteiger d4efa3753c Optimization for real to float conversion. Relates to #383.		2016-01-11 18:54:07 +00:00
..
api	add some conveniences for expressing string constraints	2016-01-08 16:19:32 -08:00
ast	Issue #407 build break	2016-01-07 20:05:49 -08:00
cmd_context	moving to resource managed cancellation	2015-12-12 19:30:24 +00:00
duality	reworking cancellation	2015-12-12 19:30:23 +00:00
interp	issue #393 -- removed debugging assert	2016-01-04 12:53:46 -08:00
math	fix build with c++98 compilers	2016-01-05 14:10:32 +00:00
model	reworking cancellation	2015-12-12 19:30:23 +00:00
muz	enable Horner evaluation also for mixed-integer constraints now that ast-manger inserts coercions on the fly. Avoids loop for issue #399, but with this alone results in unknown status	2016-01-09 10:01:44 -08:00
nlsat	ensure limit children are safe for race conditions	2015-12-12 19:30:24 +00:00
opt	reworking cancellation	2015-12-12 19:30:23 +00:00
parsers	seq API	2016-01-02 22:52:28 -08:00
qe	updates to resource exceptions, update master possibly handle pull request issue	2015-12-12 11:36:49 -08:00
sat	fix memory leak in SAT solver exposed by regression tests	2016-01-06 11:47:45 -08:00
shell	remove unused decl	2015-12-30 15:50:46 +00:00
smt	enable Horner evaluation also for mixed-integer constraints now that ast-manger inserts coercions on the fly. Avoids loop for issue #399, but with this alone results in unknown status	2016-01-09 10:01:44 -08:00
solver	ensure limit children are safe for race conditions	2015-12-12 19:30:24 +00:00
tactic	Merge branch 'master' of https://github.com/Z3Prover/z3 into jan4	2016-01-05 11:34:35 +00:00
test	resource-limit related fixes in src/test	2015-12-18 18:43:38 +00:00
util	Optimization for real to float conversion. Relates to #383.	2016-01-11 18:54:07 +00:00