Changes between Version 3 and Version 4 of IR

Timestamp:

11/21/15 19:42:55 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -1 +1 @@
 
 The CIVL-IR.  Also known as "CIVL model".
+
+Grammar?
+
+Example:
+
+{{{
+int f() {
+L1 :
+  $choose {
+    $when (g1) stmt1; goto L2;
+    $when (g2) stmt2; goto L3;
+  }
+L2 :
+  $choose {
+    $when (g3) stmt3; goto L4;
+    ...
+  }
+...
+}
+// etc.
+}}}
 
 ==  Static Types ==