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 /Source/VCExpr/VCExprAST.cs | |
| 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 'Source/VCExpr/VCExprAST.cs')
0 files changed, 0 insertions, 0 deletions