Changes between Version 136 and Version 137 of IR

Timestamp:

01/03/16 16:39:05 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -239 +239 @@
 * `seq_insert(a,i,x)` : array obtained by inserting an element x at position i in a.
 * `seq_length(a)` : returns length of array a (an `Integer`)
-* `bit_and(e1, e2)`, `bit_or(e1, e2)`, `bit_xor(e1, e2)`, `bit_comp(e1)` : bit-wise operations
+* `bitv_and(e1, e2)`, `bitv_or(e1, e2)`, `bitv_xor(e1, e2)`, `bitv_comp(e1)` : bit-wise operations
  * arguments are arrays of booleans of the same length
-* `bit_shiftl(a,n)` : left shift of a bit vector
+* `bitv_shiftl(a,n)` : left shift of a bit vector
  * `a` is a bit vector, i.e., array of boolean
  * `n` has integral type and is nonnegative
  * exception if `n` is greater than the length of `a`
  * new spaces created are filled in with `false` 
-* `bit_shiftr(a,n)` : right shift of a bit vector
+* `bitv_shiftr(a,n)` : right shift of a bit vector
 * `int_to_bitv(len, val)` : returns a bit-vector (array of boolean) of length `len` from `val`
  * `val` must be a non-negative integer value from an integral type