index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Chalice
/
src
/
ChaliceToCSharp.scala
Commit message (
Expand
)
Author
Age
*
Chalice: Chalice is now built using sbt (simple built tool).
stefanheule
2011-08-02
*
Chalice: added string type and string literals (but no other string operations)
Rustan Leino
2011-07-26
*
Chalice: New permission model that provides more abstraction and more flexibi...
stefanheule
2011-07-01
*
Chalice:
kyessenov
2010-08-19
*
Chalice:
kyessenov
2010-08-19
*
Chalice: put classes and objects into package "chalice"
kyessenov
2010-08-11
*
Chalice: added uninterpreted functions; attempting to re-verify Celebrity in ...
kyessenov
2010-08-10
*
Chalice:
kyessenov
2010-08-02
*
Chalice:
kyessenov
2010-07-30
*
Chalice: added surface syntax for acc(s[*].*) and acc(s[*].f); extended AST, ...
kyessenov
2010-07-20
*
- the "-gen" option works only if the program verifies
jansmans
2009-10-16
*
Implicitly declare as local variables undeclared variables occurring as LHS's...
rustanleino
2009-10-16
*
- made the output of the Chalice-to-C# translator slightly nicer
jansmans
2009-08-17
*
- Chalice-to-C# compiler now supports channels
jansmans
2009-08-17
*
* Implemented channels
rustanleino
2009-08-16
*
Parse channels and condition variables.
rustanleino
2009-08-05
*
Initial set of files.
mikebarnett
2009-07-15