Algorithmique
Numérique
Distribuée Public GIT Repository |
2010-10-04 | mquinson | update all the platforms file with the new s/:/_/ in DTD | tree | commitdiff |
2010-09-28 | navarrop | New platform files (just add AS tag) | tree | commitdiff |
2010-08-04 | navarrop | Update mc-centralized tesh file. | tree | commitdiff |
2010-06-17 | navarrop | Delete unused -fprofile-arcs flags. | tree | commitdiff |
2010-05-17 | cristianrosa | Improve comments on examples | tree | commitdiff |
2010-05-17 | cristianrosa | Add new example: "Shared buffer between asynchronous... | tree | commitdiff |
2010-05-12 | cristianrosa | Bugfix: delete the tasks after using them | tree | commitdiff |
2010-05-11 | cristianrosa | Add new example to test MC_random function | tree | commitdiff |
2010-05-07 | navarrop | Add tests for msg/mc. | tree | commitdiff |
2010-05-07 | navarrop | Add all needs to include mc with cmake. | tree | commitdiff |
2010-05-05 | mquinson | Some MSG examples mainly useful to test the model-checker | tree | commitdiff |