Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Replace memset(..., 0, ...) with zero-initialization.
[simgrid.git] / src / mc / api /
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master' tree | commitdiff
2023-02-27 Maxwell PirtleAdd first steps towards an implementation of ex(C) 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 GierschVarious cleanups. 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-20 Maxwell PirtleAllow actor transitions to be shared tree | commitdiff
2023-02-20 Maxwell PirtleAdd incomplete implementations of udpor_globals.cpp tree | commitdiff
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-20 Arnaud GierschMerge branch 'fix-probe' into 'master' tree | commitdiff
2023-02-20 Maxwell PirtleSend actor action probes one at a time tree | commitdiff
2023-02-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-02-18 Arnaud GierschVarious cleanups. tree | commitdiff
2023-02-17 mlaurentmatch previous merge updates tree | commitdiff
2023-02-17 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-17 mlaurentfix with full compiler warnings tree | commitdiff
2023-02-16 Martin QuinsonMerge branch 'fix-mc-tests' into 'master' tree | commitdiff
2023-02-16 Maxwell PirtleInitialize uninitialized transition for root state tree | commitdiff
2023-02-16 Maxwell PirtleFix root-node edge cases for states tree | commitdiff
2023-02-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-16 Martin Quinsonfix MC+gcc builds tree | commitdiff
2023-02-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-16 Martin Quinsonfix the build (but not all tests) of MC tree | commitdiff
2023-02-15 Martin QuinsonMerge branch 'actor-comms' into 'master' tree | commitdiff
2023-02-15 mlaurentupdated doc tree | commitdiff
2023-02-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-15 mlaurentadding documentation tree | commitdiff
2023-02-15 Maxwell PirtleReplace pending transition with latest execution tree | commitdiff
2023-02-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-13 mlaurentadding sleep sets to reduction techniques tree | commitdiff
2023-02-13 Maxwell PirtleFinalize passing transitions during model checking tree | commitdiff
2023-02-10 mlaurentFix for MC DPOR algorithm tree | commitdiff
2023-02-10 Maxwell PirtleAdd intial steps to transfer transitions to the MC tree | commitdiff
2023-02-08 Arnaud GierschDeclare functions with attribute 'noreturn' (sonar). tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. 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-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-10-03 Martin QuinsonFix an error message tree | commitdiff
2022-10-02 Martin QuinsonMore helpful error message when someone needs --cfg... tree | commitdiff
2022-08-26 Arnaud GierschType consistency. tree | commitdiff
2022-08-26 Arnaud GierschUse "std::vector" instead of C-style array (sonar). tree | commitdiff
2022-08-26 Arnaud GierschAvoid to send/receive zero-size messages. tree | commitdiff
2022-08-25 Arnaud GierschRemove temporary object (sonar). tree | commitdiff
2022-08-25 Arnaud GierschMake parameters pointer/reference-to-const (sonar). tree | commitdiff
2022-08-22 Arnaud GierschKill redundant blank lines (codefactor.io) tree | commitdiff
2022-08-09 Martin QuinsonMC: apply some sonar advices tree | commitdiff
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits... tree | commitdiff
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot... tree | commitdiff
2022-08-06 Martin QuinsonMake the RemoteApp a field of the Exploration, and... tree | commitdiff
2022-08-03 Martin QuinsonMove the automaton from mc::api to Liveness. An ugly... tree | commitdiff
2022-08-02 Martin Quinsonlog_state has nothing to do in RemoteApp, it belongs... tree | commitdiff
2022-08-02 Martin QuinsonSanitize MC finalization process and inline a function tree | commitdiff
2022-08-02 Martin QuinsonConvert Api::get_maxpid() into RemoteApp::get_maxpid() tree | commitdiff
2022-08-02 Martin QuinsonMerge an initialization function into the constructor tree | commitdiff
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp tree | commitdiff
2022-07-30 Martin QuinsonMC further cleanups (let it compile, this time) tree | commitdiff
2022-07-30 Martin QuinsonMC: rename a file to sort out the mess tree | commitdiff
2022-07-30 Martin QuinsonFinally kill mc::RemoteProcess::actors(). We now commun... tree | commitdiff
2022-07-30 Martin QuinsonMC: make it clear that we only have the info about... tree | commitdiff
2022-07-30 Martin QuinsonReduce the amount of MC locations reading the memory... tree | commitdiff
2022-06-30 Arnaud GierschMerge branch 'dev-get-hostname-faster' into 'master' 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-10 Martin QuinsonMC: better encapsulation design tree | commitdiff
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar). tree | commitdiff
2022-05-10 Arnaud GierschRemove spurious "using" declarations. tree | commitdiff
2022-05-06 Arnaud GierschReduce scope for temporary variables. tree | commitdiff
2022-03-30 Martin QuinsonMerge branch 'add_missing_comm_python_bindings' into... tree | commitdiff
2022-03-29 Martin QuinsonMerge branch 'dev-mailbox-clear' into 'master' tree | commitdiff
2022-03-28 Bruno DonassoloMerge branch 'issue105' into 'master' tree | commitdiff
2022-03-25 Arnaud Giersch[sonar] Don't mix public and private members (mc::State). tree | commitdiff
2022-02-28 Arnaud GierschOne less global variable: session_singleton. tree | commitdiff
2022-02-28 Arnaud GierschUseless lower-case alias. tree | commitdiff
2022-02-19 Martin QuinsonMC: the state does not need to have the simcall anymore tree | commitdiff
2022-02-19 Martin QuinsonMC: simplification knowing that every visible transitio... tree | commitdiff
2022-02-18 Martin QuinsonSplit TransitionAny and TransitionRandom to their own... tree | commitdiff
2022-02-18 Martin QuinsonAdd the MPI tag to the Send/Recv Transitions tree | commitdiff
2022-02-18 Martin QuinsonTry to fix the MC build on 32 bits tree | commitdiff
2022-02-18 Martin QuinsonCommDet: reimplement on top of transitions. Don't mess... tree | commitdiff
2022-02-18 Martin QuinsonAdd getters to the TransitionComm* and TransitionAny* tree | commitdiff
2022-02-18 Martin Quinsonsonar fixes tree | commitdiff
2022-02-18 Martin QuinsonGive the comm to {Send,Recv}Transition, as CommDet... tree | commitdiff
2022-02-17 Martin QuinsonCommDet shall become an extension of the SafetyChecker tree | commitdiff
2022-02-17 Martin Quinsonmake mc::State extendable so that CommDet does not... tree | commitdiff
2022-02-16 Arnaud GierschAdd basic check for failures in deserialization. tree | commitdiff
2022-02-16 Arnaud GierschBlank lines (codefactor.io). tree | commitdiff
2022-02-14 Martin QuinsonReduce code dupplication to please sonar tree | commitdiff
2022-02-13 Martin QuinsonImplement WaitAnyTransition tree | commitdiff
2022-02-13 Martin Quinsonbetter name tree | commitdiff
2022-02-13 Martin QuinsonSonar fixes tree | commitdiff
2022-02-13 Martin QuinsonFix MC builds with gcc12 (and make the serialization... tree | commitdiff
2022-02-12 Martin QuinsonImplement TestAnyTransition tree | commitdiff
2022-02-12 Martin QuinsonSimplify the serialization protocol to implement TestAn... tree | commitdiff
2022-02-12 Martin Quinsonimplement CommTestTransition tree | commitdiff
2022-02-12 Martin QuinsonMove dot_label() from Observer to Transition (+ some... tree | commitdiff
2022-02-12 Martin QuinsonFix more sonar things tree | commitdiff
next
Clone of SimGrid repository with local patches