heptagon/clock_causality.ept at master - heptagon - Gitea: Service Git d'Aurore

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

jeltz

/

heptagon

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

14 lines

274 B

Plaintext

Raw Permalink Blame History

 node cross<<l:int>>(x:int) returns (y:int; c:bool)
 let
   c = (0 fby y) = l;
   y = merge c (true -> x) (false -> 0);
 tel
 node main(x:int) returns (z:int)
 var y,t : int; c : bool;
 let
   y = 0 fby (y+1);
   (t,c) = cross<<4>>(y);
   z = merge c (true -> y + t) (false -> 0)
 tel