Changes between Version 107 and Version 108 of IR

Timestamp:

12/01/15 11:24:14 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -338 +338 @@
  * updates `i`,`j`,... to be the value of the next tuple in `dom` after `<i,j,...>`
  * if `i`, or `j`, ... is undefined, then `i`, `j`, ... are updated to be the value of the first tuple in `dom`
- * The CIVL-C code `$for(int i,j,k: dom) S;` is translated into the following:
+ * The CIVL-C code `$for(int i,j,...: dom) S;` is translated into the following:
 {{{
 var i: Integer;