index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
|
Jennisys: added /break flag as a convenient way to break into the debugger
Rustan Leino
2011-09-21
|
*
Dafny: Fixed an assertion violation in the "Checked" configuration.
wuestholz
2011-09-20
|
*
Dafny: Added support for attributes on methods and constructors.
wuestholz
2011-09-16
*
|
Dafny: added Snapshotable Trees example
Rustan Leino
2011-09-11
*
|
Dafny: generate a compiler error upon encountering an assume statement
Rustan Leino
2011-09-11
*
|
Dafny: fixed compilation bug (datatype equality had used pointer equality, no...
Rustan Leino
2011-09-11
*
|
Dafny: fixed compilation error where type of target "null" was undetermined
Rustan Leino
2011-09-11
*
|
Dafny: added Flatten example to test suite
Rustan Leino
2011-09-11
|
/
*
Merge
Rustan Leino
2011-09-08
|
\
*
|
Dafny: fixed parsing bug with "!in"
Rustan Leino
2011-09-08
|
*
Jennisys: added synthesized code for examples
Aleksandar Milicevic
2011-08-26
|
*
Jennisys: SetNode.Find example
Aleksandar Milicevic
2011-08-23
|
*
Merge
Aleksandar Milicevic
2011-08-23
|
|
\
|
|
/
|
/
|
|
*
Jennisys: changed the Combiner method to produce more
Aleksandar Milicevic
2011-08-23
|
*
Jennisys: changed the Combiner method to produce more
Aleksandar Milicevic
2011-08-22
*
|
Dafny: updated Answer file from recent test additions
Rustan Leino
2011-08-22
*
|
Merge
Rustan Leino
2011-08-22
|
\
|
|
*
Jennisys:
Aleksandar Milicevic
2011-08-22
*
|
Merge
Rustan Leino
2011-08-22
|
\
|
*
|
Dafny: updated test files (will soon update Answer files as well)
Rustan Leino
2011-08-22
|
*
jennisys: got the List.Get example to work. List.Tail also works. Others sh...
Aleksandar Milicevic
2011-08-21
|
*
Merge
Aleksandar Milicevic
2011-08-20
|
|
\
|
|
/
|
/
|
|
*
Jennisys: added some more infrastructure for synthesizing read only methods
Aleksandar Milicevic
2011-08-20
*
|
Merge
Rustan Leino
2011-08-18
|
\
|
*
|
Dafny: fixed bug in looking at the arguments of the :induction attribute
Rustan Leino
2011-08-18
|
*
Jennisys:
Aleksandar Milicevic
2011-08-16
|
*
Jennisys:
Aleksandar Milicevic
2011-08-15
|
*
Jennisys:
Aleksandar Milicevic
2011-08-14
|
*
Jennisys: added some more infrastructure for synthesizing read only methods, so
Aleksandar Milicevic
2011-08-13
|
*
Merge
Aleksandar Milicevic
2011-08-12
|
|
\
|
*
|
Jennisys:
Aleksandar Milicevic
2011-08-12
|
|
*
Dafny: Fixed a bug in the printer that led to a stack overflow.
wuestholz
2011-08-11
|
|
/
|
*
Jennisys: started to work on synthesizing some methods. So far, only
Aleksandar Milicevic
2011-08-10
|
*
Merge
Aleksandar Milicevic
2011-08-05
|
|
\
|
|
/
|
/
|
|
*
Jennisys:
Aleksandar Milicevic
2011-08-05
*
|
Merge
Rustan Leino
2011-08-04
|
\
|
*
|
Dafny: added reverse*reverse=id example to test suite
Rustan Leino
2011-08-04
*
|
Dafny: for VS mode, let lexer allow "?"
Rustan Leino
2011-08-04
|
*
Jennisys:
Aleksandar Milicevic
2011-08-03
*
|
Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)
Rustan Leino
2011-08-03
|
/
*
Jennisys: implemented a unification algorithm that tries to find an existing
Aleksandar Milicevic
2011-08-02
*
Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized mo...
Aleksandar Milicevic
2011-07-29
*
Jennisys:
Aleksandar Milicevic
2011-07-29
*
Jennisys:
Aleksandar Milicevic
2011-07-27
*
Jennisys:
Unknown
2011-07-27
*
Merge
Rustan Leino
2011-07-26
|
\
|
*
Jennisys:
Unknown
2011-07-26
|
*
Jennisys:
Unknown
2011-07-26
*
|
Dafny: re-ran parser generator to include semicolon-less body-less functions/...
Rustan Leino
2011-07-26
|
/
*
Merge
Rustan Leino
2011-07-26
|
\
[prev]
[next]