Algorithmique
Numérique
Distribuée Public GIT Repository |
2011-04-11 | Christophe Thiéry | Update ChangeLog |
commit | commitdiff | tree |
2011-04-07 | Christophe Thiéry | Include math.h for isfinite() |
commit | commitdiff | tree |
2011-04-07 | Christophe Thiéry | MC: perform actual model-checking in tesh tests |
commit | commitdiff | tree |
2011-04-05 | Christophe Thiéry | These tests can only work when assertions are enabled |
commit | commitdiff | tree |
2011-04-05 | Christophe Thiéry | Add msg pmm binary to .gitignore |
commit | commitdiff | tree |