Changes between Version 57 and Version 58 of IR2

Timestamp:

05/01/21 10:41:09 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -226 +226 @@
   | expr '[' expr ']'  /* array or map read */
   | '(' expr ')'
+  | '-' expr  /* negative */
   | '*' expr  /* pointer dereference */
   | '&' lvalue  /* address-of */
@@ -242 +243 @@
 
 {{{
-void $assert( $bool asserted_expr, ... );  /* assertion with optional error message */
-void $assume( $bool expr );  /* assumption */
-void $wait( $proc p );  /* wait until p terminates */
+
+}}}
+
+=== `mem.cvh` ===
+
+=== `seq.cvh` ===
+
+=== `set.cvh` ===
+
+=== `map.cvh` ===
+
+=== `rel.cvh` ===
+
+=== `concurrency.cvh` ===
+
+{{{
+void $parspawn($proc * proc_array, $domain d, void (*f)($int, ...));  /* parallel spawn returns immediately*/
 void $waitall( $int nprocs, $proc * procs );  /* wait for all procs in list to terminate */
-void $free( void * ptr );  /* frees something that was $alloc-ed */
-
-}}}
-
-=== `mem.cvh` ===
-
-=== `seq.cvh` ===
-
-=== `set.cvh` ===
-
-=== `map.cvh` ===
-
-=== `rel.cvh` ===
-
-=== `concurrency.cvh` ===
-
-{{{
-void $parspawn($proc * proc_array, $domain d, void (*f)($int, ...));  /* parallel spawn */
 
 }}}