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 an assert that the checker don't try to exec disabled transitions
[simgrid.git] / src / mc / transition /
2023-11-07 Martin QuinsonTell the MC transition about the semaphore capacity... tree | commitdiff
2023-11-07 Martin Quinsoncosmetics: this is an ID, not a ptr tree | commitdiff
2023-11-06 Martin QuinsonActions executed by the same actor are always dependent... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonFix various build errors tree | commitdiff
2023-11-02 Martin QuinsonActions executed by the same actor are always dependent tree | commitdiff
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-24 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-21 Martin QuinsonFix the dependency of barrier from the same actor ... tree | commitdiff
2023-07-10 Fred SuterMerge remote-tracking branch 'origin/master' into jbod tree | commitdiff
2023-07-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-07-10 Arnaud GierschMissing includes (for gcc-14?) tree | commitdiff
2023-07-10 Arnaud GierschCosmetics (codefactor.io). tree | commitdiff
2023-07-10 Arnaud GierschMake function "const", and void copy by returning a... tree | commitdiff
2023-07-02 Martin QuinsonFix a MC serialization bug around WaitAny tree | commitdiff
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker tree | commitdiff
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces tree | commitdiff
2023-06-29 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-27 Arnaud GierschUse std::any_of(...). tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-20 Fred SuterMerge branch 'master' into 'task-token' tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-15 Martin QuinsonDo not consider the memory addresses in MC depends... tree | commitdiff
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value... tree | commitdiff
2023-06-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-14 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentAdd function call and full location in checker-side... tree | commitdiff
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master' tree | commitdiff
2023-06-09 Maxwell PirtleAdd events with implicit bottom event tree | commitdiff
2023-06-09 Maxwell PirtleAdd partial implementation for MutexWait/MutexTest tree | commitdiff
2023-06-09 Maxwell PirtleAdd ex(C) computation for mutex lock/unlock tree | commitdiff
2023-06-09 Maxwell PirtleAdd "working" UDPOR on small examples with CommWait... tree | commitdiff
2023-06-09 Maxwell PirtleAdd ex(C) example with a small program tree | commitdiff
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation 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 Arnaud GierschBuffers should not be considered by CommWaitTransition... 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 Arnaud GierschClang-tidy: readability-qualified-auto. 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 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 PirtleMark transitions run by the same actor as dependent tree | commitdiff
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic tree | commitdiff
2023-05-12 Maxwell PirtleFix ObjectAccess dependency check tree | commitdiff
2023-05-12 Maxwell PirtleMark `ActorJoin` dependent with `target_` tree | commitdiff
2023-04-03 mlaurentBetter handling of test any 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 QuinsonFix non-MC builds when MC-only dependencies are missing 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-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-24 Arnaud GierschDelete redundant blank lines at the start of a code... tree | commitdiff
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack... tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonFix some easy sonar smells tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class tree | commitdiff
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears tree | commitdiff
2023-03-17 Martin QuinsonMove handle_simcall from ModelChecker to RemoteApp tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-12 Martin Quinsonmove wait_for_requests() from ModelChecker to RemoteApp 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-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-22 mlaurenttransitions in the same actor are dependent 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-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral... tree | commitdiff
2022-11-04 Martin QuinsonReduce the amount of header files loading xbt/string.hpp tree | commitdiff
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl... tree | commitdiff
2022-10-16 Martin QuinsonImplement pthread_join in MC mode for sthread tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp tree | commitdiff
2022-06-27 Arnaud GierschMerge branch 's4u_enforce' into 'master' tree | commitdiff
2022-06-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-06-23 Arnaud GierschMissing include (for uintptr_t). tree | commitdiff
2022-05-30 Arnaud GierschMerge selected changes from branch 'simgrid-Jesse-McDon... tree | commitdiff
2022-05-24 Arnaud GierschSonar issues. tree | commitdiff
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar). tree | commitdiff
2022-05-03 Arnaud GierschDeclare local variables inside the if statement. tree | commitdiff
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master' tree | commitdiff
next
Clone of SimGrid repository with local patches