| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix lit headers implicitly relying on bash-style constructs |  Clément Pit--Claudel | 2015-06-08 |
| * | Allow let-such-that expression to be compiled, provided that they provably ha... |  leino | 2015-03-13 |
| * | Language change: All functions and methods declared lexically outside any cla... | leino | 2014-12-12 |
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| * | Allow left-hand sides of a let expression to be patterns (like in the case of... | Rustan Leino | 2014-01-08 |
| * | Fixed bug with substitutions in let-such-that expressions. This cures Issue 22. |  Rustan Leino | 2013-07-04 |
| * | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | Rustan Leino | 2013-03-06 |
| * | Dafny: fixed well-formedness checking of LET expressions to allow the RHS to ... | Rustan Leino | 2012-02-29 |
| * | Dafny: Fixed a bug in the printing of let expressions. | wuestholz | 2012-01-24 |
| * | Dafny: added let expressions (syntax: "var x := E0; E1") | Rustan Leino | 2011-11-14 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |