| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s... |  Rustan Leino | 2011-10-26 |
| * | Dafny: changed triggers (which are never really used, anyhow) from having a s... | Rustan Leino | 2011-10-21 |
| * | Dafny: removed deprecated "call" and "use" keywords from syntax highlighters | Rustan Leino | 2011-06-20 |
| * | Dafny: added constructors | Rustan Leino | 2011-05-28 |
| * | Dafny: added type "nat" | Rustan Leino | 2011-04-19 |
| * | Dafny: added "choose" operator on sets |  rustanleino | 2011-03-26 |
| * | Dafny: | rustanleino | 2011-02-17 |
| * | Dafny: implemented a more precise scheme for allowing use of a function's rep... | rustanleino | 2011-02-03 |
| * | Dafny: Record source positions of start/end curly braces for declaration con... | rustanleino | 2010-10-27 |
| * | Added AssemblyInfo.cs, missing from previous DafnyExtension check-in | rustanleino | 2010-10-22 |
| * | New Dafny mode for Visual Studio 2010, using the VS2010 extensions. | rustanleino | 2010-10-22 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |