index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Assume type properties of values that are created by a havoc assignment. Such...
Rustan Leino
2015-01-27
*
Fixed an encoding bug for newtypes (this fixes Issue #50)
Rustan Leino
2015-01-27
*
Minor change to a test case
wuestholz
2015-01-27
*
DafnyExtension: Made it use the more advanced on-demand re-verification by de...
wuestholz
2015-01-26
*
Updated test output after change in Boogie.
wuestholz
2015-01-24
*
Minor change to grammar to avoid missing token
wuestholz
2015-01-24
*
Make sure to check that subrange types are not used as type parameters
leino
2015-01-23
*
Merge
leino
2015-01-23
|
\
*
|
Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...
leino
2015-01-23
|
*
Merge
Bryan Parno
2015-01-13
|
|
\
|
|
*
Minor change due to a change in Boogie
wuestholz
2015-01-13
|
|
/
|
/
|
*
|
When ambiguous references all resolve to the same declaration, don't complain
leino
2015-01-09
|
*
Check the AllowGlobals flag in one additional location to avoid a contract fa...
Bryan Parno
2015-01-08
|
/
*
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
*
Added lemmas that make verification go through faster and more reliably
leino
2015-01-05
*
Merge
leino
2015-01-03
|
\
*
|
Fixed resolution of method calls with explicit type parameters.
leino
2015-01-02
|
*
Updated test output after change in Boogie.
wuestholz
2014-12-28
|
*
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
|
*
Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_...
chrishaw
2014-12-11
|
/
*
Fixed two crashes in resolver
leino
2014-12-10
*
Merge
leino
2014-12-09
|
\
|
*
Optimization to nativeType: have EuclideanDivision_sbyte and EuclideanDivisio...
chrishaw
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
|
*
minor change on a test.
Reza Ahmadi
2014-12-03
|
*
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
|
*
Updated test output after change in Boogie.
wuestholz
2014-11-25
|
/
*
Merge
leino
2014-11-19
|
\
*
|
Fixed bug where resolution was overly restrictive with ghost variables appear...
leino
2014-11-19
|
*
Updated test output after change in Boogie.
wuestholz
2014-11-16
|
/
*
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
|
/
[prev]
[next]