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 / Tests.cmake
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive...
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p...
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master'
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-06 Arnaud GierschFix build without MC.
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl...
2023-06-05 Martin QuinsonEnable the ODPOR/SDPOR tests in default builds also
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master'
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master'
2023-05-16 Maxwell PirtleAdd test files for WakeupTree
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector
2023-05-12 Maxwell PirtleAdd first tests for "happens-before"
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master'
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-28 Maxwell PirtleAdd tests for LazyKSubsets and LazyPowerset
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschFix distcheck.
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration
2023-02-21 Maxwell PirtleAdd first batch of tests for History class
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR
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-10-23 Martin QuinsonChange public NetworkModelIntf.hpp into private Network...
2022-03-16 Martin QuinsonMerge branch 'add_barrier_python_bindings' into 'master'
2022-03-15 Arnaud GierschEnable valgrind for unit-tests.
2022-03-15 Arnaud GierschRename TESH_WRAPPER -> VALGRIND_WRAPPER.
2022-03-15 Martin QuinsonMake the Eigen3 dependency optionnal
2022-03-11 Martin QuinsonMerge branch 'add_remaining_comm_sync_bindings' into...
2022-03-07 Bruno DonassoloMerge branch 'bmf' into 'master'
2022-03-07 Bruno DonassoloNew model for parallel tasks: host/model:ptask_BMF
2022-01-06 Martin QuinsonMerge branch 'appveyor' of github.com:simgrid/simgrid
2022-01-06 Arnaud GierschFix java/win32 tests.
2022-01-05 SUTER Fredericreorganize *LinkImpl stuff
2021-10-13 Arnaud GierschKill trailing whitespaces in source code files.
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid...
2021-07-22 Arnaud GierschFactor common code.
2021-06-30 Bruno DonassoloMerge branch 'split_link_impl' into 'master'
2021-06-28 Bruno DonassoloSplit-Duplex: new management
2021-05-24 Bruno DonassoloDynamic factors: implement and test
2021-05-04 Bruno DonassoloMix create_host and add_route during platf creation.
2021-04-28 Bruno DonassoloNew: s4u::create_dragonfly_zone
2021-04-27 Bruno DonassoloNew: s4u::create_fatTree_zone
2021-04-23 Bruno DonassoloAdd some UT for TorusZone
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-14 Bruno DonassoloNew netzone: Star Zone
2021-02-24 agougeonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-02-10 Martin QuinsonMerge branch 'local changes'
2021-02-09 Arnaud GierschCmake: allow wildcards (*, ^) when listing factories.
2021-02-03 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-20 eazimiMerge with fragmagit/master
2021-01-20 Martin QuinsonRemove a redundent line (was already given 6 lines...
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-03-05 Martin Quinsonmove actor-stacksize from teshsuite to examples now...
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org...
2019-12-20 Arnaud GierschCmake commands are redundant with root CMakeLists.txt.
2019-12-06 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-12-05 Arnaud GierschReplace non-breaking spaces.
2019-11-19 Martin QuinsonMerge branch 'xbt_random' into 'master'
2019-11-12 Yann DuplouyAdding xbt::random unit test to the list of unit tests
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-08-28 Arnaud GierschFactor common definition, and avoid empty component...
2019-08-18 Martin QuinsonFix tesh for the new mc-sendsend test
2019-08-17 Martin Quinsonadd a test of MC detecting blocking send/send patterns
2019-07-26 Martin QuinsonMove 'unit-tests' binary from 'all' target to 'tests'
2019-06-19 Loic GueganMerge branch 'master' of framagit.org:simgrid/simgrid
2019-06-19 Loic Gueganlmm tests:
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master'
2019-06-12 Loic Gueganlmm testing:
2019-06-11 Loic GueganLMM Testing:
2019-05-31 Martin QuinsonMC: rename some files
2019-05-31 Martin Quinsonrename a file
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-09 Arnaud GierschEnable some more test with memcheck, but with disabled...
2019-04-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-04-02 Arnaud GierschEnable memcheck for tests test-help-*.
2019-04-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-03-14 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-03-14 Arnaud GierschMove test declaration in proper CMakeLists.txt.
2019-02-05 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-02-05 Arnaud GierschProvide our own main() for unit-tests.
2019-02-02 Martin Quinsonalign file position to the C++ namespaces
2019-02-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-02-01 Arnaud GierschRemove last references to testall.
2019-02-01 Arnaud GierschConvert the unit tests of xbt::config to Catch2.
2019-02-01 Arnaud GierschConvert the unit tests of xbt::str to Catch2.
2019-02-01 Arnaud GierschConvert the unit tests of xbt::dict to Catch2.
2019-01-31 Martin Quinsonfix makedist
2019-01-31 Martin QuinsonConvert the unit tests of xbt::dynar to Catch2
2019-01-31 Martin Quinsonconvert the two other boost::unit_test suites to Catch2
2019-01-31 Martin QuinsonConvert a first unit test to Catch
2019-01-15 Martin Quinsonfix Java and MC examples
next