Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Actually, read()=0 is not an issue in the AppSide
[simgrid.git] / examples /
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-13 Martin QuinsonCorrectly protect tests property settings, bummer
2023-03-12 Martin QuinsonMove another function out of ModelChecker
2023-03-12 Martin QuinsonMake the sendsend tests at least fail fast to not hinde...
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master'
2023-03-08 Arnaud GierschUse #include <...> for foreign header files.
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master'
2023-03-06 Martin QuinsonFix clang build and make output more portable/predictible
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant...
2023-03-06 Martin QuinsonCosmetics in sthread output when not using SMPI
2023-03-05 Arnaud GierschSonar smells.
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master'
2023-03-03 Martin QuinsonBump cmake to at least 3.12
2023-03-02 Martin QuinsonAllow to call SMPI_app_instance_start() once the simula...
2023-03-02 Arnaud GierschHelp to identify null values.
2023-03-01 Martin QuinsonNew function SMPI_app_instance_start() to easily start...
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-27 Martin QuinsonPlug a memleak + experience that code out of the MC...
2023-02-26 Martin QuinsonAllow to control the problem size from the cmd line...
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 GierschUseless casts to (void*).
2023-02-23 Arnaud GierschMore Sonar issues.
2023-02-23 Arnaud GierschUse normal strings instead of f-strings (Sonar).
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 Martin QuinsonImplement the semaphore functions in sthread
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-19 Martin QuinsonRemove more occurences of 'surf' with uppercases
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 some more occurence of 'surf' in comments and...
2023-02-18 Martin QuinsonRemove surf from the content from the examples of simul...
2023-02-17 Martin QuinsonRename option maxmin/precision to precision/work-amount...
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-02-06 Arnaud GierschRemove global variable.
2023-01-28 Martin QuinsonFix the code and doc of Comm/Exec suspend/resume in...
2023-01-28 Martin QuinsonReorg examples to show activities dependencies with...
2023-01-28 Martin QuinsonMove the S4U examples to another chapter
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-23 Martin QuinsonAnother example gets documented (+cosmetics)
2023-01-22 Martin QuinsonRemove an example that is a dupplicate of another one
2023-01-22 Martin Quinsons/ *$// over all RST files (no content modification)
2023-01-22 Martin QuinsonDocument yet another example
2023-01-22 Martin Quinsonextend example exec-failure to demonstrate state profiles
2023-01-21 Martin QuinsonYet another example integrated in the doc
2023-01-21 Martin QuinsonAdd another example to the doc
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-14 Arnaud GierschRemove more references to MSG in documentation.
2023-01-13 Arnaud GierschTypos.
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
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-12-07 Arnaud GierschKill unimplemented declarations.
2022-12-06 Arnaud GierschAdd -Wextra to CFLAGS too.
2022-12-01 Martin QuinsonBig fat error message when trying to enable MC on not...
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 QuinsonRevalidate a tesh file in Java after recent changes
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 QuinsonDisplay the mailbox name when showing a deadlocking...
2022-11-01 Martin QuinsonMC: display the status of all actors in case of deadlock
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-25 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2022-10-24 Martin Quinsondoc: link to some more existing examples
2022-10-23 Martin QuinsonAllow to set the network factors callback from userland...
2022-10-23 Martin QuinsonMerge network/bandwidth-factor and smpi/bw-factor ...
2022-10-22 Martin QuinsonCleanups around network/latency-factor. Default latency...
2022-10-21 Martin QuinsonDoc: link another python example (+ typo)
2022-10-16 Martin QuinsonAdd a sthread+MC example that deadlocks
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl...
2022-10-16 Martin QuinsonAdd a sthread example that works (no deadlock)
2022-10-11 Arnaud GierschEnable simple sthread example.
2022-10-11 Arnaud GierschActor::create already does init->start.
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
next