Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Actually, read()=0 is not an issue in the AppSide
[simgrid.git] / examples / cpp /
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.
2022-05-03 Arnaud GierschAvoid old-style C string processing in C++ example.
2022-04-27 Arnaud GierschUse structured binding declarations (sonar, c++17).
2022-04-26 Arnaud GierschDon't build useless temporary object (sonar, c++17).
2022-04-25 Arnaud GierschRely on template argument deduction (sonar, c++17).
2022-04-25 Arnaud GierschPrefer using "try_emplace" (sonar, c++17).
2022-04-15 Arnaud GierschMerge branch 'dev/s4u_tuto_fixes' into 'master'
2022-04-14 Martin Quinsontypo
2022-03-31 SUTER Fredericint->size_t
2022-03-31 SUTER Fredericallow users to retrieve hosts and links by the zone...
2022-03-30 Martin QuinsonMerge branch 'add_missing_comm_python_bindings' into...
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master'
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master'
2022-03-25 Arnaud GierschSlightly improve message on deadlock.
2022-03-23 Martin QuinsonRevalidate the tesh outputs after cosmetics to the...
2022-03-20 Martin QuinsonDon't have an extra actor in s4u-synchro-mutex to creat...
2022-03-17 Arnaud GierschSuppress trailing whitespaces.
2022-03-16 Arnaud GierschMake example s4u-replay-io use s4u::File::open/close.
2022-03-16 Arnaud GierschFix misc sonar issues.
2022-03-16 Martin QuinsonMerge branch 'add_barrier_python_bindings' into 'master'
2022-03-15 Martin QuinsonBetter fix for the mutex IDs modifications in mutex...
2022-03-15 Martin QuinsonRevalidate the tesh output of mutex-MC. The mutex IDs...
2022-03-15 Martin QuinsonMerge branch 'add_mutex_python_bindings' into 'master'
2022-03-15 Jean-Edouard BOULANGERMake synchro-mutex.py in line with s4u-synchro-mutex.cpp
2022-03-14 Martin Quinsonsynchro-mutex example: don't have all pairs intermix...
2022-03-14 Martin QuinsonMerge branch 'dev-profile-callbacks' into 'master'
2022-03-14 Fabien ChaixRefactoring profiles to use generic callbacks
2022-03-12 SUTER Fredericaugment example to check sharing of a thread-execute
2022-03-11 Martin QuinsonMerge branch 'add_remaining_comm_sync_bindings' into...
next