3 Commits (master)

Author SHA1 Message Date
Léonard Gérard fe1f02402b Test to watch sampling of returned stateful exps. 13 years ago
Léonard Gérard 1d6feeef54 some more tests 13 years ago
Léonard Gérard b913edcd5e Decade alpha1
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 years ago