index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
*
Dafny: removed support for assigning to an array-range (that is, an assignmen...
Rustan Leino
2011-10-26
*
Merge
Rustan Leino
2011-10-26
|
\
*
|
Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while performanc...
Rustan Leino
2011-10-26
|
*
Added batch script to run tests for datatypes tests.
Mike Barnett
2011-10-26
*
|
Dafny: implemented compilation of parallel statements
Rustan Leino
2011-10-25
*
|
Dafny: check subrange restriction in parallel Assign statement
Rustan Leino
2011-10-24
|
/
*
Dafny: continued translation of "parallel" statements (Assign and Proof forms...
Rustan Leino
2011-10-24
*
Dafny: added translation of Assign case of the parallel statement
Rustan Leino
2011-10-22
*
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
*
Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)
Unknown
2011-10-19
*
added houdini to regression
qadeer
2011-10-17
*
Dafny: added COST Verification Competition challenge programs to test suite
Rustan Leino
2011-10-07
*
added membership tests
qadeer
2011-10-05
*
implementing datatypes
qadeer
2011-10-05
*
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
|
*
Merge
qadeer
2011-09-30
|
|
\
|
*
|
bug fix in houdini
qadeer
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: Added TreeBarrier as a test case
peter mueller peter.mueller@inf.ethz.ch
2011-09-29
*
Merge
Rustan Leino
2011-09-28
|
\
|
*
Updated the ANSWER file for 'test15'.
wuestholz
2011-09-27
*
|
Merge
Rustan Leino
2011-09-17
|
\
\
|
|
*
Dafny: Added support for attributes on methods and constructors.
wuestholz
2011-09-16
|
|
/
|
*
Added "free call" statements that don't check the precondition in the caller.
wuestholz
2011-09-14
*
|
Dafny: added Snapshotable Trees example
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
|
*
Support for irreducible graphs (with extractLoops)
Unknown
2011-08-24
|
/
*
Dafny: updated Answer file from recent test additions
Rustan Leino
2011-08-22
*
Dafny: updated test files (will soon update Answer files as well)
Rustan Leino
2011-08-22
*
Merge
Rustan Leino
2011-08-18
|
\
*
|
Dafny: fixed bug in looking at the arguments of the :induction attribute
Rustan Leino
2011-08-18
|
*
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
|
*
further changes for making houdini work
qadeer
2011-08-04
|
/
*
Dafny: added reverse*reverse=id example to test suite
Rustan Leino
2011-08-04
*
Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)
Rustan Leino
2011-08-03
*
Dafny: re-ran parser generator to include semicolon-less body-less functions/...
Rustan Leino
2011-07-26
*
Merge
Rustan Leino
2011-07-21
|
\
*
|
Dafny: call previous lemma instead of restating it
Rustan Leino
2011-07-21
|
*
Reverting accidental modification in changeset 58325a6e6ed3.
Jason Koenig
2011-07-15
|
*
Fixed regression test failures due to removal of bodiless methods and functions.
Jason Koenig
2011-07-15
|
*
Fixed failing regression tests.
Jason Koenig
2011-07-14
|
*
Merge
Jason Koenig
2011-07-14
|
|
\
|
|
/
|
/
|
|
*
Added multiset from sequence axioms, removed array range RHSs. Fixed issue wi...
Jason Koenig
2011-07-13
[next]