Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add missing '&' causing temporary value to be modified
[simgrid.git] / examples /
2023-04-14 Adrien Gougeonrename on_start/on_end functions call to on_this_start...
2023-04-12 Adrien Gougeonclang-format
2023-04-12 Adrien Gougeonadd operation examples
2023-04-10 Arnaud GierschUse an intermediate variable to compute the sum and...
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-27 Martin QuinsonActivate the stdobject test now that it works
2023-03-27 Martin QuinsonDon't set a really short timeout on sendsend now that...
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-24 Arnaud GierschFix test: program needs exactly 2 processes.
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-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
next