index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
/
Parser.cs
Commit message (
Expand
)
Author
Age
*
Added 'protected' keyword (syntax)
leino
2015-03-07
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
Fixed issue #59.
wuestholz
2015-03-03
*
Add imap display/update expressions
chrishaw
2015-02-27
*
Add imap type, which is like map but may have have infinite size
chrishaw
2015-02-26
*
Minor change to grammar to avoid missing token
wuestholz
2015-01-24
*
Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...
leino
2015-01-23
*
Added command-line switch /allowGlobals to simplify transition from language ...
leino
2015-01-07
*
Fixed resolution of method calls with explicit type parameters.
leino
2015-01-02
*
Language change: All functions and methods declared lexically outside any cla...
leino
2014-12-12
*
Fixed two crashes in resolver
leino
2014-12-10
*
Merge
leino
2014-12-09
|
\
*
|
Allow user-specified type parameters
leino
2014-12-09
|
*
added multiple trait inheritance.
Reza Ahmadi
2014-12-03
*
|
Fixed parser lookahead bug that had caused an infinite loop.
leino
2014-12-02
*
|
Snapshot, to be continued
leino
2014-12-02
|
/
*
Use arbitrary lookahead to determine if the next expression is a lambda expre...
leino
2014-11-13
*
Took a pass through the whole grammar to clean up allowSemi/allowLambda param...
leino
2014-11-11
*
Cleaned up a number of LL(1) conflicts in the grammar (I wish Coco/R supporte...
leino
2014-11-10
*
Resolved several more LL(1) warnings in the grammar
Rustan Leino
2014-11-06
*
Merge
leino
2014-11-06
|
\
*
|
Started fixing a number of LL(1) warnings
leino
2014-11-06
|
*
Now the parser parses "Type" rather than "IToken" for a trait
Reza Ahmadi
2014-11-05
|
/
*
Added initial support for dirty while statements.
chmaria
2014-11-01
*
Even with noCheating enabled, don't check included files or methods marked wi...
Bryan Parno
2014-10-27
*
Allow non-ghost axioms in order to model trusted external calls,
Bryan Parno
2014-10-27
*
Marked "free" as soon-to-be-deprecated
leino
2014-10-25
*
Made semi-colons are specification clauses optional. In a future version, th...
leino
2014-10-25
*
Allow underscores in numeric literals (and in field/destructor names that are...
leino
2014-10-23
*
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
*
Fixed parsing crash on malformed chaining with == and !!
leino
2014-10-09
*
Fixed crash after parse error
Rustan Leino
2014-09-11
*
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
*
Changed syntax of derived types to "newtype"
leino
2014-08-21
*
Merge
leino
2014-08-20
|
\
*
|
Start of derived types (aka "new types")
leino
2014-08-20
|
*
Merge
Rustan Leino
2014-08-19
|
|
\
|
|
/
|
/
|
|
*
Change behavior of 'decreases *', which can be applied to loops and methods. ...
Rustan Leino
2014-08-19
*
|
Handle underscores in lambda bound variable lists properly
Dan Rosén
2014-08-19
|
/
*
Merge
Dan Rosén
2014-08-11
|
\
*
|
Add higher-order-functions and some other goodies
Dan Rosén
2014-08-11
|
*
added trait feature:
Reza Ahmadi
2014-07-18
|
/
*
Renamed "arbitrary type" to "opaque type"
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
[next]