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] Use member hooks for CpuTi
[simgrid.git] / src / mc /
2015-09-17 Gabriel Corona[mc] Remove remaining bits of libdw outside of mc_libdw... tree | commitdiff
2015-09-17 Gabriel Corona[mc] Use string::compare instead of strcmp tree | commitdiff
2015-09-17 Gabriel Corona[mc] Fix initialisation of dwarf expression tree | commitdiff
2015-09-17 Gabriel Corona[mc] Move libdw binding code in its own file tree | commitdiff
2015-09-17 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid tree | commitdiff
2015-09-14 Gabriel Corona[mc] Fix SimGridMC when SMPI is disabled tree | commitdiff
2015-09-10 Martin Quinson[MC] add a lib to the whitelist of libs that are not... tree | commitdiff
2015-09-10 Gabriel Corona[mc] Better explanation when complaining about the... tree | commitdiff
2015-09-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-08 Martin QuinsonFix a misleading output tree | commitdiff
2015-09-07 Gabriel Corona[mc] Add some boost libs to our debugging whitelisting tree | commitdiff
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-07 Gabriel Corona[mc] Stylistic changes in mc_dwarf.cpp tree | commitdiff
2015-09-07 Gabriel Corona[mc] Simplify MC_dwarf_get_variables() tree | commitdiff
2015-09-07 Gabriel Corona[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP tree | commitdiff
2015-09-07 Gabriel Corona[mc] Use target preprocessor symbol instead of UNW_TARG... tree | commitdiff
2015-09-07 Gabriel CoronaMerge remote-tracking branch 'origin2/master' tree | commitdiff
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-09-07 Gabriel Corona[mc] Display region type name tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode tree | commitdiff
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process. tree | commitdiff
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid... tree | commitdiff
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-25 Gabriel Corona[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK tree | commitdiff
2015-08-05 Martin QuinsonUpdate copyright notices tree | commitdiff
2015-07-28 Gabriel Corona[mc] Use the real override tree | commitdiff
2015-07-27 Gabriel Corona[mc] Fix constness issue in MC_make_functions_index() tree | commitdiff
2015-07-27 Gabriel Corona[mc] Remove mc_object_info.cpp tree | commitdiff
2015-07-27 Gabriel Corona[mc] Remove useless functions tree | commitdiff
2015-07-27 Gabriel Corona[mc] Move Frame, ModelChecker, ObjectInformation, Type... tree | commitdiff
2015-07-25 Martin QuinsonRevert "Fix non-MC builds" tree | commitdiff
2015-07-25 Gabriel Corona[mc] Fix missing #include in non MC tree | commitdiff
2015-07-25 Martin QuinsonFix non-MC builds tree | commitdiff
2015-07-25 Gabriel Corona[mc] Move MC_random is mc_base.cpp tree | commitdiff
2015-07-25 Gabriel Coronas/smx_host/host/ because of API change tree | commitdiff
2015-07-25 Martin QuinsonRevert "Revert "[mc] Move MC_random() in mc_client_api... tree | commitdiff
2015-07-24 Martin QuinsonRevert "[mc] Move MC_random() in mc_client_api.cpp" tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Cleanup tree | commitdiff
2015-07-24 Gabriel Corona[mc] Do not #define __has_feature tree | commitdiff
2015-07-24 Gabriel Corona[mc] Cleanup mc_client_api.cpp tree | commitdiff
2015-07-24 Gabriel Corona[mc] Move MC_random() in mc_client_api.cpp tree | commitdiff
2015-07-24 kbaatiMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Do not trigger errors in MC_automaton_new_proposit... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Move the proposition declaration functions in... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Cleanup/simplify liveness property automaton regis... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Remove MC_automaton_new_propositional_symbol_callb... tree | commitdiff
2015-07-24 Gabriel Corona[mc] Remove HTML in a comment (this is ugly) tree | commitdiff
2015-07-24 Gabriel Corona[mc] Comment the binary search in ObjectInformation... tree | commitdiff
2015-07-23 Gabriel Corona[mc] Fix out of range error in the binary search implem... tree | commitdiff
2015-07-23 Gabriel Corona[mc] Fix: can't build a std::string with nullptr tree | commitdiff
2015-07-23 Gabriel Corona[mc] Give a real override if we know it's available tree | commitdiff
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage tree | commitdiff
2015-07-23 Gabriel Corona[mc] Remove remainings of an old type tree | commitdiff
2015-07-23 Gabriel Corona[mc] Simplify lookup of maps tree | commitdiff
2015-07-21 Gabriel Corona[mc] Remove useless/unused stuff tree | commitdiff
2015-07-21 Gabriel Corona[mc] Remove MC_post_process_functions() tree | commitdiff
2015-07-21 Gabriel Corona[mc] Remove MC_dwarf_register_variable() tree | commitdiff
2015-07-21 Gabriel Corona[mc] Avoid the O(n^2) incremental construction of sorte... tree | commitdiff
2015-07-21 Gabriel Corona[mc] Add comments on ObjectInformation tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make ObjectInformation::function_index a std:... tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make ObjectInformation::file_names a std::string tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make Process::subprograms a std::unordered_map tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make type_is an integer instead of a string and... tree | commitdiff
2015-07-21 Gabriel Corona[mc] Move ObjectInformation methods in mc_object_info.cpp tree | commitdiff
2015-07-21 Gabriel Corona[mc] Move some declarations in mc_object_info.h tree | commitdiff
2015-07-21 Gabriel Corona[mc] Make Frame::variables, Frame::scopes and ObjectInf... tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ location lists and expressions tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ify Frame tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ify Variable tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont) tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type (cont) tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify Type tree | commitdiff
2015-07-21 Gabriel Corona[mc] OOPify/C++ify ObjectInformation tree | commitdiff
2015-07-21 Gabriel Corona[mc] C++ification of memory_map.cpp tree | commitdiff
2015-07-21 Gabriel Corona[mc] Cleanup/C++ification of {ModelChecker,PageStore... tree | commitdiff
2015-07-17 Gabriel Corona[mc] Remove content addressable page store tree | commitdiff
2015-07-17 Gabriel Corona[mc] Cleanup mc_hash tree | commitdiff
2015-07-17 Gabriel Corona[mc] Fix another signedness conversion issue with addre... tree | commitdiff
2015-07-17 Gabriel Corona[mc] Remove useless cast tree | commitdiff
2015-07-16 Gabriel Corona[mc] Fix cross process memory access in 32 bit tree | commitdiff
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master tree | commitdiff
2015-07-09 Gabriel Corona[mc] Cleanup the DSO ignore list and add some entries tree | commitdiff
2015-07-09 Gabriel Corona[mc] Fix the DSO debug ignore list tree | commitdiff
2015-06-29 Gabriel Corona[mc] Fix include guards tree | commitdiff
2015-06-29 Gabriel Corona[mc] Remove ugly #include tree | commitdiff
2015-06-29 Gabriel CoronaAdd some #includes tree | commitdiff
2015-06-19 Gabriel Corona[mc] Remove some extern "C" tree | commitdiff
2015-06-15 Gabriel CoronaRemove non-statis initializer in s_dw_type, s_mc_object... tree | commitdiff
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-06-09 Gabriel CoronaUse xbt_strdup instead of strdup tree | commitdiff
2015-06-09 Gabriel CoronaSome (partial) fixes for cross-compiling to Windows tree | commitdiff
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-06-09 Gabriel Corona[mc] Make Process:object_infos a srd::vector of std... tree | commitdiff
2015-06-09 Gabriel Corona[mc] Give ctor/dtor for s_dw_type tree | commitdiff
2015-06-09 Gabriel Corona[mc] Add ctor/dtor for s_mc_object_info tree | commitdiff
next
Clone of SimGrid repository with local patches