| | 1 | 1. bugs to fix for CIVL: |
| | 2 | - report file not found nicer |
| | 3 | - report concrete # procs in message passing required nicer |
| | 4 | - check args to int div/mod nonnegative |
| | 5 | - check out other uses of "bundle" |
| | 6 | |
| | 7 | 2. SARL: do what Green does: |
| | 8 | - slice |
| | 9 | - persistent storage of cache |
| | 10 | - renaming the variables |
| | 11 | |
| | 12 | 3. Make it easy to specify a dependence relation with a library. Use this in POR. Example: send and recv are independent (usually). |
| | 13 | |
| | 14 | 4. Add scope parameter to $heap? meaning: pointers in this heap never leave scope |
| | 15 | |
| | 16 | 5. Add visitor pattern to model? |
| | 17 | |
| | 18 | 6. No static escape analysis needed -- use dynamic escape analysis, read Matt's FMSD paper |
| | 19 | |
| | 20 | 7. Consider implementing a fence or barrier or other structures as primitives |
| | 21 | |
| | 22 | 8. Get examples from [wiki:Examples], compile |
