Changes between Version 62 and Version 63 of IR

Timestamp:

11/25/15 21:07:13 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -175 +175 @@
  * `\array(T, <e0, ..., en-1>)`: value of type `Array[T, n]`, a literal array
  * `\array(T, n, e)`: value of type `Array[T,n]` in which each of the n elements is `e`
- * `\asub(e1, e2)` : array subscript expression.  Note that `e1` must have array type, not pointer type. (This is different from C.)   If `e1` has pointer type, use `\deref(\padd(e1, e2))` instead.  
- * `\aslice(a, dom)`, where `a` is an expression of array type and `dom` is an expression of `Domain` type.   The dimension of the array must match the dimension of the domain.   This represents all memory units which are the cells in the array indexed by a tuple in `dom`.
- * `\bit_and(e1, e2)`, `\bit_or(e1, e2)`, `\bit_xor(e1, e2)`, `\bit_comp(e1)` : bit-wise operations: arguments are arrays of booleans
+ * `\asub(e1, e2)` : array subscript expression.  Note that `e1` must have array type, not pointer type. (This is different from C.)   If `e1` has pointer type, use `\deref(\padd(e1, e2))` instead.
+ * `\seq_add(a,e)` : array obtained by adding element e to the end of the array.  Original array a is not modified.
+ * `\seq_append(a1,a2)` : array obtained by concatenating two arrays.  Original array not modified.
+ * `\seq_remove(a,i)` : array obtained by removing element at position i from a.  Original array a not modified.  **WHAT HAPPENS TO REFERENCES INTO A**
+ * `\bit_and(e1, e2)`, `\bit_or(e1, e2)`, `\bit_xor(e1, e2)`, `\bit_comp(e1)` : bit-wise operations: arguments are arrays of booleans of equal length.
 * Tuples
  * `\tuple(S, <e0, e1, ...>)` : value of tuple type `S` (tuple literal)
@@ -188 +190 @@
  * `\psub(e1,e2)`: pointer subtraction
  * `\region(ptr)`, where `ptr` is an expression with a pointer type.  This represents the set of all memory units reachable from `ptr`, including the memory unit pointed to by `ptr` itself.
- * `\mem_union(mem1, mem2)`, where `mem1` and `mem2` are expressions of type `Memory`.  This is the union of the two memory sets.
- * `\mem_intersect(mem1, mem1)` : set intersection
- * `\mem_comp(mem1)` : set complement (everything not in `mem1`)
+ * `\munion(mem1, mem2)`, where `mem1` and `mem2` are expressions of type `Memory`.  This is the union of the two memory sets.
+ * `\misect(mem1, mem1)` : set intersection
+ * `\mcomp(mem1)` : set complement (everything not in `mem1`)
+ * `\aslice(a, dom)`, where `a` is an expression of array type and `dom` is an expression of `Domain` type.   The dimension of the array must match the dimension of the domain.   This represents all memory units which are the cells in the array indexed by a tuple in `dom`.
 * Scopes and Processes
  * `\root`, `\here` : values of type `Scope`