Changes between Version 133 and Version 134 of IR

Timestamp:

12/10/15 16:50:45 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -444 +444 @@
 **THIS NEEDS TO BE UPDATED**
 
-* memory set action expressions:
+* action expressions:
  * `read(e)`: `e` has type `Mem`. The function reads the memory units specified by `e`.
  * `write(e)`: `e` has type `Mem`. The function writes the memory units specified by `e`.
@@ -462 +462 @@
  * `reads/assigns nothing` doesn’t necessarily means that the function never reads or assigns any variable. The function could still reads/assigns its “local” variables, including function parameters and any variable declared inside the function body. **check it**
 
-* For an independent function which has `depends nothing`, usually we also need to specify `reads nothing`, for the purpose of reachability analysis.
+* For an independent function which has `depends coaction`, usually we also need to specify `reads nothing`, for the purpose of reachability analysis.
 e.g., 
 {{{