Changes between Version 69 and Version 70 of IR

Timestamp:

11/26/15 07:35:45 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -1 +1 @@
 
 The CIVL-IR language.  A program in this language is also known as a "CIVL model".
+
+** CAN WE GET RID OF ALL \S EVERYWHERE???**
 
 Properties of the language:
@@ -243 +245 @@
 * `ATOMIC_EXIT;`
 * `PARSPAWN p, d, f;` where `p` is pointer to process reference, `d` has `Domain` type and `f` has `Function` type.
-* `NEXT dom, <i,j,…>;` : domain iterator: updates `i`,`j`,... to be the value of the inter tuple in `dom` after `<i,j,...>`
+* `NEXT dom, <i,j,…>;` : domain iterator: updates `i`,`j`,... to be the value of the next tuple in `dom` after `<i,j,...>`
 * `FOR_ENTER dom;` **FIX ME**
 
@@ -258 +260 @@
 * `\pure` : the function has no side effects, but may be nondeterministic
 * `\abstract`: function is a pure, mathematical function: deterministic function of inputs
-* `\atomic_f`: function definition is atomic, and it never blocks
+* `\atomic`: function definition is atomic, and it never blocks **ISN'T THIS TRUE OF EVERY SYSTEM FUNCTION?  IN WHICH CASE, IS THIS ONLY FOR NON-SYSTEM FUNCTIONS?**
 
 System functions:
@@ -268 +270 @@
 Example of a declaration of a system function with guard.
 {{{
-g(Real x, Bool y; Bool) { ... }
-f(Real x, Bool y; Integer) \guard {g};
+g(x:Real):Bool { ... }
+f(x:Real):Integer \guard g;
 }}}