Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / examples / sthread /
2023-11-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-21 Martin QuinsonVarious sonar cleanups tree | commitdiff
2023-11-20 Martin QuinsonMerge branch 'task-docs' into 'master' tree | commitdiff
2023-11-20 Martin QuinsonFix a dead store reported by infer tree | commitdiff
2023-11-15 Martin QuinsonProperly pass the LD_PRELOAD as a setenv command in... tree | commitdiff
2023-11-15 Martin Quinsoncut the backtrace displayed from sthread to the sthread... tree | commitdiff
2023-11-12 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-09 mlaurentFix tesh with new dependencies on Mutex tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 Martin QuinsonFix SemWai::ReversibleRace() tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-07 Arnaud GierschUse standard __func__ instead of __FUNCTION__. tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonRemove ignored lines from tesh files, uberbumer tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-27 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-27 Martin QuinsonMissing files, and fix make distcheck tree | commitdiff
2023-10-26 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-26 Martin QuinsonFinish up the implementation of recursive mutexes tree | commitdiff
2023-10-25 Martin Quinsonsthread: implement recursive mutexes (test broken so... tree | commitdiff
2023-10-25 Martin Quinsonsthread: do not intercept valgrind nor /bin/sh, and... tree | commitdiff
2023-10-25 Martin QuinsonMissing copyright headers tree | commitdiff
2023-10-24 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-23 Martin Quinsonsthread_access: also take the function name in the... tree | commitdiff
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-22 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-22 Martin Quinsonmodel-check/sleep-set is now true by default tree | commitdiff
2023-06-21 Martin QuinsonIncrease a bit an example which size got reduced when... tree | commitdiff
2023-06-07 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 mlaurentAdd factorisation for strategy and Use dynamic over... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 mlaurentFix stat missorder at the end of DFSexplorer tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master' tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-05-30 Maxwell PirtleAdjust tesh tests according to changes in deps. tree | commitdiff
2023-05-12 Maxwell PirtleModify tesh suite expectations with changes to dependencies tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the... tree | commitdiff
2023-04-07 Arnaud GierschDefine and use VALGRIND_NO_TRACE_CHILDREN for simgrid... tree | commitdiff
2023-04-07 Arnaud GierschAdd $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid... tree | commitdiff
2023-04-04 Arnaud GierschRegenerate tesh files. tree | commitdiff
2023-04-01 Martin QuinsonOnly compile stateless MC when libevent is found tree | commitdiff
2023-03-31 Martin QuinsonRename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC... tree | commitdiff
2023-03-31 Martin QuinsonCompile the safe part of MC in default mode too tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-30 mlaurentReplace state copy with recipe: list of transition... tree | commitdiff
2023-03-28 mlaurentChange opened states for a priority queue tree | commitdiff
2023-03-27 mlaurentNow handle random transition and multiple times transitions tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-27 Martin QuinsonActivate the stdobject test now that it works tree | commitdiff
2023-03-26 Martin QuinsonRevert "Revalidate tesh files now that safety checking... tree | commitdiff
2023-03-24 Martin QuinsonRevalidate tesh files now that safety checking is based... tree | commitdiff
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack... tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-08 Martin QuinsonMerge branch 'udpor-phase4' into 'master' tree | commitdiff
2023-03-06 Martin QuinsonFix clang build and make output more portable/predictible tree | commitdiff
2023-03-06 Martin Quinsonsthread: Add a way to verify accesses to non-reentrant... tree | commitdiff
2023-03-06 Martin QuinsonCosmetics in sthread output when not using SMPI tree | commitdiff
2023-03-05 Arnaud GierschSonar smells. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-03 Martin QuinsonBump cmake to at least 3.12 tree | commitdiff
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-27 Martin QuinsonPlug a memleak + experience that code out of the MC... tree | commitdiff
2023-02-26 Martin QuinsonAllow to control the problem size from the cmd line... tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master' tree | commitdiff
2023-02-23 Arnaud GierschUseless casts to (void*). tree | commitdiff
2023-02-23 Arnaud GierschMore Sonar issues. tree | commitdiff
2023-02-22 Martin QuinsonImplement the semaphore functions in sthread tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurentfix a few test with dpor tree | commitdiff
2023-02-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-08 Arnaud GierschCosmetics with spacings around colon (:). tree | commitdiff
2023-01-13 Arnaud GierschTypos. tree | commitdiff
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-11-01 Martin QuinsonMC: display the status of all actors in case of deadlock tree | commitdiff
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path... tree | commitdiff
2022-10-16 Martin QuinsonAdd a sthread+MC example that deadlocks tree | commitdiff
2022-10-16 Martin QuinsonAdd a sthread example that works (no deadlock) tree | commitdiff
2022-10-11 Arnaud GierschEnable simple sthread example. tree | commitdiff
2022-10-11 Arnaud GierschActor::create already does init->start. tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-07-10 Martin QuinsonSurvive with old cmakes tree | commitdiff
2022-07-10 Martin QuinsonCompile pthread-mutex-simple in a way that allows its... tree | commitdiff
2022-06-30 Arnaud GierschFix test with ASan. tree | commitdiff
2022-06-30 Arnaud GierschPlease valgrind. tree | commitdiff
2022-06-30 Arnaud GierschMerge branch 'dev-get-hostname-faster' into 'master' tree | commitdiff
next
Clone of SimGrid repository with local patches