Public GIT Repository
|
|
Algorithmique
Numérique
Distribuée Public GIT Repository |
| 2015-05-04 | Gabriel Corona | [mc] Fix segfault in MC_request_is_enabled() executed... | blob | commitdiff | raw |
| 2015-04-28 | Gabriel Corona | [mc] Cleanup MC init code (split MCer and MCed init) | blob | commitdiff | raw | diff to current |
| 2015-04-27 | Gabriel Corona | Merge branch 'master' into mc | blob | commitdiff | raw | diff to current |
| 2015-04-17 | Gabriel Corona | [mc] C++ class ModelChecker | blob | commitdiff | raw | diff to current |
| 2015-04-17 | Gabriel Corona | [mc] Remove mc_interface.h | blob | commitdiff | raw | diff to current |
| 2015-04-17 | Gabriel Corona | [mc] Remove standalone mode and remove MC_do_the_modelc... | blob | commitdiff | raw | diff to current |
| 2015-04-16 | Gabriel Corona | [mc] Switch to C++ | blob | commitdiff | raw | diff to current |
