diff options
| author |  rustanleino <unknown> | 2010-10-09 07:00:58 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-09 07:00:58 +0000 |
| commit | e81b4fd1d8b384b7798b3d85048672d151dc86e2 (patch) | |
| tree | aa39fe70300e09a024dfce4c3a19eb643b463266 /Util | |
| parent | 47d140d72be67d5bcca50c68faabeb096a8e20d4 (diff) | |
Chalice:
* extended the cheap type inference to also consider "in" expressions and quantifiers
* added some refinement keywords to the Emacs mode for Chalice
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/Emacs/chalice-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el index 34a95a87..0798753e 100644 --- a/Util/Emacs/chalice-mode.el +++ b/Util/Emacs/chalice-mode.el @@ -33,6 +33,7 @@ "class" "ghost" "var" "const" "external" "function" "method"
"predicate" "returns" "requires" "ensures" "lockchange"
"invariant" "channel" "condition" "where"
+ "refines" "replaces" "by" "transforms"
)) . font-lock-builtin-face)
`(,(chalice-regexp-opt '(
"above" "acc" "acquire" "and" "assert" "assigned" "assume"
|