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 /Test/test2 | |
| 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 'Test/test2')
0 files changed, 0 insertions, 0 deletions