summaryrefslogtreecommitdiff
path: root/Chalice
Commit message (Expand)AuthorAge
* Chalice:Gravatar rustanleino2010-06-25
* Chalice: Applied patch #6192Gravatar mueller2010-06-25
* Chalice: fixed bug in the exhale of permissions (to handle negative epsilons)Gravatar mueller2010-06-09
* Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...Gravatar rustanleino2010-01-15
* Chalice: updated Prelude to match new Boogie parsing of function parameters; ...Gravatar rustanleino2010-01-06
* Applied patch 4316, which fixes an unsoundness in the axiomatization of seque...Gravatar rustanleino2009-11-05
* - Sieve.chalice verifies + executes fasterGravatar jansmans2009-10-20
* - the "-gen" option works only if the program verifiesGravatar jansmans2009-10-16
* Implicitly declare as local variables undeclared variables occurring as LHS's...Gravatar rustanleino2009-10-16
* Sieve of Eratosthenes, written in Chalice.Gravatar rustanleino2009-10-15
* - fixed a positioning bug in Parser.scalaGravatar jansmans2009-10-07
* - extended to example to use acknowledgements (but uses sending debit)Gravatar jansmans2009-10-07
* - verified a program inpsired by "Copyless Message Passing" in ChaliceGravatar jansmans2009-10-07
* - where clauses are now properly type-checkedGravatar jansmans2009-10-02
* Implemented -noDeadlockChecks mode. With this mode, it is possible to give s...Gravatar rustanleino2009-10-01
* - made the output of the Chalice-to-C# translator slightly nicerGravatar jansmans2009-08-17
* - Chalice-to-C# compiler now supports channelsGravatar jansmans2009-08-17
* * Implemented channelsGravatar rustanleino2009-08-16
* Made Makefile DOS friendly.Gravatar rustanleino2009-08-06
* Parse channels and condition variables.Gravatar rustanleino2009-08-05
* Initial set of files.Gravatar mikebarnett2009-07-15