summaryrefslogtreecommitdiff
path: root/Chalice/src/ChaliceToCSharp.scala
Commit message (Expand)AuthorAge
* Chalice: Chalice is now built using sbt (simple built tool).Gravatar stefanheule2011-08-02
* Chalice: added string type and string literals (but no other string operations)Gravatar Rustan Leino2011-07-26
* Chalice: New permission model that provides more abstraction and more flexibi...Gravatar stefanheule2011-07-01
* Chalice:Gravatar kyessenov2010-08-19
* Chalice:Gravatar kyessenov2010-08-19
* Chalice: put classes and objects into package "chalice"Gravatar kyessenov2010-08-11
* Chalice: added uninterpreted functions; attempting to re-verify Celebrity in ...Gravatar kyessenov2010-08-10
* Chalice:Gravatar kyessenov2010-08-02
* Chalice:Gravatar kyessenov2010-07-30
* Chalice: added surface syntax for acc(s[*].*) and acc(s[*].f); extended AST, ...Gravatar kyessenov2010-07-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
* - 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
* Parse channels and condition variables.Gravatar rustanleino2009-08-05
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 20:20:59 +0000