diff options
author | rustanleino <unknown> | 2009-08-16 02:01:51 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2009-08-16 02:01:51 +0000 |
commit | a4c54c653955471759da6adf28f8d6bac84bec1f (patch) | |
tree | c66b37ef0f8854fe581a078d5e4ca4aa1071bf59 /Source/DafnyDriver | |
parent | 3bd44c8d3a6780bbeea6bfedfe09732b83215271 (diff) |
* Implemented channels
- channel declarations
- send and receive statements
- bounds clause for new, to accommodate channels
- Added ProdConsChannel.chalice test case
- Resolve and Translate (but no Compile yet)
- Added Credits to global state in encoding (this caused changes to lots of source lines)
* Simplified meaning of maxlock==E
* Various parser improvements
* Added alternative syntax for eval statements
* Some renamings in error messages (e.g., install -> reorder)
* Added preliminary parsing for condition variables and their wait and signal operations
* Added new keywords to Chalice emacs mode
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions