index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
Commit message (
Expand
)
Author
Age
*
Dafny: allow various forms of leaving off type arguments in declarations
Rustan Leino
2012-02-16
*
Dafny: re-ran parser generator to use latest .frame files
Rustan Leino
2012-02-16
*
Dafny: re-ran parser generator to use latest .frame files
Rustan Leino
2012-02-16
*
Dafny: fixed a couple of compiler bugs
Rustan Leino
2012-02-16
*
Dafny: fixed bug in compilation of let expressions.
Rustan Leino
2012-01-26
*
Dafny: Fixed a bug in the resolving of UpdateStmts.
wuestholz
2012-01-25
*
Dafny: Fixed a bug in the printing of let expressions.
wuestholz
2012-01-24
*
Dafny: fixed bug in compilation of generic datatypes
Rustan Leino
2012-01-18
*
Dafny: improved error location for violations of function postconditions
Rustan Leino
2012-01-18
*
Dafny: allow a refinement to provide a function/method body if the function/m...
Rustan Leino
2012-01-18
*
Dafny: added signature checking to refinement
Rustan Leino
2012-01-17
*
Dafny: allow parallel statements with an empty list of bound variables
Rustan Leino
2012-01-17
*
Dafny: parallel statements:
Rustan Leino
2012-01-17
*
Dafny: Recheck specifications that contain refined (extended) predicates, eve...
Rustan Leino
2012-01-16
*
Dafny: handle refinement of nested tokens that come from SpliExpr (still need...
Rustan Leino
2012-01-12
*
Dafny: make full predicate definitions available only inside a module (outsid...
Rustan Leino
2012-01-11
*
Dafny: fixed bugs in contract types, and a code bug that caused a contract to...
Rustan Leino
2012-01-10
*
Dafny: some bug fixes
Rustan Leino
2012-01-10
*
Dafny: allow class-member declarations at top level of any module (not just t...
Rustan Leino
2012-01-10
*
Dafny: added test case for refinement and predicates (and fixed a parsing bug)
Rustan Leino
2012-01-10
*
Dafny: allow definitions and uses of parameter-less predicates to go without ...
Rustan Leino
2012-01-10
*
Dafny: added predicates
Rustan Leino
2012-01-10
*
Dafny: added support for simple superposition refinements
Rustan Leino
2012-01-09
*
Dafny: changed translation to be sensitive to refinement inheritance; this fe...
Rustan Leino
2012-01-09
*
Dafny: disallow changes of datatypes in refinements
Rustan Leino
2012-01-09
*
Dafny: finished refinement cloning transformations
Rustan Leino
2012-01-07
*
Dafny: filled in more cloning for the refinement transformations
Rustan Leino
2012-01-06
*
Dafny: fully qualify (with module names) names of types in the translation in...
Rustan Leino
2012-01-05
*
Dafny: beginning of the new refinement transformations
Rustan Leino
2012-01-05
*
Dafny: firmed up the module system
Rustan Leino
2012-01-05
*
Dafny: Start of new refinement features -- clean out old ones
Rustan Leino
2012-01-04
*
Dafny: compile let expressions efficiently (i.e., with an extra variable, not...
Rustan Leino
2012-01-04
*
Dafny: make /help also print the Boogie command-line options
Rustan Leino
2012-01-04
*
Dafny: don't allow ghost expressions in print statements
Rustan Leino
2012-01-03
*
Dafny: Fixed a bug in the pretty printer.
wuestholz
2011-12-26
*
Dafny: Extended the support for attributes on method/constructor calls.
wuestholz
2011-12-23
*
Dafny: Added support for attributes on method/constructor calls.
wuestholz
2011-12-21
*
Dafny: for a datatype with just one constructor, don't check (but do assume) ...
Rustan Leino
2011-12-19
*
Dafny: compile to .exe only if there is a Main method; otherwise, compile to ...
Rustan Leino
2011-12-19
*
Dafny: Added support for attributes on various specification constructs (asse...
wuestholz
2011-12-07
*
Dafny: fix bug in translation of (the splitting of) if-then-else expressions ...
Rustan Leino
2011-12-10
*
Dafny: corrected merge snafus
Rustan Leino
2011-12-07
*
Dafny: reran Coco on merged Dafny.atg
Rustan Leino
2011-12-07
*
Merge
Rustan Leino
2011-12-07
|
\
*
|
Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable well...
wuestholz
2011-12-07
*
|
Dafny: Made some minor changes to the grammar.
wuestholz
2011-12-06
|
*
Merge
Rustan Leino
2011-11-22
|
|
\
|
|
/
|
/
|
*
|
Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...
Rustan Leino
2011-11-22
|
*
Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...
Rustan Leino
2011-11-21
|
/
*
Dafny: fixed bad Code Contracts
Rustan Leino
2011-11-16
[next]