index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
/
DafnyAst.cs
Commit message (
Expand
)
Author
Age
*
Snapshot, to be continued
leino
2014-12-02
*
Now the parser parses "Type" rather than "IToken" for a trait
Reza Ahmadi
2014-11-05
*
Extracted a separate class to generate fresh variable names.
wuestholz
2014-11-06
*
Refactored the generation of unique IDs for temporary variable names.
wuestholz
2014-11-05
*
Added initial support for dirty while statements.
chmaria
2014-11-01
*
Fixed a bug in the Substituter for datatype update expressions.
leino
2014-10-28
*
Add a DafnyCC option that disables some of Dafny's cleverness to better match...
Bryan Parno
2014-10-27
*
Fix autoreq handling of quantifiers
Bryan Parno
2014-10-27
*
Added an attribute :timeLimitMultiplier for setting relative time outs.
Bryan Parno
2014-10-27
*
When guessing decreases clauses for loops, convert numeric values to their ul...
leino
2014-10-21
*
Fixed crash in inferred descreases clauses involving newtypes.
leino
2014-10-21
*
Comparisons and well-founded order of char
leino
2014-10-21
*
Add char literals.
leino
2014-10-20
*
Added types "char" and "string" (the latter being a synonym for "seq<char>").
leino
2014-10-20
*
Print arrow types with parentheses around the domain type when the domain con...
leino
2014-10-09
*
Stricter rules about that types need to be completely resolved.
leino
2014-10-08
*
Allow any integer-based type, not just 'int', in the following places:
leino
2014-10-06
*
Print system module (in a comment) with /rprint.
leino
2014-09-09
*
Disallow parentheses-less declarations of predicates and co-predicates, along...
leino
2014-08-27
*
Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are n...
leino
2014-08-27
*
Refactoring: renamed DerivedTypeDecl to NewtypeDecl
leino
2014-08-26
*
Changed syntax of newtype
leino
2014-08-26
*
Cycle detection among newtypes. Start of well-formedness check for newtypes.
leino
2014-08-24
*
Type check and pretty print newtype constraints
leino
2014-08-22
*
Changed syntax of derived types to "newtype"
leino
2014-08-21
*
Support for non-constrained derived types ("new types").
leino
2014-08-21
*
Merge
leino
2014-08-20
|
\
*
|
Start of derived types (aka "new types")
leino
2014-08-20
|
*
Change behavior of 'decreases *', which can be applied to loops and methods. ...
Rustan Leino
2014-08-19
|
/
*
Fix type inference bug in data rank comparison when one side can be a TypeVar
Dan Rosén
2014-08-19
*
Fix type equality for UserDefinedTypes
Dan Rosén
2014-08-15
*
Refactor: Change ApplyExpr's Receiver to Function
Dan Rosén
2014-08-14
*
Merge
leino
2014-08-13
|
\
*
|
Check for proper use of equality-supporting types also in local variables and...
leino
2014-08-13
|
*
Addressed CodeContract complaint about purity
Rustan Leino
2014-08-12
|
*
Merge
Dan Rosén
2014-08-11
|
|
\
|
|
/
|
/
|
|
*
Add higher-order-functions and some other goodies
Dan Rosén
2014-08-11
*
|
Merge
leino
2014-08-02
|
\
\
*
|
|
Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...
leino
2014-08-02
|
|
/
|
/
|
|
*
added trait feature:
Reza Ahmadi
2014-07-18
|
/
*
Renamed "arbitrary type" to "opaque type"
Rustan Leino
2014-07-15
*
Allow an arbitrary-type to take type parameters
Rustan Leino
2014-07-15
*
Support for type synonyms in refinements
Rustan Leino
2014-07-14
*
Added type synonyms. (No support yet for these in refinements.)
Rustan Leino
2014-07-11
*
Make reveal axioms from opaque functions quantify over layers
Dan Rosén
2014-07-10
*
Merge
Rustan Leino
2014-07-08
|
\
*
|
Implemented compilation of the int<->real conversions, and changed the resolu...
Rustan Leino
2014-07-08
|
*
Merge
Dan Rosén
2014-07-07
|
|
\
|
*
|
New logical encoding of types with Is and IsAlloc
Dan Rosén
2014-07-07
|
|
*
Allow array-type parameters to be filled in automatically.
leino
2014-07-02
|
|
/
|
/
|
[next]