heptagon/t10-initialization.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.

13 lines

223 B

Plaintext

Raw Permalink Blame History

 node toto() returns (o : int)
 var last x : int; y,z : int;
 let
   y = 0;
   automaton
     state S1
     do x = pre y; z = 0 -> x until true then S2
     state S2
     do x = last x; z = x until false then S1
   end;
   o = z;
 tel