Changes between Version 6 and Version 7 of Library_IR

Timestamp:

12/11/15 11:22:55 (10 years ago)

Author:

zmanchun

Comment:

--

Library_IR

@@ -4 +4 @@
 
 * `civlc`: the basic library of CIVL, usually included in a CIVL-C program, defining types and functions that are frequently used;
-* `scope`: providing utility functions related to dynamic scopes;
 * `pointer`: providing utility functions dealing with pointers;
-* `seq`: providing operations on sequences which is realized using arrays;
 * `concurrency`: providing concurrency utilities such as barrier and collective record;
 * `bundle`: defining bundle types and their operations;
-* `comm`: defining communicators and their operations.
+* `comm`: defining communicators and their operations;
+* `domain`: providing operations on domains;
+* `seq`: providing operations on sequences which is realized using arrays.
 
 === `civlc` : basic functions ===
-
 Types:
 * `$operation`: an enumeration type of operations
@@ -19 +18 @@
 * `fun[lib="civlc"] $elaborate(x: Integer)`
  * elaborate an integer expression
-* `fun[lib="civlc"] $next_time_count()`
+* `fun[lib="civlc"] $next_time_count(): Integer`
  * gets a unique non-negative integer for time count
 * `fun[lib="civlc", pure] $pathCondition()`