Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added information how to customize chalice.bat to find Boogie.exe | 2011-10-30 | |
* | Chalie: Fix Visual Studio integration and add note about JVM stack size probl... | 2011-08-04 | |
* | Chalice: Chalice is now built using sbt (simple built tool). | 2011-08-02 | |
* | Chalice: New permission model that provides more abstraction and more flexibi... | 2011-07-01 |