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

18 lines

291 B

Plaintext

Raw Permalink Blame History

 (* Non correct transition *)
 node f(x:int) returns (y,z:int)
 let
   automaton
     state A do y = x until y = 2 then B
     state B do y = x until y = 2 then A
   end;
   automaton
     state C
       do z = y
       until z = 3 then D
     state D
       do z = x
       until z = 4 then A
   end
 tel