index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Added command-line switch /allowGlobals to simplify transition from language ...
leino
2015-01-07
*
Bumped the version number to 1.9.3.20107
leino
2015-01-07
*
Fixed bug in opaque functions with type parameters
leino
2015-01-07
*
Merge
leino
2015-01-03
|
\
*
|
Fixed resolution of method calls with explicit type parameters.
leino
2015-01-02
|
*
Minor change
wuestholz
2014-12-26
|
*
When in DafnyCC mode, ignore termination checking
Bryan Parno
2014-12-16
*
|
Fixed bug in /compile:3, when Main is explicitly given as a static method
leino
2014-12-12
*
|
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
|
\
|
*
Add nativeType attribute for newtype declarations. Change Compiler.cs to use...
chrishaw
2014-12-09
*
|
Allow user-specified type parameters
leino
2014-12-09
*
|
Finished up refactoring of the new name segment parsing, AST, and resolution.
leino
2014-12-07
|
*
fixed a minor bug: null checking.
Reza Ahmadi
2014-12-03
|
*
added multiple trait inheritance.
Reza Ahmadi
2014-12-03
*
|
Fixed some issues with assignments in refinements, both soundness bugs in pre...
leino
2014-12-02
*
|
Fixed parser lookahead bug that had caused an infinite loop.
leino
2014-12-02
*
|
Snapshot, to be continued
leino
2014-12-02
|
*
removing one unnessessary check in the cloner
Reza Ahmadi
2014-12-02
|
*
- fixed a bug in merging fields that come from a parent trait
Reza Ahmadi
2014-12-02
|
/
*
Fixed bug where resolution was overly restrictive with ghost variables appear...
leino
2014-11-19
*
Bug fixes in the compilation of forall statements.
leino
2014-11-13
*
Merge
leino
2014-11-13
|
\
*
|
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
|
*
Updated version to 1.9.2.11107 (which is going out on rise4fun)
Rustan Leino
2014-11-07
|
/
*
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
|
*
Extracted a separate class to generate fresh variable names.
wuestholz
2014-11-06
|
*
Added computation of free variables in dirty while statements.
chmaria
2014-11-06
|
/
*
Merge
Rustan Leino
2014-11-05
|
\
*
\
Merge
leino
2014-11-05
|
\
\
|
*
|
Refactored the generation of unique IDs for temporary variable names.
wuestholz
2014-11-05
|
*
|
Did some refactoring.
wuestholz
2014-11-05
*
|
|
Merge
leino
2014-11-04
|
\
|
|
|
*
|
Made dirty statements ghost.
chmaria
2014-11-04
|
|
*
Merge
Rustan Leino
2014-11-03
|
|
|
\
|
|
|
/
|
|
/
|
|
|
*
Updated a test case for new syntax and convensions
Rustan Leino
2014-11-03
*
|
|
Merge
leino
2014-11-01
|
\
|
|
*
|
|
Various DafnyPrelude.bpl cleanup.
leino
2014-11-01
|
*
|
Added initial support for dirty while statements.
chmaria
2014-11-01
|
/
/
*
|
Allow assignment LHSs in a forall statement to be the same, so long as the th...
leino
2014-10-30
*
|
Resolve attributes of a forall statement only after bound variables have been...
leino
2014-10-29
|
/
*
Fix bug in translation of 'new' for arrays
Rustan Leino
2014-10-29
*
Merge
leino
2014-10-28
|
\
*
|
Fixed type-inference bug that could create cycles in proxy type graph
leino
2014-10-28
[next]