![]() |
Algorithmique
Numérique
Distribuée Public GIT Repository |
2022-03-29 | Arnaud Giersch | Propagate const pointer (thx sonar). | blob | commitdiff | raw |
2022-03-28 | Bruno Donassolo | Merge branch 'issue105' into 'master' | blob | commitdiff | raw | diff to current |
2022-03-25 | Arnaud Giersch | [sonar] Don't mix public and private members (mc::State). | blob | commitdiff | raw | diff to current |
2022-02-28 | Arnaud Giersch | Useless lower-case alias. | blob | commitdiff | raw | diff to current |
2022-02-28 | Martin Quinson | kill some bits of mc::api:: | blob | commitdiff | raw | diff to current |
2022-02-21 | Martin Quinson | Rename mc::Checker to mc::Exploration as it defines... | blob | commitdiff | raw | diff to current |