Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Correctly disable DPOR when StateEq reduction is enabled
[simgrid.git] / src / mc / api /
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
2022-02-11 Martin QuinsonFix the depends of iSend/iRecv vs. WaitComm to fix... tree | commitdiff
2022-02-11 Martin QuinsonImplement the RandomTransition tree | commitdiff
2022-02-11 Martin QuinsonMC: one simplification step tree | commitdiff
2022-02-11 Martin QuinsonMake sure that the last stack element is set when an... tree | commitdiff
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory tree | commitdiff
Clone of SimGrid repository with local patches