Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix MC gcc builds :(
[simgrid.git] / src / mc /
2022-02-12 Martin QuinsonFix MC gcc builds :( tree | commitdiff
2022-02-12 Augustin Degommefix build tree | commitdiff
2022-02-12 Martin QuinsonMove dot_label() from Observer to Transition (+ some... tree | commitdiff
2022-02-12 Martin QuinsonImprove the final stats reported by SafetyChecker,... tree | commitdiff
2022-02-12 Martin QuinsonFix more sonar things tree | commitdiff
2022-02-12 Martin QuinsonBetter fix for the security warning from sonar: hide... tree | commitdiff
2022-02-12 Martin QuinsonFix the security hotspots of sonar 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 QuinsonRemove the hostnames from the CommDet patterns: MC... 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 QuinsonNo need to save the observers on the App side now that... tree | commitdiff
2022-02-11 Martin QuinsonInline another stupid function tree | commitdiff
2022-02-11 Martin QuinsonObjectification of mc::RecordTrace tree | commitdiff
2022-02-11 Martin QuinsonStop copying transitions around since that would shorte... tree | commitdiff
2022-02-11 Martin QuinsonInline another useless function in MC and a define... tree | commitdiff
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory tree | commitdiff
2022-02-11 Martin QuinsonInline a function of mc::api tree | commitdiff
2022-02-11 Martin Quinsonfix MC despite clang-format sorting the headers alphabe... tree | commitdiff
2022-02-11 Martin QuinsonFix builds with/without MC and with/without clang ... tree | commitdiff
2022-02-11 Martin QuinsonPrepare to debug the depends tree | commitdiff
2022-02-11 Martin QuinsonMC does not need the exact value of the timeout, only... tree | commitdiff
2022-02-11 Martin Quinsondon't use char* for pointers that shall be serialized... tree | commitdiff
2022-02-11 Martin QuinsonPass the depends() from the observer to the mc::Transit... tree | commitdiff
2022-02-11 Martin QuinsonBig bang in MC: app's observers are serialized, to... tree | commitdiff
2022-02-07 Martin QuinsonFast path: don't check the dependency between null... tree | commitdiff
2022-02-07 Martin QuinsonUnify the way we count expended states between checkers tree | commitdiff
2022-02-07 Martin QuinsonDefine and use a Transition::to_cstring() tree | commitdiff
2022-02-07 Martin QuinsonMove Transition::execute() to State::execute_next() tree | commitdiff
2022-02-07 Martin QuinsonMake State::transition_ private tree | commitdiff
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
next
Clone of SimGrid repository with local patches