summaryrefslogtreecommitdiff
path: root/Chalice/tests/examples/reg_test_all.bat
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Update test script shortcuts to work in Powershell (which supplies an absolut...Gravatar Christian Klauser2012-03-27
* Chalice: New permission model that provides more abstraction and more flexibi...Gravatar stefanheule2011-07-01