summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
bindmergeNikolaj Bjorner3 years
consadd propagation after restartNikolaj Bjorner6 months
debug_assume_eqsdebug assume_eqsLev Nachmanson2 hours
masterfix #3863Nikolaj Bjorner3 hours
purecomment out unit test that depends on hard-wired pathNikolaj Bjorner5 years
qsatmergeNikolaj Bjorner4 years
rsmergeNikolaj Bjorner5 weeks
srnaNikolaj Bjorner12 months
tvtrying to us tv extensivelyLev Nachmanson3 weeks
unstable-backupcomment out unit test that depends on hard-wired pathNikolaj Bjorner5 years
[...]
 
TagDownloadAuthorAge
z3-4.8.7z3-4.8.7.zip  z3-4.8.7.tar.gz  z3-4.8.7.tar.bz2  Nikolaj Bjorner5 months
NightlyNightly.zip  Nightly.tar.gz  Nightly.tar.bz2  Nikolaj Bjorner6 months
z3-4.8.6z3-4.8.6.zip  z3-4.8.6.tar.gz  z3-4.8.6.tar.bz2  Nikolaj Bjorner7 months
Z3-4.8.5Z3-4.8.5.zip  Z3-4.8.5.tar.gz  Z3-4.8.5.tar.bz2  Nikolaj Bjorner10 months
z3-4.8.4z3-4.8.4.zip  z3-4.8.4.tar.gz  z3-4.8.4.tar.bz2  Nikolaj Bjorner16 months
z3-4.8.3z3-4.8.3.zip  z3-4.8.3.tar.gz  z3-4.8.3.tar.bz2  Nikolaj Bjorner17 months
z3-4.8.1z3-4.8.1.zip  z3-4.8.1.tar.gz  z3-4.8.1.tar.bz2  Nikolaj Bjorner18 months
z3-4.7.1z3-4.7.1.zip  z3-4.7.1.tar.gz  z3-4.7.1.tar.bz2  Nikolaj Bjorner23 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
3 hoursfix #3863HEADmasterNikolaj Bjorner
4 hoursfix #3880Nikolaj Bjorner
4 hoursfix #3867Nikolaj Bjorner
4 hoursfix #3869Nikolaj Bjorner
5 hoursfix #3872Nikolaj Bjorner
5 hoursfix #3879Nikolaj Bjorner
5 hoursfix #3874Nikolaj Bjorner
5 hoursnaNikolaj Bjorner
5 hoursguard against untempered parameter combinations #3877Nikolaj Bjorner
5 hoursfix #3860 fix #3861Nikolaj Bjorner
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/z3.git
git://github.com/Z3Prover/z3
https://github.com/Z3Prover/z3