index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
/
Printer.cs
Commit message (
Expand
)
Author
Age
...
*
Added hover text ("additional information") in places where co-methods provid...
Rustan Leino
2013-08-04
*
Set up call-graph to keep track of edges between functions and methods. (To ...
Rustan Leino
2013-08-04
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
Fixed printer bug to handle static receivers in function call expressions. (T...
chmaria
2013-07-11
*
Fixed an issue in the computation of checksums.
wuestholz
2013-07-07
*
DafnyExtension: Worked on integrating the verification result caching.
wuestholz
2013-06-06
*
Made the semi-colon after "type" and "module" declarations optional.
Rustan Leino
2013-05-10
*
The "choose" statement, hacky and specialized as it was, is now gone. Use th...
Rustan Leino
2013-03-27
*
Beefed up assign/let-such-that to generate possible witnesses for set/multise...
Rustan Leino
2013-03-25
*
Finished support for ==# in calc, changed Paulson example to use it.
Nadia Polikarpova
2013-03-20
*
Added the <== operator.
Nadia Polikarpova
2013-03-14
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
Pretty print the new parentheses-less "if" and "while" statements as such.
Rustan Leino
2013-02-21
*
Added Equals method on Type
Rustan Leino
2013-02-20
*
First take on calc expressions.
Nadia Polikarpova
2013-02-14
*
Added parsing and resolution of a new let-such-that expression. Translation h...
Rustan Leino
2013-01-21
*
Added some co- test cases. Fixed some bugs.
Rustan Leino
2013-01-20
*
Create prefix methods during resolution, not translation.
Unknown
2013-01-18
*
Some additional resolution checks for co stuff.
Unknown
2013-01-18
*
Removed the syntactic form copredicate #-form with the implicit argument.
Rustan Leino
2013-01-16
*
Corrected pretty printing of 'comethod'
Rustan Leino
2012-11-25
*
Parse prefix predicates/methods
Rustan Leino
2012-11-24
*
renamed "abstract module" to "module facade"
Rustan Leino
2012-10-22
*
Support default (which, here, means nameless) class-instance constructors
Rustan Leino
2012-10-05
*
Hover text for iterator declarations (and not for the methods they generate)
Rustan Leino
2012-10-04
*
Put all sources under \Source directory
Rustan Leino
2012-10-04
[prev]