Algorithmique
Numérique
Distribuée Public GIT Repository |
2015-04-27 | Gabriel Corona | Merge branch 'master' into mc | blob | commitdiff | raw |
2015-04-17 | Gabriel Corona | [mc] C++ class ModelChecker | blob | commitdiff | raw |
2015-04-14 | Gabriel Corona | Merge branch 'master' into mc-process | blob | commitdiff | raw | diff to current |
2015-04-14 | Gabriel Corona | Merge branch 'master' into mc-process | blob | commitdiff | raw | diff to current |
2015-03-16 | Gabriel Corona | [mc] Read smpi_process_count() from remote process | blob | commitdiff | raw | diff to current |
2015-03-12 | Gabriel Corona | [mc] Remote support for filling state->internal_comm | blob | commitdiff | raw | diff to current |
2015-03-10 | Gabriel Corona | Merge branch 'master' into mc-process | blob | commitdiff | raw | diff to current |
2015-03-10 | Gabriel Corona | [mc] Remote access to process name | blob | commitdiff | raw | diff to current |
2015-03-09 | Gabriel Corona | [mc] Read host name from remote process | blob | commitdiff | raw | diff to current |