Files @ 9f8f7a65f90d
Branch filter:

Location: CSY/reowolf/examples/eg_protocols.pdl

Christopher Esterhuyse
simplified setup procedure's reconnection business. got rid of the finicky waker and waker token, instead relying on simple arithmetic for the timeout. more doc comments in setup and endpoint modules
primitive pres_2(in i, out o) {
  synchronous {
    put(o, get(i));
  }
}
primitive together(in ia, in ib, out oa, out ob){
  while(true) synchronous {
    if(fires(ia)) {
      put(oa, get(ia));
      put(ob, get(ib));
    }
  }	
}

primitive alt_round_merger(in a, in b, out c){
  while(true) {
    synchronous{ put(c, get(a)); }
    synchronous{ put(c, get(b)); }
  }	
}