8000 Commits · wangpengmit/z3 · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Oct 8, 2015

Fix for FP UFs and conversion functions.
Christoph M. Wintersteiger
committed
Bugfix for FPA UFs
Christoph M. Wintersteiger
committed
Bugfix for FP UFs.
Christoph M. Wintersteiger
committed
Bugfixes for UFs and conversion functions in theory_fpa
Christoph M. Wintersteiger
committed

Commits on Oct 7, 2015

Merge pull request #236 from wintersteiger/i68
Christoph M. Wintersteiger
committed
Merge pull request #235 from wintersteiger/fpa_fixes
Christoph M. Wintersteiger
committed
Corrected unspecified behavior of fp.min/fp.max corner cases in fpa2bv_converter and in theory_fpa.
Christoph M. Wintersteiger
committed
Corrected unspecified behavior of corner cases in fp.min/fp.max.
Christoph M. Wintersteiger
committed
Merge branch 'fpa_fixes' of https://github.com/wintersteiger/z3 into fpa_fixes
Christoph M. Wintersteiger
committed
Bugfix for mpf to_ieee_bv
Christoph M. Wintersteiger
committed
Bugfix for mpf to_ieee_bv
Christoph M. Wintersteiger
committed
patch for issue #232
NikolajBjorner
committed

Commits on Oct 5, 2015

add to release notes
NikolajBjorner
committed
Bumped version number to 4.4.2.
Christoph M. Wintersteiger
committed
Merge branch 'pure' of https://github.com/Z3Prover/z3
Christoph M. Wintersteiger
committed

Commits on Oct 4, 2015

comment out unit test that depends on hard-wired path
NikolajBjorner
committed
Merge branch 'pure' of https://github.com/Z3Prover/z3
Christoph M. Wintersteiger
committed
comment out diverging portion of unit test. Issue #210
NikolajBjorner
committed
remove reinterpret_cast. Issue #229, issue #24
NikolajBjorner
committed
Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable
NikolajBjorner
committed
compiler warning by daniel j h
NikolajBjorner
committed
Merge branch 'pure' of https://github.com/Z3Prover/z3
Christoph M. Wintersteiger
committed
reinterpret_cast fixes for the Windows compiler.
Christoph M. Wintersteiger
committed
Merge branch 'pure' of https://github.com/Z3Prover/z3
Christoph M. Wintersteiger
committed
Eliminated reinterpret_casts. Partially fixes #24, #229.
Christoph M. Wintersteiger
committed
Eliminated unused variable
Christoph M. Wintersteiger
committed
Eliminated unused variables.
Christoph M. Wintersteiger
committed
Removed or commented unused functions and variables.
Christoph M. Wintersteiger
committed
eliminated unused variable
Christoph M. Wintersteiger
committed
fixed buggy if condition
Christoph M. Wintersteiger
committed
disable memory finalization after quant_solve unit test. Related to issue #210
NikolajBjorner
committed
disable code in dl_query that depends on hard-wired file path
NikolajBjorner
committed
put break statement in else branh. Issue #230 (broken loop)
NikolajBjorner
committed
put break statement in else branh. Issue #230 (broken loop)
NikolajBjorner
committed

Commits on Oct 3, 2015

Merge branch 'pure' of https://github.com/Z3Prover/z3
Christoph M. Wintersteiger
committed

0