summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
bindmergeNikolaj Bjorner2 years
consadd propagation after restartNikolaj Bjorner3 months
contribFixed comments about contributed code.Christoph M. Wintersteiger4 years
masterfix #2877Nikolaj Bjorner6 hours
purecomment out unit test that depends on hard-wired pathNikolaj Bjorner4 years
qsatmergeNikolaj Bjorner4 years
srnaNikolaj Bjorner10 months
temp_duality_branchadding -U option for Windows (user cpu time bound)U-REDMOND\kenmcmil5 years
unstable-backupcomment out unit test that depends on hard-wired pathNikolaj Bjorner4 years
 
TagDownloadAuthorAge
z3-4.8.7z3-4.8.7.zip  z3-4.8.7.tar.gz  z3-4.8.7.tar.bz2  Nikolaj Bjorner2 months
NightlyNightly.zip  Nightly.tar.gz  Nightly.tar.bz2  Nikolaj Bjorner3 months
z3-4.8.6z3-4.8.6.zip  z3-4.8.6.tar.gz  z3-4.8.6.tar.bz2  Nikolaj Bjorner4 months
Z3-4.8.5Z3-4.8.5.zip  Z3-4.8.5.tar.gz  Z3-4.8.5.tar.bz2  Nikolaj Bjorner8 months
z3-4.8.4z3-4.8.4.zip  z3-4.8.4.tar.gz  z3-4.8.4.tar.bz2  Nikolaj Bjorner13 months
z3-4.8.3z3-4.8.3.zip  z3-4.8.3.tar.gz  z3-4.8.3.tar.bz2  Nikolaj Bjorner14 months
z3-4.8.1z3-4.8.1.zip  z3-4.8.1.tar.gz  z3-4.8.1.tar.bz2  Nikolaj Bjorner15 months
z3-4.7.1z3-4.7.1.zip  z3-4.7.1.tar.gz  z3-4.7.1.tar.bz2  Nikolaj Bjorner20 months
z3-4.6.0z3-4.6.0.zip  z3-4.6.0.tar.gz  z3-4.6.0.tar.bz2  Christoph M. Wintersteiger2 years
z3-4.5.0z3-4.5.0.zip  z3-4.5.0.tar.gz  z3-4.5.0.tar.bz2  Christoph M. Wintersteiger3 years
[...]
 
AgeCommit messageAuthor
6 hoursfix #2877HEADmasterNikolaj Bjorner
6 hoursremove commented out codeNikolaj Bjorner
6 hoursFix EOF detection when char is unsigned.Jerry James
7 hoursfix #2860Nikolaj Bjorner
30 hoursrename m_rounded_columns to m_incorrect_columnsLev Nachmanson
31 hourstrack rounded columns in lar_solverLev Nachmanson
34 hoursfix #2879. relax benign restriction on eq propagation justificationNikolaj Bjorner
36 hoursfix warningsNikolaj Bjorner
37 hoursfix #2869 fix #2878Nikolaj Bjorner
38 hoursAdded FreshFunction to Python bindings.Olaf Tomalka
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/z3.git
git://github.com/Z3Prover/z3
https://github.com/Z3Prover/z3