heptagon/t8-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.

12 lines

248 B

Plaintext

Raw Permalink Blame History

 (* Must be rejected because of o1 = o1 + 2 equation (causality error) *)
 node f(x,z:int) returns (o1,o2:int)
   var o4:int;
   let
     switch (x = z)
       | true do o1 = o1 + 2;o2 = o4+1;o4 = 3
       | false do o1 = 4;o2 = 5;o4 = 5
     end;
   tel