Algorithmique
Numérique
Distribuée Public GIT Repository |
2016-02-02 | Christian Heinrich | [SMPI] Renamed option send_is_detached_thres to send_is... | blob | commitdiff | raw |
2015-10-13 | Martin Quinson | Merge branch 'S4U' | blob | commitdiff | raw | diff to current |
2015-09-01 | Gabriel Corona | [mc] Remove the --cfg=model-check:1 flag | blob | commitdiff | raw | diff to current |
2015-08-09 | Martin Quinson | Merge branch 'master' into S4U | blob | commitdiff | raw | diff to current |
2015-08-05 | Martin Quinson | Update copyright notices | 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-25 | Marion Guthmuller | model-checker : really (?) fix SIMCALL_MUTEX_LOCK and... | blob | commitdiff | raw | diff to current |