Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sanitize the rest of dwarf operation regarding stack popping.
authorMatthieu Volat <mazhe@alkumuna.eu>
Thu, 12 Jan 2017 16:18:24 +0000 (17:18 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Thu, 12 Jan 2017 17:05:09 +0000 (18:05 +0100)
In all those cases, the order of pop() was not an issue since
the operations were commutatives, but those could give bad
ideas for other cases.


No differences found