Changes between Version 32 and Version 33 of IR

Timestamp:

11/23/15 13:52:15 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -145 +145 @@
 * `$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 there is it is never blocked
 
 System functions:
@@ -241 +242 @@
 
 
+== Contracts of Functions ==
+* event set expressions:
+{{{
+EventSetExpression
+ : $read(MemorySetExpression)
+ | $write(MemorySetExpression)
+ | $access(MemorySetExpression)
+ | $calls(FunctionCallExpression)
+ | $nothing
+ | $everything
+ | ‘(’ EventSetExpression ‘)’
+ | EventSetExpression + EventSetExpression
+ | EventSetExpression - EventSetExpression
+ | EventSetExpression & EventSetExpression
+}}}
+
+* depends clause:
+`dependsClause: $depends [condition] { EventSetExpression}`
+
+Example:
+{{{
+$depends {
+  $access(n) - ($calls(inc(MemorySetExpression)) + $calls(dec(MemorySetExpression)))}
+}}}
+
+
 
 == Program Graph ==