Changes between Version 3 and Version 4 of Library_IR

Timestamp:

12/10/15 17:00:07 (10 years ago)

Author:

zmanchun

Comment:

--

Library_IR

@@ -15 +15 @@
 
 Functions:
-* `fun[lib="civlc"] $set_default(obj: Pointer)`
- * sets the leaf nodes of a variable to be the default value of zero
-* `fun[lib="civlc"] $apply(obj1: Pointer, op: Operation, obj2: Pointer, result: Pointer)`
- * applies a binary operator `op` to two objects
 * `fun[lib="civlc"] $elaborate(x: Integer)`
  * elaborate an integer expression
@@ -35 +31 @@
 The header `pointer.cvh` declares functions taking pointers as the arguments for different purposes, including:
 
+* `fun[lib="civlc"] $set_default(obj: Pointer)`
+ * sets the leaf nodes of a variable to be the default value of zero
+* `fun[lib="civlc"] $apply(obj1: Pointer, op: Operation, obj2: Pointer, result: Pointer)`
+ * applies a binary operator `op` to two objects
 * `fun[lib="pointer"] $equals(x: Pointer, y: Pointer): Bool`
  * equality checking