summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
bindmergeNikolaj Bjorner2 years
consadd propagation after restartNikolaj Bjorner8 weeks
contribFixed comments about contributed code.Christoph M. Wintersteiger4 years
masterfix #2792Nikolaj Bjorner17 hours
purecomment out unit test that depends on hard-wired pathNikolaj Bjorner4 years
qsatmergeNikolaj Bjorner4 years
srnaNikolaj Bjorner8 months
temp_duality_branchadding -U option for Windows (user cpu time bound)U-REDMOND\kenmcmil4 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 Bjorner3 weeks
NightlyNightly.zip  Nightly.tar.gz  Nightly.tar.bz2  Nikolaj Bjorner8 weeks
z3-4.8.6z3-4.8.6.zip  z3-4.8.6.tar.gz  z3-4.8.6.tar.bz2  Nikolaj Bjorner3 months
Z3-4.8.5Z3-4.8.5.zip  Z3-4.8.5.tar.gz  Z3-4.8.5.tar.bz2  Nikolaj Bjorner6 months
z3-4.8.4z3-4.8.4.zip  z3-4.8.4.tar.gz  z3-4.8.4.tar.bz2  Nikolaj Bjorner12 months
z3-4.8.3z3-4.8.3.zip  z3-4.8.3.tar.gz  z3-4.8.3.tar.bz2  Nikolaj Bjorner13 months
z3-4.8.1z3-4.8.1.zip  z3-4.8.1.tar.gz  z3-4.8.1.tar.bz2  Nikolaj Bjorner14 months
z3-4.7.1z3-4.7.1.zip  z3-4.7.1.tar.gz  z3-4.7.1.tar.bz2  Nikolaj Bjorner19 months
z3-4.6.0z3-4.6.0.zip  z3-4.6.0.tar.gz  z3-4.6.0.tar.bz2  Christoph M. Wintersteiger24 months
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
17 hoursfix #2792HEADmasterNikolaj Bjorner
17 hoursfix #2793Nikolaj Bjorner
36 hoursnaNikolaj Bjorner
37 hoursfix #2791Nikolaj Bjorner
3 daysremove smt optionNikolaj Bjorner
3 daysfix #2789Nikolaj Bjorner
3 daysfix buildNikolaj Bjorner
3 daysfix #2788Nikolaj Bjorner
3 daysfix #2787Nikolaj Bjorner
5 daysz3str3: remove unused str_eq_todo worklistMurphy Berzish
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/z3.git
git://github.com/Z3Prover/z3
https://github.com/Z3Prover/z3