Changes between Version 85 and Version 86 of IR

Timestamp:

11/28/15 11:26:30 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -59 +59 @@
 
   { // begin new scope
-   x: Real;
+    x: Real;
 L2 :
-      stmt3; goto L4;
-      ...
+    stmt3; goto L4;
+    ...
   } // end new scope
 ...
@@ -276 +276 @@
 Example of declaration of a system function defined in library Concurrency:
 {{{
-def[lib="Concurrency"] f(x: Real, b: Bool): Float[32,33];
-}}}
-
-Function modifiers that may be placed in the brackets after def:
+fun[lib="edu.udel.cis.vsl.civl.lib.Concurrency"] f(x: Real, b: Bool): Float[32,33];
+}}}
+
+Function modifiers that may be placed in the brackets after fun:
 * `pure` : the function has no side effects, but may be nondeterministic
 * `abstract`: function is a pure, mathematical function: deterministic function of inputs
@@ -295 +295 @@
 {{{
 g(x:Real):Bool { ... }
-def[lib="Blah",guard="g"] f(x:Real):Integer;
+fun[lib="Blah",guard="g"] f(x:Real):Integer;
 }}}