Algorithmique
Numérique
Distribuée Public GIT Repository |
2023-02-21 | Maxwell Pirtle | Add first batch of tests for History class | blob | commitdiff | raw |
2023-02-21 | Maxwell Pirtle | Add first implementations of History class | blob | commitdiff | raw | diff to current |
2023-02-21 | Maxwell Pirtle | Introduce extrinsic equivalence between events | blob | commitdiff | raw | diff to current |
2023-02-20 | Maxwell Pirtle | "Finalize" interface to UnfoldingEvent | blob | commitdiff | raw | diff to current |
2023-02-20 | Maxwell Pirtle | Add xbt_assert() for state handle overflow | blob | commitdiff | raw | diff to current |
2023-02-20 | Maxwell Pirtle | Add `udpor` directory under `mc/explo` | blob | commitdiff | raw | diff to current |