Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Apply the default settings of 'smpi/buffering' too
[simgrid.git] / src / mc /
2019-08-18 Martin QuinsonApply the default settings of 'smpi/buffering' too
2019-08-17 Martin QuinsonNew MC option: smpi/buffering, to control MPI buffering
2019-08-17 Martin Quinsonfix non-MC builds
2019-08-17 Martin Quinsonuse assignment to non-trivial class rather than artific...
2019-08-15 Martin Quinsonsmall comments improvements around a complex code
2019-08-15 Martin QuinsonIntroduce a class mc::SimcallInspector, that allows...
2019-08-15 Martin QuinsonMC: rename processes to actors
2019-08-15 Martin Quinsonobey our coding standards, and snake_case some parts...
2019-08-15 Martin Quinsonstart to make generic simcalls observable from the MC
2019-08-09 Martin QuinsonFix GCC+MC builds
2019-08-09 Martin Quinsonchange SIMIX_simcall_handle() into ActorImpl::simcall_h...
2019-08-08 Martin Quinsonanother assert to make one segfault more explicit
2019-08-08 Martin Quinsonnamespacify a global function of SIMIX
2019-07-29 Martin QuinsonMC: kill a useless function
2019-07-26 Martin Quinsonsafety: give some basic logging at verbose level already
2019-07-21 Augustin DegommeMerge branch 'master' into 'master'
2019-07-21 Samuel ThibaultMC: complete workaround in the error msg seen on modern...
2019-07-16 Arnaud GierschCosmetics.
2019-07-14 Martin QuinsonMC: provide a workaround in the error msg seen on moder...
2019-07-12 Arnaud Giersch[sonar] Preserve const qualifier with cast.
2019-07-12 Arnaud Giersch[sonar] More dead code.
2019-07-11 Arnaud Gierschmc: better way to check if address is on heap.
2019-07-11 Arnaud GierschDead code.
2019-07-11 Martin Quinsonprefer to fail stop instead of logging
2019-07-11 Arnaud Gierschfx
2019-07-11 Arnaud Gierschmc/compare: cleanup++
2019-07-11 Arnaud Gierschmc/compare: const/ref
2019-07-11 Arnaud Gierschmc: const seems wrong here.
2019-07-11 Arnaud Gierschmc/compare: factorize code.
2019-07-11 Arnaud Gierschmc/compare: cosmetics.
2019-07-11 Arnaud Gierschmc/compare: change heap comparision functions to return...
2019-07-11 Arnaud Gierschmc/compare: define is_on_heap(const void*).
2019-07-11 Arnaud Gierschmc/compare: const casts.
2019-07-11 Arnaud Giersch[sonar] Handle default case in switch statements.
2019-07-11 Arnaud GierschMove extended hash to xbt/utility.
2019-07-11 Martin Quinsonmc/compare: another round of tiny cleanups
2019-07-11 Arnaud Gierschmc/compare: dead stores.
2019-07-10 Martin Quinsonmc/compare: fix another copy/paste error
2019-07-10 Martin Quinsonmc: reduce the visibility of <dwarf.h> by a tiny bit
2019-07-10 Martin Quinsonmc/compare: some more tiny cleanups
2019-07-10 Arnaud GierschMC/compare: compare_heap_area_without_type becomes...
2019-07-10 Arnaud GierschCosmetics.
2019-07-10 Arnaud GierschReindent.
2019-07-10 Arnaud GierschKill Poor man's TCO.
2019-07-10 Arnaud GierschMC/compare: mmalloc_compare_heap becomes mmalloc_heap_e...
2019-07-10 Arnaud GierschMC/compare: cleanup++
2019-07-10 Arnaud GierschMC/compare: first round of cleanups.
2019-07-10 Martin QuinsonRemove option model-checker/hash; This is always activa...
2019-07-10 Martin Quinsonmc/compare: kill dead code
2019-07-10 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-07-10 Arnaud GierschImprove crash detection; still not working correctly.
2019-07-09 Martin Quinsonload the header needed by this file
2019-07-09 Arnaud GierschHide system-dependent message.
2019-07-09 Martin Quinsonimprove verification of crashing programs
2019-07-09 Arnaud GierschRevert "Reduce dependency on ptrace."
2019-07-09 Arnaud GierschReduce dependency on ptrace.
2019-07-09 Arnaud GierschSpecify visibility (hide warning).
2019-07-03 Arnaud Giersch[sonar] Inherit from std::exception.
2019-07-02 Arnaud GierschKill unused static functions (dead code).
2019-06-15 Martin Quinsonsonar: ignore more issues, hide commented code, add...
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master'
2019-06-11 Martin QuinsonMC: cosmetics
2019-06-11 Martin Quinsonfurther simplify the MC initialization
2019-06-11 Martin Quinsonmc: don't catch exceptions we cannot deal with
2019-06-10 Martin Quinsoncode simplification in MC start sequence
2019-06-04 Martin Quinsonsonar: kill unused parameter
2019-06-03 Martin QuinsonMC: kill an unused field and a useless method
2019-06-03 Martin QuinsonMC: kill an unused field
2019-06-03 Martin QuinsonSimplify mc::Region::read()
2019-06-03 Martin QuinsonCleanups in class mc::Region
2019-06-01 Martin Quinsonfix MC builds on gcc
2019-06-01 Martin Quinsonfix lua builds
2019-05-31 Martin QuinsonMC: rename some files
2019-05-31 Martin QuinsonMC: finish emptying an old C file
2019-05-31 Martin QuinsonMC: inline a function that is now trivial
2019-05-31 Martin QuinsonMC::Region: Also remove the permanent_addr thingy
2019-05-31 Martin Quinsonmc: cosmetics
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-30 Martin Quinsoninline a function
2019-05-30 Martin Quinsonkill the RegionSparse subclass now that there is no...
2019-05-30 Martin QuinsonMC: cosmetics (fight the mc_model_checker singleton)
2019-05-30 Martin QuinsonMC: remove support for flat storage of regions
2019-05-30 Martin QuinsonMC::remote: snake case
2019-05-29 Martin Quinsonmc: Also remove the process_index
2019-05-29 Martin QuinsonKill the support for privatized SMPI in MC mode
2019-05-28 Martin Quinsonmc: snake_case the checkers
2019-05-28 Martin Quinsonmc: snake_case a class
2019-05-28 Martin Quinsonmc: change 3 static functions into private methods
2019-05-28 Martin Quinsonmc: move code around in the hope that it will sort...
2019-05-28 Arnaud GierschMissing include (HAVE_MREMAP).
2019-05-27 Martin Quinsonmc: tricks to improve the coverage
2019-05-26 Martin Quinsonfix non-MC builds when libevent is not found
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-25 Martin Quinsonmc: kill some useless includes
2019-05-24 Martin Quinsonnope sonar, that's not some commented code
2019-05-23 Martin Quinsonfix some typo in the comments, just to launch a rebuild...
2019-05-23 Martin QuinsonPlug a memleak
2019-05-22 Martin Quinsonmc: create RegionSparse, RegionDense and RegionPrivatiz...
2019-05-22 Martin QuinsonRegionSnap: only use pointers to regions for sake of...
2019-05-22 Martin Quinsonmc: privatized regions now use a vector of pointers...