index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Chalice
/
refinements
Commit message (
Expand
)
Author
Age
*
Chalice: white space delta in test file
rustanleino
2010-11-17
*
Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chalice
rustanleino
2010-11-06
*
Miscellaneous changes:
rustanleino
2010-10-22
*
Chalice:
rustanleino
2010-10-09
*
Chalice: fix a bug where output variables of a method were not decoupled.
kyessenov
2010-10-05
*
Chalice: incorporate another regression test
kyessenov
2010-09-03
*
Chalice: added Duplicates refinement from Verification Corner video
kyessenov
2010-09-02
*
Chalice: working out mask transfers between concrete and abstract heaps -- ne...
kyessenov
2010-08-24
*
Chalice:
kyessenov
2010-08-24
*
Chalice: exhale spec statement post condition in refinement block translation...
kyessenov
2010-08-23
*
Chalice: copy concrete values for every permission in coupling invariants of ...
kyessenov
2010-08-23
*
Chalice:
kyessenov
2010-08-23
*
Chalice: spec stmt was unimplementable; changed it and refined; Z3 produces e...
kyessenov
2010-08-22
*
Chalice: start of a DSW refinement
kyessenov
2010-08-22
*
Chalice: refining lists doesn't quite work yet...
kyessenov
2010-08-22
*
Chalice: limited functions are still problematic (see Calculator.chalice)
kyessenov
2010-08-22
*
Chalice:
kyessenov
2010-08-22
*
Chalice:
kyessenov
2010-08-21
*
server-side rename
kyessenov
2010-08-21
*
Chalice: more regression tests; cosmetic changes to code
kyessenov
2010-08-19
*
Chalice: added finite differencing refinement
kyessenov
2010-08-19
*
Chalice:
kyessenov
2010-08-19
*
Chalice:
kyessenov
2010-08-19