index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Dafny: changed triggers (which are never really used, anyhow) from having a s...
Rustan Leino
2011-10-21
*
Dafny: fixed performance-buggy translation of exists, and also added some oth...
Rustan Leino
2011-10-19
*
Jennisys: changed the fixpoint solver to pick only the true clause in a disju...
Unknown
2011-10-10
*
Jennisys: implemented minimization of inferred guards
Unknown
2011-10-10
*
Jennisys: added some more simple methods in Simple.jen, implemented a couple of
Unknown
2011-10-08
*
Merge
Aleksandar Milicevic
2011-10-07
|
\
|
*
Dafny: added COST Verification Competition challenge programs to test suite
Rustan Leino
2011-10-07
*
|
Merge
Aleksandar Milicevic
2011-10-07
|
\
|
*
|
Jennisys: Implemented some support for mutator methods by keeping track of th...
Aleksandar Milicevic
2011-10-07
|
*
Merge
Rustan Leino
2011-09-30
|
|
\
|
*
|
Dafny: Updated snapshotable tree to remove IsReadonly precondition for Create...
Rustan Leino
2011-09-30
|
*
|
Dafny: fixed bug in translator when LHS of a call was an array element or a nat
Rustan Leino
2011-09-30
|
|
*
Dafny: Fixed the 'Answer' file for test 'dafny2'.
wuestholz
2011-09-30
|
*
|
Dafny: beautification in one test case, and fixed an Answer file
Rustan Leino
2011-09-29
|
*
|
Dafny: improved a resolution error message, and fixed a crash in the resolver
Rustan Leino
2011-09-29
|
|
/
|
*
Dafny: Added TreeBarrier as a test case
peter mueller peter.mueller@inf.ethz.ch
2011-09-29
|
/
*
- updated the examples to use the new keywords (interface/datamodel)
Aleksandar Milicevic
2011-09-29
*
Merge
Rustan Leino
2011-09-28
|
\
*
|
Jennisys: change of keywords, now: interface/datamodel/code
Rustan Leino
2011-09-28
|
*
Dafny: Added some assertions.
wuestholz
2011-09-23
|
*
Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...
wuestholz
2011-09-23
*
|
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
[next]