summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableGravatar Benjamin Barenblat6 years
 
 
AgeCommit messageAuthor
2016-06-05Release for unstableHEADmasterGravatar Benjamin Barenblat
2016-06-05Patch Dafny to use the system Z3Gravatar Benjamin Barenblat
2016-06-05Update debian/gbp.confGravatar Benjamin Barenblat
2016-06-05Update debian/copyrightGravatar Benjamin Barenblat
2016-06-05Update debian/copyrightGravatar Benjamin Barenblat
2016-06-05Update debian/controlGravatar Benjamin Barenblat
2016-06-05Bump debian/changelogGravatar Benjamin Barenblat
2016-05-30Merge commit 'df5c5f5'Gravatar Benjamin Barenblat
2016-04-06Update dependencies and Standards-VersionGravatar Benjamin Barenblat
2016-04-01New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.Gravatar leino
2016-04-01MergeGravatar leino
2016-04-01New test file, for recursive and iterative versions of McCarthy's 91 functionGravatar leino
2016-04-01New test case, proving monad laws for listsGravatar leino
2016-04-01Fix issue 148. The results for sign comparison for BigRational.CompareTo wasGravatar qunyanm
2016-03-31Allow modifies clauses for a "Main" method annotated with {:main} attribute.Gravatar qunyanm
2016-03-31Fix issue 143. The list that stores the function fuel constants was declared asGravatar qunyanm
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-dafny.git
https://github.com/bbarenblat/debian-dafny.git