Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Liveness: rename graph_state -> app_state and automaton_state -> prop_state
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 16:11:44 +0000 (18:11 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 16:22:07 +0000 (18:22 +0200)

No differences found