Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run Boogie witho... | 2012-03-26 | |
* | Chalice: Fix chalice.bat to work with paths that contain spaces. | 2012-02-27 | |
* | Chalice: Fix chalice.bat. | 2012-02-27 | |
* | Adapted batch file to use larger JVM stack size. | 2011-09-19 | |
* | Chalice: Modified chalice.bat s.t. it checks if all Java classpath elements e... | 2011-09-19 | |
* | Chalice: Modified chalice.bat s.t. it uses the Scala libraries downloaded but... | 2011-09-16 | |
* | Chalice: Improve command line interface. Unknown options are no longer silent... | 2011-08-03 | |
* | Chalice: Chalice is now built using sbt (simple built tool). | 2011-08-02 | |
* | Chalice: Fix batch file problem and update reference output. | 2011-07-19 | |
* | Chalice: New permission model that provides more abstraction and more flexibi... | 2011-07-01 |