summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableBenjamin Barenblat5 years
 
 
AgeCommit messageAuthor
2016-06-05Release for unstableHEADmasterBenjamin Barenblat
2016-06-05Patch Dafny to use the system Z3Benjamin Barenblat
2016-06-05Update debian/gbp.confBenjamin Barenblat
2016-06-05Update debian/copyrightBenjamin Barenblat
2016-06-05Update debian/copyrightBenjamin Barenblat
2016-06-05Update debian/controlBenjamin Barenblat
2016-06-05Bump debian/changelogBenjamin Barenblat
2016-05-30Merge commit 'df5c5f5'Benjamin Barenblat
2016-04-06Update dependencies and Standards-VersionBenjamin Barenblat
2016-04-01New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.leino
2016-04-01Mergeleino
2016-04-01New test file, for recursive and iterative versions of McCarthy's 91 functionleino
2016-04-01New test case, proving monad laws for listsleino
2016-04-01Fix issue 148. The results for sign comparison for BigRational.CompareTo wasqunyanm
2016-03-31Allow modifies clauses for a "Main" method annotated with {:main} attribute.qunyanm
2016-03-31Fix issue 143. The list that stores the function fuel constants was declared asqunyanm
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-dafny.git
https://github.com/bbarenblat/debian-dafny.git