Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git] / tools / cmake / Option.cmake
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive...
2023-11-05 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-11-05 Martin QuinsonAdd a cmake option to disable McMini tests, and rename...
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl...
2023-04-01 Martin QuinsonOption model-checking OFF by default
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found
2023-01-14 Arnaud GierschThe right mode is FATAL_ERROR.
2023-01-14 Martin QuinsonRemove MSG. Its EOL was scheduled for 2020
2023-01-12 Martin QuinsonRemove Java bindings. They are not updated since maybe...
2023-01-10 Martin QuinsonStop trying to build on native WIN32, it's broken anyway
2022-03-06 Martin QuinsonMerge branch 'add_wait_for_to_py_comm_binding' into...
2022-03-06 Martin QuinsonImport (some bits of) the MBI test suite
2022-01-06 Martin QuinsonMerge branch 'appveyor' of github.com:simgrid/simgrid
2022-01-06 SUTER Fredericdrop the old Lua bindings for programmatic platform...
2022-01-05 Bruno DonassoloMerge remote-tracking branch 'upstream/master' into...
2022-01-02 SUTER FredericKill both SimDag and Jedule bindings. Cleanups will...
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-31 Martin Quinsonlower-case -Denable_msg and improve changelog
2020-01-30 Martin QuinsonMerge branch 'depencencies' into 'master'
2020-01-30 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2020-01-30 Martin QuinsonAdd a cmake flag to not compile MSG at all
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-10-05 Martin Quinsonkill the now unused 'release' cmake config variable
2019-09-01 Martin Quinsoncmake: accept enable-model-checking as an alias to...
2019-07-10 Martin Quinsonvarious ignorable cosmetics
2019-06-15 Martin QuinsonCosmetics around ns-3
2019-06-05 Martin QuinsonRename cmake option 'minimal_java' into 'minimal-bindings'
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-15 Martin Quinsoncmake: do not build the documentation by default
2019-04-03 henricasanovaMerge branch 'master' of framagit.org:simgrid/simgrid
2019-04-03 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-04-03 Martin Quinsoncmake: new option to build a jarfile with no external...
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni
2018-07-05 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2018-07-05 Christian Heinrich[CMAKE] Fix grammar for SMPI built option
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-06-28 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-26 Martin Quinsontypo
2016-06-24 degommeadd option to remove fortran support of SMPI, even...
2016-06-24 degommeAdd sanitizers (address, thread, and undefined), to...
2016-05-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-19 Christian Heinrich[SMPI/PAPI] Added cmake switch for SMPI+PAPI
2016-04-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-18 Frederic Sutersave a couple more lines
2016-03-06 Martin QuinsonRemove cmake 'enable_tracing' option: was not doing...
2016-03-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-04 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 Martin Quinsoncleanup in cmake option declarations, and display all...
2016-03-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-04 Martin Quinsonkill the latency_bound experiment in our codebase
2016-02-29 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-29 Gabriel CoronaRemove static tracepoint support
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-12 Martin QuinsonKill the scala examples
2016-02-07 Martin Quinsonerror message improvement
2016-01-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-01-28 Martin QuinsonKill all deprecated code in MSG -- yeah
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-12-04 Martin QuinsonRevert "When the lib is embeeded in jar, don't use...
2015-12-04 Martin QuinsonWhen the lib is embeeded in jar, don't use boost_context
2015-10-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-25 Martin Quinsoncleanups in cmake+perl interactions
2015-10-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-19 Martin QuinsonDisable building static libs.
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-26 Martin QuinsonRemove everything related to the pipol compilation...
2015-09-20 Martin Quinsonallow to specify on cmake command line whether we want LTO
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Martin Quinsoncmake: move some bits to a better location
2015-08-12 Martin QuinsonMerge branch 'master' into S4U
2015-08-12 Martin Quinsonmove the cmake files in tools/cmake