b913edcd5e
On the road to beta is the new Minils AST, for now :
* Heptagon and Obc AST changes,
* Java code generation,
* Recursives Qualnames,
* Various bug fixes,
* Added partial application for iterators,
For instance:
... = map<<n>> (f<<se>>)((t1, t1'))(t2, t3)
is translated to:
for(int i =...)
... = f(t1, t1', t2[i], t3[i])
13 lines
276 B
Plaintext
13 lines
276 B
Plaintext
node counter(res: bool; tick: bool) returns (o: int)
|
|
let
|
|
o = if res then 0 else if tick then 1 -> pre o + 1 else 0 -> pre o;
|
|
tel
|
|
|
|
node counter2() returns (b: bool)
|
|
var t : async int;
|
|
let
|
|
t = async 0 fby async counter(false,true);
|
|
b = counter(false,true) -1 = !t;
|
|
tel
|
|
|