summaryrefslogtreecommitdiff
path: root/Chalice/tests/permission-model/locks.chalice
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Chalice: New permission model that provides more abstraction and more flexibi...Gravatar stefanheule2011-07-01