Public GIT Repository
|
|
Algorithmique
Numérique
Distribuée Public GIT Repository |
| 2015-04-10 | Gabriel Corona | [mc] Kill the MCed process if/when the MCer dies | blob | commitdiff | raw |
| 2015-04-09 | Gabriel Corona | [mc] Move liveness in MCer process | blob | commitdiff | raw | diff to current |
| 2015-04-07 | Gabriel Corona | [mc] Cleanup safety initialisation code | blob | commitdiff | raw | diff to current |
| 2015-03-26 | Gabriel Corona | [mc] Cross-process MC/safety implementation | blob | commitdiff | raw | diff to current |
| 2015-03-10 | Gabriel Corona | Merge branch 'master' into mc-process | blob | commitdiff | raw | diff to current |
| 2015-02-12 | Gabriel Corona | Merge master into mc-process | blob | commitdiff | raw | diff to current |
| 2015-02-03 | Gabriel Corona | [mc] Move MC_init_pid outside of mc_server | blob | commitdiff | raw | diff to current |
| 2015-02-03 | Gabriel Corona | [mc] Remove some functions in mc_server | blob | commitdiff | raw | diff to current |
| 2015-02-03 | Gabriel Corona | [mc] Basic infrastructure for a real model-checker... | blob | commitdiff | raw | diff to current |
