index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
*
Add imap type, which is like map but may have have infinite size
chrishaw
2015-02-26
*
Generate unique IDs hierarchically, to reduce changes to IDs when the program...
leino
2015-01-28
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
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
*
Updated test output after change in Boogie.
wuestholz
2015-01-24
*
Make sure to check that subrange types are not used as type parameters
leino
2015-01-23
*
Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...
leino
2015-01-23
*
When ambiguous references all resolve to the same declaration, don't complain
leino
2015-01-09
*
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
*
|
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
*
|
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
|
*
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
*
|
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
*
Use arbitrary lookahead to determine if the next expression is a lambda expre...
leino
2014-11-13
*
Merge
leino
2014-11-06
|
\
*
|
Started fixing a number of LL(1) warnings
leino
2014-11-06
|
*
Extracted a separate class to generate fresh variable names.
wuestholz
2014-11-06
|
*
Updated test.
chmaria
2014-11-06
|
*
Added computation of free variables in dirty while statements.
chmaria
2014-11-06
|
/
*
Merge
Rustan Leino
2014-11-05
|
\
*
|
Temporarily disabled one of the methods in NumberRepresentations.dfy -- this ...
leino
2014-11-05
*
|
Merge
leino
2014-11-04
|
\
\
*
\
\
Merge
leino
2014-11-04
|
\
\
\
*
|
|
|
Refactored SnapshotableTrees a bit and made it verify in a reasonable amount ...
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
|
|
*
|
Fixed test output after refactoring in Boogie.
wuestholz
2014-11-03
|
|
*
|
Fixed test output after refactoring in Boogie.
wuestholz
2014-11-02
|
*
|
|
Merge
leino
2014-11-01
|
|
\
|
|
|
|
*
|
Minor fix in test dafny2/SnapshotableTrees.dfy.
chmaria
2014-11-01
[next]