Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Kill simgrid::xbt::cmdline and simgrid::xbt::binary_name
[simgrid.git] / src / mc /
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-19 Martin QuinsonRemove more occurences of 'surf' with uppercases tree | commitdiff
2023-02-18 Martin QuinsonKill src/include tree | commitdiff
2023-02-18 Martin Quinsonreduce the amount of header includes in headers, to... 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-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 Martin Quinsonfix MC+gcc builds 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 Maxwell PirtleAdd note about resetting `times_considered` tree | commitdiff
2023-02-15 Maxwell PirtleReplace pending transition with latest execution tree | commitdiff
2023-02-13 Maxwell PirtleFinalize passing transitions during model checking tree | commitdiff
2023-02-10 Maxwell PirtleAdd intial steps to transfer transitions to the MC tree | commitdiff
2023-02-09 Martin QuinsonMerge branch 'arm-patch' into 'master' tree | commitdiff
2023-02-09 Maxwell PirtleAdd patch for arm64 Ubuntu 22.04 in UnwindContext tree | commitdiff
2023-02-08 Arnaud GierschCosmetics with spacings around colon (:). tree | commitdiff
2023-02-08 Arnaud GierschDeclare functions with attribute 'noreturn' (sonar). tree | commitdiff
2023-02-06 Arnaud GierschAvoid duplicate declaration. tree | commitdiff
2023-01-24 Arnaud GierschCondition is always false. tree | commitdiff
2023-01-13 Arnaud GierschFix MC+sthread+coverage. tree | commitdiff
2023-01-10 Martin QuinsonStop trying to build on native WIN32, it's broken anyway tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-12-16 Arnaud GierschUse std::byte for bye-oriented data manipulation (sonar). tree | commitdiff
2022-12-07 Arnaud GierschKill unimplemented declarations. tree | commitdiff
2022-11-21 Arnaud GierschAddress misc Sonar issues. tree | commitdiff
2022-11-08 Arnaud GierschRemove explicit conversion to std::string when it's... tree | commitdiff
2022-11-07 Arnaud GierschUse boolean value. tree | commitdiff
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral... tree | commitdiff
2022-11-05 Martin QuinsonAllow the MC replay to use the 'zero' buffering tree | commitdiff
2022-11-04 Martin QuinsonReduce the amount of header files loading xbt/string.hpp tree | commitdiff
2022-11-04 Martin QuinsonKill the now useless type xbt::string 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-11-01 Martin QuinsonDisplay the stack of each actor during a MC replay... tree | commitdiff
2022-11-01 Fred SuterMerge branch 'fluidio' into 'master' tree | commitdiff
2022-10-31 Martin QuinsonMC replay: check whether there is a deadlock after... tree | commitdiff
2022-10-31 Martin QuinsonAlign the behavior of MC and MC_replay in SMPI, so... tree | commitdiff
2022-10-31 Martin QuinsonBe more verbose on the blocking transition when display... tree | commitdiff
2022-10-30 Martin QuinsonMC_replay: Ensure that times_considered is always set tree | commitdiff
2022-10-27 Arnaud GierschFix infinite recursion. tree | commitdiff
2022-10-27 Arnaud GierschUse true/false for boolean variable (Sonar). tree | commitdiff
2022-10-21 Martin Quinsonfix the parameter of a strncpy call tree | commitdiff
2022-10-17 Martin QuinsonFix non-MC builds that don't have libevent-dev installed tree | commitdiff
2022-10-16 Martin QuinsonKill redundent sanity checks tree | commitdiff
2022-10-16 Martin QuinsonDon't include simgrid/config.h from simgrid/modelchecke... 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-14 Arnaud GierschRestore the previous observable behavior. tree | commitdiff
2022-10-14 Arnaud GierschFix crash with debug logs. 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-09-21 Arnaud GierschKill obsolete FIXME. tree | commitdiff
2022-08-26 Arnaud GierschType consistency. tree | commitdiff
2022-08-26 Arnaud GierschAttribute "printf" for ModelChecker::dot_output. 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 GierschMisc cosmetics for sonar. tree | commitdiff
2022-08-25 Arnaud GierschRemove temporary object (sonar). tree | commitdiff
2022-08-25 Arnaud GierschDeclare functions "const" (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-09 Arnaud GierschFix the fixme (inline templated struct). tree | commitdiff
2022-08-08 Martin QuinsonDon't test statequality: it's ~15h w/o DPOR and hard... tree | commitdiff
2022-08-08 Martin QuinsonCorrectly disable DPOR when StateEq reduction is enabled tree | commitdiff
2022-08-07 Martin Quinsonkill a parameter that is always true tree | commitdiff
2022-08-07 Martin Quinsonmc:DFSExplo: cosmetics in the backtracking tree | commitdiff
2022-08-07 Martin QuinsonMerge mc_safety.hpp into DFSExplorer class tree | commitdiff
2022-08-07 Martin QuinsonUseless cosmetics while trying to understand that code tree | commitdiff
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object tree | commitdiff
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot tree | commitdiff
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits... tree | commitdiff
2022-08-06 Martin QuinsonMove mc:api::get_remote_heap_bytes() to RemoteProcess tree | commitdiff
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot... tree | commitdiff
2022-08-06 Martin QuinsonMove the dot_output global into ModelChecker tree | commitdiff
2022-08-06 Martin QuinsonMake the RemoteApp a field of the Exploration, and... tree | commitdiff
2022-08-05 Martin QuinsonSimplify the MC initialization code tree | commitdiff
2022-08-04 Martin Quinsononly 3 more functions to go in mc::api tree | commitdiff
2022-08-04 Martin QuinsonKill another mc::api function tree | commitdiff
2022-08-04 Martin QuinsonPass the remote app as a parameter to all exploration... tree | commitdiff
2022-08-04 Martin QuinsonKill 2 more functions from mc::api 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 QuinsonKill mc::api::get_remote_app() tree | commitdiff
2022-08-02 Martin QuinsonKill another function of mc::api tree | commitdiff
2022-08-02 Martin QuinsonKill an unimplemented declaration 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-08-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-08-01 Martin QuinsonEnsure that the verified application still works if... tree | commitdiff
2022-07-31 Martin QuinsonKill a now useless variable tree | commitdiff
2022-07-31 Martin Quinsonsanitize things around FINALIZE_REPLY despite my lazine... tree | commitdiff
next
Clone of SimGrid repository with local patches