Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
missing virtual destructor
[simgrid.git] / examples / cpp /
2023-04-12 Adrien Gougeonclang-format
2023-04-12 Adrien Gougeonadd operation examples
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
2023-04-07 Arnaud GierschAdd $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid...
2023-04-07 Arnaud GierschFix usage of option --cfg=path in tesh files.
2023-04-05 Martin Quinsonthese ns3 tests need an 'output sort' directive :(
2023-04-05 Arnaud GierschRegenerate tesh files (one more time).
2023-04-05 Martin QuinsonFix make distcheck, stupid bummer
2023-04-05 Martin QuinsonEnforce the ns3 timings for the latest version of ns3...
2023-04-04 Arnaud GierschRegenerate tesh files.
2023-04-03 Martin QuinsonEnsure in tests that the ns3 timings remain unchanged
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too
2023-03-31 Martin QuinsonMerge branch 'master' into 'master'
2023-03-31 Martin QuinsonMerge branch 'master' into 'master'
2023-03-31 AdrienAdd battery plugin and fix DAG doc
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa...
2023-03-30 mlaurentReplace state copy with recipe: list of transition...
2023-03-28 mlaurentChange opened states for a priority queue
2023-03-27 mlaurentNow handle random transition and multiple times transitions
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-26 Martin QuinsonRevert "Revalidate tesh files now that safety checking...
2023-03-24 Martin QuinsonMC: disable personality() as it fails on CI and is...
2023-03-24 Martin QuinsonRevalidate tesh files now that safety checking is based...
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack...
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-22 Martin QuinsonChange an example to take its platform file from the...
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-18 Martin QuinsonMerge branch 'master' into 'master'
2023-03-18 mlaurentMove DPOR and sleep set algorithm from backtrack to...
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-12 Martin QuinsonMove another function out of ModelChecker
2023-02-26 Martin QuinsonRevalidate a tesh file (result of a merge error)
2023-02-26 Martin QuinsonMerge branch 'master' into 'master'
2023-02-24 Martin QuinsonAllow to specify the parameters on the command line...
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-23 Arnaud GierschUse C++17's std::scoped_lock where appropriate.
2023-02-22 mlaurenttransitions in the same actor are dependent
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-22 mlaurentfix a few test with dpor
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-02-18 Martin QuinsonMove the files related to the platform parsing to kerne...
2023-02-18 Martin QuinsonRemove surf from the content from the examples of simul...
2023-02-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-15 Martin QuinsonMerge branch 'actor-comms' into 'master'
2023-02-15 Martin Quinson15 years later, I finally managed to kill host/model...
2023-02-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-13 Arnaud GierschFor Sonar.
2023-02-11 Arnaud GierschKill another bunch of globals.
2023-02-09 Arnaud GierschKill a few globals.
2023-02-08 Fred Sutermake all Activity starts vetoable
2023-02-08 Arnaud GierschCosmetics with spacings around colon (:).
2023-02-07 Arnaud GierschNormalize names for fields in class Node (trailing...
2023-02-06 Arnaud GierschRemove global variable.
2023-01-28 Martin QuinsonIntegrate more examples to the doc: all of DAG + others
2023-01-23 Martin QuinsonCosmetics in examples' comments and description
2023-01-22 Martin Quinsonextend example exec-failure to demonstrate state profiles
2023-01-21 Martin QuinsonCosmetics in an example and integrate it to the doc
2023-01-21 Martin QuinsonMove an example to the right section, and document it
2023-01-10 Martin QuinsonStop trying to build on native WIN32, it's broken anyway
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-11-21 Arnaud GierschCosmetics: "transfert" -> "transfer".
2022-11-17 Arnaud GierschCheck bounds.
2022-11-08 Arnaud GierschRemove explicit conversion to std::string when it's...
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral...
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path...
2022-10-31 Martin QuinsonBe more verbose on the blocking transition when display...
2022-10-23 Martin QuinsonAllow to set the network factors callback from userland...
2022-10-22 Martin QuinsonCleanups around network/latency-factor. Default latency...
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl...
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-08-08 Martin QuinsonDon't test statequality: it's ~15h w/o DPOR and hard...
2022-08-08 Martin QuinsonAdd the teshfiles to the archive even when MC is disabled
2022-08-08 Martin QuinsonAdd tests of state equality reduction and nodpor for...
2022-08-02 Martin QuinsonMerge an initialization function into the constructor
2022-07-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-07-15 Arnaud GierschFix distcheck (populate tesh_files, even when !HAVE_MC).
2022-07-13 Martin QuinsonMake sure that all MC tests are built on target tests-mc
2022-06-27 Arnaud GierschMerge branch 's4u_enforce' into 'master'
2022-06-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-06-21 Arnaud GierschMerge branch 'dev-cpuimpl-used' into 'master'
2022-06-10 Fabien ChaixFix regression tests
2022-06-02 Arnaud GierschAnother batch of pointer-to-const (sonar).
2022-05-13 Arnaud GierschEnable test only on 64bits.
2022-05-13 Arnaud GierschGive another try to test mc-bugged1-liveness-visited...
2022-05-09 Arnaud GierschTest is normally always true: replace by an assert.
2022-05-09 Arnaud GierschUse the init-statement to declare variables inside...
2022-05-06 Arnaud GierschReduce scope for temporary variables.
2022-05-06 Arnaud GierschReduce scope for variables used for dynamic_cast to...
2022-05-06 Arnaud GierschSearch in map once only.
2022-05-06 Arnaud GierschNo need to have two code paths.
2022-05-04 Arnaud GierschOops, it's stoi() for integers.
2022-05-03 Arnaud GierschDeclare local variables inside the if statement.
2022-05-03 Arnaud GierschMisc code simplifications guided by Sonar smells.
next