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