projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/1.0.x'
[cvc5.git] / contrib / cut-release
2012-12-01 Morgan DetersCutting release 1.0. blob | commitdiff | raw
2012-12-01 Morgan Detersfix cut-release sanity checks blob | commitdiff | raw | diff to current
2012-11-30 Morgan Detersminor fix to release script blob | commitdiff | raw | diff to current
2012-10-08 Morgan Deters* Models' SubstitutionMaps are now attached to the... blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Clean up some options documentation blob | commitdiff | raw | diff to current
2012-06-16 Morgan Detersupdated build script for smt-comp submission blob | commitdiff | raw | diff to current
2011-11-01 Morgan DetersImprovements to header installation on user machines... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current