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
/
Resolver.scala
Commit message (
Expand
)
Author
Age
*
Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many warn...
mschwerhoff
2010-10-21
*
Chalice: fix a bug where output variables of a method were not decoupled.
kyessenov
2010-10-05
*
Chalice: fix in refinement loop target resolution; added "spec" as a keyword ...
kyessenov
2010-09-02
*
Chalice: limited functions are still problematic (see Calculator.chalice)
kyessenov
2010-08-22
*
Chalice:
kyessenov
2010-08-22
*
Chalice:
kyessenov
2010-08-21
*
Chalice: added syntax, printer and resolver for coupling invariants
kyessenov
2010-08-20
*
Chalice:
kyessenov
2010-08-19
*
Chalice:
kyessenov
2010-08-19
*
Chalice:
kyessenov
2010-08-18
*
Chalice:
kyessenov
2010-08-18
*
Chalice: added surface syntax for transform, AST matching algorithm
kyessenov
2010-08-17
*
Chalice: refactored AST code for class hierarchy (no need for caches since Sc...
kyessenov
2010-08-17
*
Chalice: add pre-conditions to specification statements; semantically spec st...
kyessenov
2010-08-13
*
Chalice: add specification statement ( ghost? (const|var) (x (:T)?)+ [P(x)] )
kyessenov
2010-08-13
*
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: added Tarjan's SCC algorithm for computing function call graph and r...
kyessenov
2010-08-03
*
Chalice:
kyessenov
2010-08-02
*
Chalice:
kyessenov
2010-07-30
*
Chalice: pretty printer now prints element type for sequences; fixed a bug in...
kyessenov
2010-07-27
*
Chalice: introduced proper AST nodes for permission expressions and permissio...
kyessenov
2010-07-21
*
Chalice: fixed typos in strings; trying out committing with TFS
kyessenov
2010-07-21
*
Chalice: added surface syntax for acc(s[*].*) and acc(s[*].f); extended AST, ...
kyessenov
2010-07-20
*
Chalice: adding support for sequence local variables; removed ClassType from ...
kyessenov
2010-07-20
*
Chalice: added sequence containment surface syntax ("in" comparison operator)...
kyessenov
2010-07-19
*
Chalice: Removed the restriction that "holds" must occur only in positive pos...
mueller
2010-07-16
*
Chalice: No longer use Mask for "held" field; instead, only use the value of...
rustanleino
2010-07-14
*
Chalice:
rustanleino
2010-06-25
*
Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...
rustanleino
2010-01-15
*
Implicitly declare as local variables undeclared variables occurring as LHS's...
rustanleino
2009-10-16
*
- where clauses are now properly type-checked
jansmans
2009-10-02
*
* Implemented channels
rustanleino
2009-08-16
*
Parse channels and condition variables.
rustanleino
2009-08-05
*
Initial set of files.
mikebarnett
2009-07-15