Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of framagit.org:simgrid/simgrid
[simgrid.git] / src / mc /
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-10 Martin QuinsonDFS MC: Restore from system states even if we have... tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master' tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master' tree | commitdiff
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar). tree | commitdiff
2023-05-09 Arnaud GierschUse a std::vector as an underlying container for backtr... tree | commitdiff
2023-05-05 Arnaud GierschMisc Sonar issues. tree | commitdiff
2023-05-03 Martin QuinsonOne use less of get_recipe() that will soon die tree | commitdiff
2023-05-03 Martin QuinsonFactorize more code between DFSExplo and LivenessExplo... tree | commitdiff
2023-05-02 Arnaud GierschDefine each identifier in a dedicated statement (sonar). tree | commitdiff
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-27 Martin QuinsonLazily compute the recipe of a state, on need only tree | commitdiff
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC tree | commitdiff
2023-04-27 Martin QuinsonMC: give each state an incoming transition too tree | commitdiff
2023-04-27 Martin QuinsonFix comment [no-ci] tree | commitdiff
2023-04-27 Arnaud GierschFix comment. tree | commitdiff
2023-04-27 Arnaud GierschThere is no need to declare the default constructors... tree | commitdiff
2023-04-27 Arnaud GierschFix build error: exception specification of explicitly 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-17 Martin Quinsonsonar fixes tree | commitdiff
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the... tree | commitdiff
2023-04-15 Martin QuinsonAlso send the disabled transitions over: UDPOR needs it tree | commitdiff
2023-04-15 Martin QuinsonMore informative message on system error tree | commitdiff
2023-04-14 Martin QuinsonMore defensive programing style tree | commitdiff
2023-04-13 Martin QuinsonTrust the config system to check that only valid values... tree | commitdiff
2023-04-12 Arnaud GierschInline Exploration::system_error. tree | commitdiff
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid... tree | commitdiff
2023-04-12 Arnaud GierschUse an exception on Exploration::system_exit(). tree | commitdiff
2023-04-12 Arnaud GierschSonar... tree | commitdiff
2023-04-11 Arnaud GierschAssignment operators should return non-"const" referenc... tree | commitdiff
2023-04-11 Arnaud GierschMark functions as "const" (sonar). tree | commitdiff
2023-04-11 Arnaud GierschUse std::string (sonar). tree | commitdiff
2023-04-11 Arnaud GierschMisc sonar issues. tree | commitdiff
2023-04-11 Arnaud GierschReduce scope for variables (sonar). tree | commitdiff
2023-04-11 Arnaud GierschPointer and reference should be "const" if the correspo... tree | commitdiff
2023-04-11 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-10 Arnaud GierschLess low-level operations to manage receive buffer. tree | commitdiff
2023-04-07 Martin QuinsonPlease don't fix this error reported by clang-static... tree | commitdiff
2023-04-06 Martin QuinsonMC: Reap all zombie childs to avoid them to accumulate tree | commitdiff
2023-04-06 Maxwell PirtleRename `remove()` method on `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleMake use of the sets `G` and `U` with `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleFix bug with immediate conflict detection tree | commitdiff
2023-04-05 Martin QuinsonImprove the logging level of that message that is relat... tree | commitdiff
2023-04-05 Arnaud GierschExamine all opened_states_ to find the best candidate. tree | commitdiff
2023-04-05 Arnaud GierschRename MC_NEED_PTRACE -> SIMGRID_MC_NEED_PTRACE for... tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-05 Arnaud GierschSonar smells; remove redundant mentions of std::shared_... tree | commitdiff
2023-04-05 Maxwell PirtleFix conflict detection between configs + history tree | commitdiff
2023-04-05 Maxwell PirtleFix dynamic_cast<> typo for computation for CommRecv tree | commitdiff
2023-04-05 Maxwell PirtleClarify that the issuer for a CommWait() action is... tree | commitdiff
2023-04-05 Maxwell PirtleAdd first round of debug logging to UDPOR tree | commitdiff
2023-04-05 Maxwell PirtleIntermediate commit to prove that UDPOR functions tree | commitdiff
2023-04-05 Maxwell PirtleFill in implementation of CommWait before large changes tree | commitdiff
2023-04-05 Maxwell PirtleAdd extension set computations without type casts tree | commitdiff
2023-04-05 Maxwell PirtleAdd first steps for ex(C) for CommWait tree | commitdiff
2023-04-05 Maxwell PirtleMove state stack management to member on UnfoldingChecker tree | commitdiff
2023-04-05 Maxwell PirtleAdd comment on state restoration in UnfoldingChecker tree | commitdiff
2023-04-05 Maxwell PirtleTrack the current sequence of states with UDPOR tree | commitdiff
2023-04-05 Maxwell PirtleReplace switch statement with map of handlers tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementation for ex(C) for CommSend tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementations to ExtensionSetCalculator tree | commitdiff
2023-04-05 Maxwell PirtleAdd ExtensionSetCalculator files tree | commitdiff
2023-04-05 Maxwell PirtleAdd test case for tracking latest events/transitions tree | commitdiff
2023-04-05 Maxwell PirtleAdd dependency between same actor for tests tree | commitdiff
2023-04-05 Maxwell PirtleBegin tracking latest events for each actor tree | commitdiff
2023-04-05 Martin QuinsonMake strsignal(SIGSEGV) return the same string across... tree | commitdiff
2023-04-04 Martin QuinsonUse the fast SOCK_SEQPACKET where available tree | commitdiff
2023-04-04 Martin QuinsonMake the MC protocol work on top of STREAM sockets tree | commitdiff
2023-04-04 Arnaud GierschUse a multiset to handle opened states, and ensures... tree | commitdiff
2023-04-04 Arnaud GierschAn integer seems good enough to handle priorities,... tree | commitdiff
2023-04-03 Martin QuinsonDon't die at compilation when activating stateless... tree | commitdiff
2023-04-03 Arnaud GierschRevert "Treat ECONNRESET like a normal connection close." tree | commitdiff
2023-04-03 Arnaud GierschTreat ECONNRESET like a normal connection close. tree | commitdiff
2023-04-02 Martin QuinsonDon't use ucontextes on Apple hosts tree | commitdiff
2023-04-02 Martin QuinsonCast a printf parameter to please MacOS X tree | commitdiff
2023-04-02 Martin QuinsonDisable MC stateful API when not running in MC tree | commitdiff
2023-04-02 Martin QuinsonMC stateful API is only needed when stateful MC is... tree | commitdiff
2023-04-02 Martin QuinsonDon't use CLOEXEC tree | commitdiff
2023-04-01 Martin QuinsonIgnore empty replay path + hide a global (to avoid... tree | commitdiff
2023-04-01 Martin QuinsonDon't qwack when the default empty string is passed... tree | commitdiff
2023-04-01 Martin QuinsonFix an initialization race around the AppSide 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 QuinsonTry to please the ultramodern clang running on FreeBSD... 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 mlaurentAbide by both compiler warnings 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-26 Martin QuinsonImplement reforks by forking the application, to save... tree | commitdiff
2023-03-25 Martin Quinsonmemset 0 the memory that is sent over the network tree | commitdiff
2023-03-25 Martin QuinsonMC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO tree | commitdiff
2023-03-25 Martin QuinsonActually, now that the appside is not ptraced, there... tree | commitdiff
2023-03-25 Martin QuinsonInvert another logic error: we need ptrace when we... tree | commitdiff
next
Clone of SimGrid repository with local patches