index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
snapshots
Commit message (
Expand
)
Author
Age
*
Fix issue 136. Less aggressive Lit wrap for assert/assume.
qunyanm
2016-02-26
*
Merge
Clément Pit--Claudel
2015-09-02
|
\
*
|
Suppress many warnings in the test suite.
Clément Pit--Claudel
2015-08-28
|
*
Added tests for Boogie's new /verifySnapshots:3, which will be used by the Da...
Rustan Leino
2015-08-28
|
/
*
Add change missing from bd47e3cdb79c
Clément Pit--Claudel
2015-08-23
*
Replace b || !b by true in Snapshots5.v1.dfy
Clément Pit--Claudel
2015-08-23
*
Add quotes in snapshot tests.
Clément Pit--Claudel
2015-07-30
*
Fix: Unify column numbers in Dafny's errors
Clément Pit--Claudel
2015-07-23
*
Split snapshot tests into separate files and add support for %S in runTests.py
Clément Pit--Claudel
2015-07-20
*
Updated test output after change in Boogie.
wuestholz
2015-05-17
*
This changeset changes the default visibility of a function/predicate body ou...
leino
2015-03-09
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Updated test output after change in Boogie.
wuestholz
2015-01-24
*
Merge
leino
2015-01-03
|
\
|
*
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
|
\
*
|
Snapshot, to be continued
leino
2014-12-02
|
*
Updated test output after change in Boogie.
wuestholz
2014-11-25
|
/
*
Updated test output after change in Boogie.
wuestholz
2014-11-16
*
Fixed test output after refactoring in Boogie.
wuestholz
2014-11-03
*
Fixed test output after refactoring in Boogie.
wuestholz
2014-11-02
*
Minor change
wuestholz
2014-10-19
*
Minor change
wuestholz
2014-10-18
*
Made it use the '/traceCaching' flag for the 'snapshots' tests.
wuestholz
2014-10-18
*
Re-included lost calls to CheckEqualityTypes_Type
leino
2014-08-13
*
Added more tests.
wuestholz
2014-07-15
*
Added a test.
wuestholz
2014-07-13
*
Added more tests for the more advanced verification result caching.
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Changed "dummy" checksums to "stable" and added more tests for the verificati...
wuestholz
2014-07-03
*
Added support for verifying Dafny program snapshots from the command-line.
wuestholz
2014-07-01