Algorithmique
Numérique
Distribuée Public GIT Repository |
2010-06-16 | navarrop | Declare variable DLL_EXPORT for Libs. | blob | commitdiff | raw |
2010-06-15 | mquinson | make clean works now | blob | commitdiff | raw | diff to current |
2010-06-14 | navarrop | Add a flags for include a lib for winsock. | blob | commitdiff | raw | diff to current |
2010-06-14 | navarrop | Delete some unused flags. | blob | commitdiff | raw | diff to current |
2010-05-27 | navarrop | Add a variable HAVE_MC for enable model-checking. | blob | commitdiff | raw | diff to current |
2010-05-21 | navarrop | Cosmetics and generate lib links for bindings correctely. | blob | commitdiff | raw | diff to current |
2010-05-21 | navarrop | Reorganize cmake directory. | blob | commitdiff | raw | diff to current |