The -exec mode now supports the fillred iterator. It way only working with map BTW.

nb: thus it works with red and fill since they are exactly the same !!!

src/soc.ml

-(* Time-stamp: <modified the 27/03/2013 (at 15:24) by Erwan Jahier> *)
+(* Time-stamp: <modified the 29/03/2013 (at 15:45) by Erwan Jahier> *)
 
 (** Synchronous Object Component *)
 
@@ -54,7 +54,7 @@ type step_impl =
   | Predef 
   | Gaol of var list * gao list  (* local vars + body *)
   | Iterator of string * key * int (* iterator, iterated soc key, size *)
-
+  | Boolred of int  * int * int 
 
 type step_method = {
   name    : ident;

src/socExec.ml

-(* Time-stamp: <modified the 29/03/2013 (at 15:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 29/03/2013 (at 15:45) by Erwan Jahier> *)
 
 open Soc
 open SocExecValue
@@ -34,7 +34,9 @@ let rec (soc_step : Soc.step_method -> Soc.tbl -> Soc.t -> SocExecValue.ctx
           flush stdout; assert false
       )
       | Gaol(vl,gaol) -> List.fold_left (do_gao step.lxm soc_tbl) ctx gaol
-      | Iterator("boolred", node_sk, n) ->  assert false (* todo *)
+      | Boolred(i,j,k) ->  
+        assert false
+        
       | Iterator(iter, node_sk, n) -> 
         let node_soc = SocUtils.find step.lxm node_sk soc_tbl in
         let node_step = match node_soc.step with [step] -> step | _ ->  assert false in