summaryrefslogtreecommitdiff
path: root/Chalice/tests/permission-model/permarith_parser.output.txt
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Chalice: Completely switch to new testing scripts (more flexible and fine-gra...Gravatar stefanheule2011-07-05
* Chalice: New permission model that provides more abstraction and more flexibi...Gravatar stefanheule2011-07-01