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, 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