Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: display the 100 first transitions when we reach the depth-limit
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 1 Nov 2023 23:55:34 +0000 (00:55 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 00:54:48 +0000 (01:54 +0100)

No differences found