Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
MC: one simplification step
[simgrid.git] / src /
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-10 Arnaud Giersch[pvs] Don't let members uninitialized. tree | commitdiff
2022-02-10 Arnaud GierschAnother pointer-to-const. tree | commitdiff
2022-02-09 Arnaud Gierschpointer2const4sonar tree | commitdiff
2022-02-09 Arnaud GierschForward all the parameters to the observer. tree | commitdiff
2022-02-08 Arnaud GierschFix memory leak with ns3 routing tables. tree | commitdiff
2022-02-08 Arnaud GierschReduce scope for variables. tree | commitdiff
2022-02-08 SUTER Fredericsimplify calls to CommImpl::isend and CommImpl::irecv tree | commitdiff
2022-02-08 SUTER Frederic[sonar] constify 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 Fredericenforce simcall order as before to check dependencies... tree | commitdiff
2022-02-06 SUTER Fredericfix isend/irecv to string tree | commitdiff
2022-02-06 SUTER Frederictest and testany are non blocking simcalls 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 SUTER Fredericback to normal ... keep progressing towards modern... tree | commitdiff
2022-02-05 Martin QuinsonMC: isend/irecv are not blocking tree | commitdiff
2022-02-05 Martin QuinsonMC: do not segfault when the logs are activated tree | commitdiff
2022-02-04 Martin Quinsonconvert more isend/irecv locations to the new simcalls... tree | commitdiff
2022-02-04 SUTER Fredericoopsie tree | commitdiff
2022-02-04 SUTER Fredericcontinue to mess with MC tree | commitdiff
2022-02-04 SUTER Fredericstay with double for payload size (fix 32bit issues? tree | commitdiff
2022-02-03 Martin Quinsonpreshot sonar (dead code; equality test between double) 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 Fredericlet SMPI use old simcalls for now tree | commitdiff
2022-02-03 SUTER Fredericmake isend and irecv observable (except for irecv in... tree | commitdiff
2022-02-03 SUTER Fredericdraft CommI{send,recv}Observer tree | commitdiff
2022-02-03 SUTER Fredericmove the code of isend and irecv out of the handler... tree | commitdiff
2022-02-03 Arnaud GierschMerge branch 'stable' tree | commitdiff
2022-02-02 SUTER Fredericadd missing override keywords tree | commitdiff
2022-02-02 SUTER Fredericmore progress in simcalls modernization and MC cleanup tree | commitdiff
2022-02-02 SUTER Fredericmark some old simcalls as deprecated (test, test_any... tree | commitdiff
2022-02-02 SUTER Frederictake two on prepare() for Waitany and Testany observers tree | commitdiff
2022-02-02 Clément Courageux... zero wifi rate tree | commitdiff
2022-02-02 SUTER Fredericbetter handling of ActivityImpl::wait_for with dying... tree | commitdiff
2022-02-02 SUTER Fredericadd prepare() to some observers tree | commitdiff
2022-02-01 Martin Quinsonthis file is too deep to allow XBT_INFO, so keep with... tree | commitdiff
2022-02-01 Martin QuinsonMore verbose on an error experienced on aarch64-darwin... tree | commitdiff
2022-02-01 Augustin DegommeThere is no timestamp in TI events, so they were never... tree | commitdiff
2022-02-01 Arnaud GierschReduce depth of nested 'if' statements (sonar). tree | commitdiff
2022-02-01 Arnaud GierschAvoid const cast (sonar). tree | commitdiff
2022-02-01 Arnaud GierschConst reference for large parameter. tree | commitdiff
2022-02-01 Arnaud GierschCosmetics: whitespaces and empty statement. tree | commitdiff
2022-02-01 Arnaud GierschUse declared namespace alias py = pybind11. tree | commitdiff
2022-02-01 SUTER Fredericplease clang tree | commitdiff
2022-02-01 SUTER FredericStart to modernize the remaining old simcalls related... tree | commitdiff
2022-02-01 SUTER Fredericfix deprecation of Engine.get_clock() tree | commitdiff
2022-02-01 Augustin Degommefix waitall handling in SMPI replay. tree | commitdiff
2022-01-31 Arnaud GierschKill now unused xbt_dynar_shrink(). tree | commitdiff
2022-01-31 Arnaud GierschRemove deprecated features for next release (3.31). tree | commitdiff
2022-01-31 Arnaud GierschMerge branch 'stable' tree | commitdiff
2022-01-31 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-01-30 Augustin DegommeSMPI: enforce MPI message ordering. Fix #100 (hopefully) tree | commitdiff
2022-01-30 Augustin Degommefix test action ti-tracing, it needs to behave like... tree | commitdiff
2022-01-30 Martin QuinsonMake sure that min<max in MC_random tree | commitdiff
2022-01-29 Martin QuinsonMake the Catch2-SimGrid integration available to more... tree | commitdiff
2022-01-28 Martin QuinsonAdd a destructor to the NetworkNS3Model to cleanup... tree | commitdiff
2022-01-28 SUTER Fredericmore attributes in python bindings tree | commitdiff
2022-01-28 Martin QuinsonDon't segfault when Engine::get_instance() is called... tree | commitdiff
2022-01-28 SUTER Fredericuse property_readonly_static and update deprecation... tree | commitdiff
2022-01-28 SUTER Fredericthis is now forbidden, remove right away tree | commitdiff
2022-01-28 SUTER Frederic[python] cleanup Engine getters/setters tree | commitdiff
2022-01-26 Martin Quinsonpy: indicate which properties are R/W and which are R-O tree | commitdiff
2022-01-25 Arnaud GierschFix git-version in smpi scripts. tree | commitdiff
next
Clone of SimGrid repository with local patches