summaryrefslogtreecommitdiff
path: root/Chalice/test.bat
Commit message (Expand)AuthorAge
* VS2010 integration: fixed typo in Boogie mode (install for .bpl files, not .d...Gravatar rustanleino2010-07-19
* Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'....Gravatar rustanleino2010-07-19
* Chalice: Re-designed lockchange on methods and loops. The lockchange clause i...Gravatar mueller2010-07-18
* Implicitly declare as local variables undeclared variables occurring as LHS's...Gravatar rustanleino2009-10-16
* * Implemented channelsGravatar rustanleino2009-08-16
* Parse channels and condition variables.Gravatar rustanleino2009-08-05
* Initial set of files.Gravatar mikebarnett2009-07-15