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
*
Fix issue 138. Allow parenthese with the nullary constructor in
qunyanm
2016-02-26
*
Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"
qunyanm
2016-02-02
*
Implement module export so we can export a subset of items defined in the
qunyanm
2016-01-29
*
Fix build and test failures, cleanup grammar.
Richard L. Ford
2016-01-27
*
Implement 'extern' declaration modifier.
Richard L. Ford
2016-01-27
*
Fix issue 94. Allow tuple-based assignment in statement contexts.
qunyanm
2015-11-14
*
Fix issue 101. Instead of swapping operands for Exp opcode in BinaryExpr,
qunyanm
2015-11-10
*
Introduced new datatype update syntax: D.(f := E)
leino
2015-10-23
*
Parsing and pretty printing of the new "existential guards" of the two kinds ...
leino
2015-10-03
*
Merge.
Clément Pit--Claudel
2015-08-19
|
\
*
|
Refactor the error reporting code
Clément Pit--Claudel
2015-08-18
|
*
Disallow user-defined attributes that begin with an underscore
leino
2015-08-11
|
/
*
Update the VS extension to use the error interface defined in 576eac2e17ff
Clément Pit--Claudel
2015-07-29
*
Merge
Clément Pit--Claudel
2015-07-28
|
\
|
*
Updated parser generation to work with latest update in boogiepartners. Note ...
Rustan Leino
2015-07-27
*
|
Clean up error reporting.
Clément Pit--Claudel
2015-07-27
|
/
*
Fix a bug with includes and /useBaseNameForFileName
Clément Pit--Claudel
2015-07-23
*
Fix: Unify column numbers in Dafny's errors
Clément Pit--Claudel
2015-07-23
*
IronDafny related changes:
Michael Lowell Roberts
2015-07-22
*
Merge
Rustan Leino
2015-07-16
|
\
|
*
Fixed bugs in the parsing of explicit type arguments.
Rustan Leino
2015-07-16
*
|
[IronDafny] implemented workaround for "import opened" bug(s).
Michael Lowell Roberts
2015-07-13
|
/
*
multiple changes...
Michael Lowell Roberts
2015-07-02
*
Add the ability to specify how much "fuel" a function should have,
Bryan Parno
2015-07-01
*
Add a compatibility layer over BigInteger.Parse
Clément Pit--Claudel
2015-06-07
*
Add an infinite set collection type.
qunyanm
2015-05-29
*
Fix issue #79. Allow tuple pattern matching with parenthesis only.
qunyanm
2015-05-15
*
Allow MatchExpr and MatchStmt to have nested patterns. Such as
qunyanm
2015-05-14
*
Added "inductive lemma" methods
leino
2015-05-07
*
Added inductive predicates
leino
2015-05-06
*
Eliminate redundant checks of newtype and opaque function well-formedness fro...
chrishaw
2015-04-02
*
Allow trigger annotations in more statements and expressions
chrishaw
2015-03-11
*
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
[next]