Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pvs-studio] Simplify boolean expressions.
[simgrid.git] / src / mc / compare.cpp
2021-07-19 Arnaud Giersch[pvs-studio] Simplify boolean expressions.
2021-06-08 Augustin DegommeMerge branch 'factor_in_actions' into 'master'
2021-06-04 Arnaud Giersch[sonar] Replace redundant type with 'auto'.
2021-04-19 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-07 Arnaud GierschUse a RemotePtr<> for RemoteProcess::heap_address.
2021-03-14 Martin QuinsonKill some use of the mc_model_checker global variable
2021-03-14 Martin QuinsonRename model_checker->get_remote_simulation() into...
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess
2021-03-06 Martin QuinsonMC: inline a function, kill a file
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-12 Arnaud GierschUpdate copyright lines.
2020-12-16 Arnaud GierschReplace for-loop with std::any_of.
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master'
2020-11-25 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid...
2020-11-25 Arnaud Giersch[sonar] Rename local parameters.
2020-11-24 Arnaud GierschUse std algorithms for binary search.
2020-11-22 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2020-11-18 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid
2020-11-18 Arnaud GierschPrefer "using" to "typedef".
2020-11-16 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid
2020-11-11 Arnaud GierschReduce scope for variable.
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master
2020-10-04 Arnaud Giersch[sonar] Replace redundant type with "auto" (src/mc/).
2020-10-02 Arnaud GierschReduce scope for loop variables.
2020-09-30 Martin QuinsonMerge branch 'adrien' into 'master'
2020-09-30 Martin QuinsonMerge branch 'master' into adrien
2020-09-26 Martin QuinsonMerge branch 'master' of framagit.org:Adrien.Gougeon...
2020-07-01 Arnaud Giersch[sonar] Remove redundant casts.
2020-06-12 Augustin DegommeFix most of spelling mistakes in src/
2020-05-09 Martin QuinsonMC: Further renamings
2020-05-06 Martin QuinsonMC: rename remote/RemoteClient -> remote/RemoteClientMe...
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org...
2020-01-01 Arnaud GierschUpdate copyright lines with new year.
2019-12-29 Arnaud GierschSonar consts of the day.
2019-12-28 Arnaud Giersch[sonar] Constify pointer and reference parameters in...
2019-12-28 Arnaud GierschCosmetics: use 's_xbt_mheap_t' instead of 'struct mdesc'.
2019-12-27 Arnaud Giersch[sonar] Don't remove const qualification with cast.
2019-12-23 Arnaud Giersch[sonar] Constify pointer and reference local variables...
2019-12-20 Arnaud Giersch[sonar] Fix casts to pointer type without const qualifier.
2019-12-16 Frederic Sutermornign cleanups
2019-12-08 Frederic Sutercosmetics (codefactor+coding style)
2019-12-05 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-12-05 Arnaud GierschAvoid division by zero.
2019-10-23 Yann DuplouyMerge branch 'master' into xbt_random
2019-10-20 Arnaud GierschAdd "explicit" keyword.
2019-10-20 Arnaud GierschKill dead stores.
2019-10-20 Arnaud GierschSpell check.
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
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 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/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-06-03 Martin QuinsonSimplify mc::Region::read()
2019-06-03 Martin QuinsonCleanups in class mc::Region
2019-05-31 Martin QuinsonMC: rename some files
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
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-22 Martin Quinsonmc: privatized regions now use a vector of pointers...
2019-05-20 Martin Quinsong++ needs this include but not clang
2019-05-20 Martin QuinsonAhem. You mean I need to actually compile with MC after...
2019-05-18 Martin Quinsonmc::Snapshot: various cleanups and refactoring
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-15 Martin Quinsonmc: simplification: do not repeat information in parameters
2019-05-15 Martin Quinsonmc: Kill a C type and use the C++ one
2019-05-15 Martin Quinsonmc/compare: reduce the scope of some variables
2019-03-09 Arnaud GierschCosmetics around std::unique_ptr.
2019-03-05 Arnaud GierschAssert that the pointer is not null when dereferenced.
2019-03-01 Arnaud GierschAvoid shadowing outer variables.
2019-02-27 Arnaud GierschRemove dead code after returrn statement.
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni
2018-07-04 Martin QuinsonMerge branch 'master' of https://github.com/Onesphore...
next