Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Move the selection of the next transition to execute to mc::State
[simgrid.git] / src / mc /
2022-02-07 Martin QuinsonMove the selection of the next transition to execute... tree | commitdiff
2022-02-07 Martin QuinsonMake Liveness and CommDet more similar to Safety tree | commitdiff
2022-02-07 Martin QuinsonMC: inline a function tree | commitdiff
2022-02-07 Martin QuinsonAutomatize the computation of executed_transitions_ tree | commitdiff
2022-02-07 Martin QuinsonMove request_execute and request_to_string from api... tree | commitdiff
2022-02-07 Martin QuinsonKill a now unused parameter tree | commitdiff
2022-02-07 Martin QuinsonMC: Trade less use of executed_req for more network... tree | commitdiff
2022-02-07 Martin QuinsonMC: simplification: this function shall return a boolean tree | commitdiff
2022-02-07 Martin QuinsonLet's use bool for booleans tree | commitdiff
2022-02-07 Martin QuinsonMC: Inline and simplify a function tree | commitdiff
2022-02-07 Martin QuinsonMC: kill an unused function tree | commitdiff
2022-02-06 SUTER Frederickill unused function tree | commitdiff
2022-02-06 Martin Quinsonnardin clang (fix clang MC builds) tree | commitdiff
2022-02-06 Martin QuinsonMC: rely less on executed_req_ and more on observers tree | commitdiff
2022-02-05 Martin QuinsonWhat about not testing the dependencies of transitions... tree | commitdiff
2022-02-05 Martin QuinsonMC: Kill now unused fields tree | commitdiff
2022-02-05 Martin QuinsonDon't compute the dependencies locally in the checker... tree | commitdiff
2022-02-05 Martin QuinsonMC: isend/irecv are not blocking tree | commitdiff
2022-02-04 SUTER Fredericoopsie tree | commitdiff
2022-02-04 SUTER Fredericcontinue to mess with MC tree | commitdiff
2022-02-03 SUTER Fredericremove old simcall_comm_test and simcall_comm_testany tree | commitdiff
2022-02-03 SUTER Fredericsimcall translation is now useless tree | commitdiff
2022-02-03 Martin QuinsonMerge branch 'wifi_rate_zero' into 'master' tree | commitdiff
2022-02-03 SUTER Fredericdraft CommI{send,recv}Observer tree | commitdiff
2022-02-03 Arnaud GierschMerge branch 'stable' tree | commitdiff
2022-02-02 SUTER Fredericmore progress in simcalls modernization and MC cleanup tree | commitdiff
2022-02-01 SUTER FredericStart to modernize the remaining old simcalls related... tree | commitdiff
2022-01-13 SUTER Fredericforgot to build MC tree | commitdiff
2022-01-13 SUTER Fredericmake more ActivityImpl fields private tree | commitdiff
2022-01-06 Arnaud GierschRemove last bits of Lua bindings. tree | commitdiff
2022-01-06 Arnaud GierschUpdate copyright lines for 2022. tree | commitdiff
2021-12-22 Martin QuinsonMC: chop chop chop tree | commitdiff
2021-12-22 Martin Quinsonmc: inline a function tree | commitdiff
2021-12-22 Martin Quinsonmc: Kill dead code tree | commitdiff
2021-10-27 Arnaud Giersch[mc_dwarf] Continue with a warning on error. tree | commitdiff
2021-10-26 Arnaud GierschComplete error message. tree | commitdiff
2021-10-13 Arnaud GierschKill trailing whitespaces in source code files. tree | commitdiff
2021-10-01 SUTER Fredericdeprecate 2 simix functions tree | commitdiff
2021-09-21 SUTER Fredericmove MC stuff from simix_global to EngineImpl tree | commitdiff
2021-09-19 Arnaud GierschMissing includes. tree | commitdiff
2021-09-17 SUTER FredericMerge branch 'no_simix_global' tree | commitdiff
2021-09-17 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-09-17 SUTER Fredericget rid of simix_global and smx_private.hpp tree | commitdiff
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-08-24 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-08-23 Augustin DegommeRevert "Fix for clang 14: new check was added against... tree | commitdiff
2021-08-23 Augustin DegommeFix for clang 14: new check was added against substract... tree | commitdiff
2021-08-17 Arnaud GierschPleases somewhat codefactor.io, lgtm, and pvs-studio. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Protect from self assignment. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Initialize every members of class. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] Simplify boolean expressions. tree | commitdiff
2021-07-19 Arnaud Giersch[pvs-studio] No need to assign variable the same value. tree | commitdiff
2021-07-16 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2021-07-15 Martin QuinsonMC: warn the users when reaching max-depth with DPOR tree | commitdiff
2021-07-07 Arnaud GierschVector::at() is good enough to check bounds. tree | commitdiff
2021-06-25 Arnaud GierschTwo more const methods spotted by sonar. tree | commitdiff
2021-06-24 Arnaud GierschUse std::unique_ptr and remove explicit destructor. tree | commitdiff
2021-06-24 Arnaud GierschPass the real pointer to the englobing MC class for... tree | commitdiff
2021-06-22 Arnaud GierschMake field 'mc::ActorState::times_considered' private. tree | commitdiff
2021-06-22 Arnaud GierschAdd missing copyright notices. tree | commitdiff
2021-06-22 Augustin Degommehelp latest fedora with mc tree | commitdiff
2021-06-08 Augustin DegommeMerge branch 'factor_in_actions' into 'master' tree | commitdiff
2021-06-04 Arnaud Giersch[sonar] Replace redundant type with 'auto'. tree | commitdiff
2021-06-02 Arnaud GierschGet rid of "%s" in second argument of function xbt_str_... tree | commitdiff
2021-06-01 Arnaud GierschPrefer std algorithms. tree | commitdiff
2021-05-25 SUTER FredericContinue to migrate contents of simix_global to EngineImpl tree | commitdiff
2021-05-25 Arnaud GierschCoding style: ! -> 'not'. tree | commitdiff
2021-05-21 SUTER Fredericmigrate actors_to_run and actors_that_ran to EngineImpl tree | commitdiff
2021-05-12 Arnaud GierschChecking access before open is useless (fix race condit... tree | commitdiff
2021-05-10 Arnaud Giersch[cppcheck] Pass parameters by const reference. tree | commitdiff
2021-05-05 Martin QuinsonMC: Start implementing the dependency functions on... tree | commitdiff
2021-05-04 Arnaud GierschCosmetics. tree | commitdiff
2021-05-04 Arnaud GierschPut stdout in line buffer mode for MCed apps. tree | commitdiff
2021-05-04 Martin QuinsonMC: also flush application's stdout on backtrack tree | commitdiff
2021-04-30 Arnaud GierschResize(0) is redundant. tree | commitdiff
2021-04-30 Arnaud GierschMissing includes. tree | commitdiff
2021-04-23 Arnaud GierschMake SIMIX_simcall_name() use the type of observer_... tree | commitdiff
2021-04-22 Arnaud GierschUse std::string::rfind to match string prefix. tree | commitdiff
2021-04-22 Arnaud GierschUse type aid_t for actor ids. tree | commitdiff
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-04-07 Arnaud GierschReplace void* used for RemoteProcess pointers. tree | commitdiff
2021-04-07 Arnaud GierschUse a RemotePtr<> for RemoteProcess::heap_address. tree | commitdiff
2021-04-07 Arnaud GierschStop using void* for xbt_mheap_t. tree | commitdiff
2021-04-06 Arnaud GierschUse a Remote<> for remote smpi::Request. tree | commitdiff
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2021-04-02 Arnaud Giersch[mc] Enable finalize_app() in SafetyChecker. tree | commitdiff
2021-04-02 Arnaud GierschAvoid a local variable only used by xbt_assert. tree | commitdiff
2021-04-02 Arnaud GierschChange "if(...) xbt_die(...)" to "xbt_assert(...)". tree | commitdiff
2021-04-02 Arnaud GierschMake mc::Api::get_actor_name return a const&. tree | commitdiff
2021-04-01 Arnaud GierschImprove debug messages (code is still not functional). tree | commitdiff
2021-04-01 Arnaud GierschFIXME++ tree | commitdiff
2021-04-01 Arnaud GierschFix segfault with debug message. tree | commitdiff
2021-04-01 Arnaud GierschRender mc::Api::get_actor_name() public. tree | commitdiff
2021-04-01 Arnaud GierschZero-initialize struct to avoid valgrind warnings. tree | commitdiff
2021-04-01 Martin Quinsonsnake_case some surviving camels tree | commitdiff
2021-04-01 Martin QuinsonActor's ID should be a long, and should be named AID tree | commitdiff
2021-03-31 Arnaud GierschSave a reinterpret_cast. tree | commitdiff
2021-03-31 Arnaud GierschPtrace returns a long int. tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Add some coverage_checkpoint() for model-checked... tree | commitdiff
2021-03-30 Arnaud Giersch[mc] Politely ask the model-checked application to... tree | commitdiff
next
Clone of SimGrid repository with local patches