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] Log some information for the prefiltering phase of state comparator
[simgrid.git] / src /
2014-02-28 Gabriel Corona[mc] Log some information for the prefiltering phase... tree | commitdiff
2014-02-25 Gabriel Corona[mc] Handle DW_TAG_class_type as DW_TAG_structure_type... tree | commitdiff
2014-02-25 Gabriel CoronaMerge branch 'mc' into mc++ tree | commitdiff
2014-02-25 Gabriel CoronaMerge bugfix from branch mc-refactor tree | commitdiff
2014-02-25 Gabriel CoronaMerge branches 'mc' tree | commitdiff
2014-02-25 Gabriel Corona[mc] Fix format strings tree | commitdiff
2014-02-25 Gabriel CoronaMerge bugfix tree | commitdiff
2014-02-25 Gabriel Corona[mc] Fix buf introduces by previous commit tree | commitdiff
2014-02-25 Gabriel Corona[mc] Handle reference_type and rvalue_reference_type... tree | commitdiff
2014-02-25 Gabriel Corona[mc] Skip declaration of data_members (C++) tree | commitdiff
2014-02-25 Gabriel Corona[mc] Skip variables/members which are compile time... tree | commitdiff
2014-02-25 Gabriel Corona[mc] Fix typos tree | commitdiff
2014-02-25 Gabriel Corona[mc] Handle DW_AT_start_scope (for constants) tree | commitdiff
2014-02-25 Gabriel Corona[mc] Handle DW_TAG_namespace (C++) tree | commitdiff
2014-02-25 Marion Guthmullermodel-checker : print comm pattern tree | commitdiff
2014-02-25 Marion Guthmullermodel-checker : use separate configuration flags for... tree | commitdiff
2014-02-25 Marion Guthmullermodel-checker : check if action not NULL before using it tree | commitdiff
2014-02-25 Gabriel Corona[mc] Basic namespace support (for types) tree | commitdiff
2014-02-24 Gabriel Corona[mc] Do not use linkage_name as a name tree | commitdiff
2014-02-24 Gabriel Corona[mc] Add MC_dwarf_tag_classify() tree | commitdiff
2014-02-24 Gabriel Corona[mc] Do not try to handle scopes inside a subprogram tree | commitdiff
2014-02-24 Gabriel Corona[mc] Use dynar instead of dict for storing functions tree | commitdiff
2014-02-24 Gabriel Corona[mc] Move MC_ignore_local_variable and MC_ignore_global... tree | commitdiff
2014-02-24 Gabriel Corona[mc] Add missing DW_FORM_data1 (enable C++ support) tree | commitdiff
2014-02-24 Gabriel CoronaMerge branch 'mc-perf' into mc tree | commitdiff
2014-02-21 Gabriel Corona[mc] Avoid resolving TLS over and over again tree | commitdiff
2014-02-21 Gabriel Corona[mc] Merge add_compared_pointers and already_compared_p... tree | commitdiff
2014-02-20 Gabriel Corona[mc] Avoid (slow) type lookups by name or ID (xbt_dict_... tree | commitdiff
2014-02-20 Gabriel Corona[mc] Move mc_find_frame_base in mc_dwarf.c where it... tree | commitdiff
2014-02-20 Gabriel Corona[mc] Use resolved addresses in entry.low_pc and entry... tree | commitdiff
2014-02-20 Gabriel Corona[mc] Use resolved addresses in frame->low_pc and frame... tree | commitdiff
2014-02-18 Gabriel Corona[mc] Do not waste time calling libunwind get_proc_name... tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : conflit tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : minor fix tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : new configuration flag for the detectio... tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : remove or comment some printf tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : fix comm destroy for send detached... tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : try to fix the model-checker in case... tree | commitdiff
2014-02-18 Marion Guthmullermodel-checker : wait with timeout is always dependant... tree | commitdiff
2014-02-18 Marion Guthmullerfix debug log tree | commitdiff
2014-02-18 Gabriel Corona[mc] Avoid parsing /proc/self/maps if possible (continued) tree | commitdiff
2014-02-18 Gabriel Corona[mc] Fix get_object_info tree | commitdiff
2014-02-17 Gabriel Corona[mc] Avoid parsing /proc/self/maps if possible tree | commitdiff
2014-02-14 Gabriel Corona[mc] Doxygen mc_dpor.c (and some mc_liveness.c) tree | commitdiff
2014-02-14 Gabriel Corona[mc] Disable MC_DEBUG (enabled by mistake) tree | commitdiff
2014-02-11 Gabriel Corona[mc] Make usage of state hash a runtime parameter ... tree | commitdiff
2014-02-11 Gabriel Corona[mc] Code for evaluation of the impact of the hash tree | commitdiff
2014-02-10 Gabriel Corona[mc] Cache stack unwindinwg tree | commitdiff
2014-02-10 Gabriel Corona[mc] Fix broken type lookup code tree | commitdiff
2014-02-10 Gabriel CoronaMerge branch 'mc' into mc-perf tree | commitdiff
2014-02-10 Gabriel Corona[mc] Remove useless code (get SP register) tree | commitdiff
2014-02-10 Gabriel Corona[mc] Use optimized local implementation of libuwind... tree | commitdiff
2014-02-10 Gabriel Corona[mc] Restore old behaviour when comparing pointers... tree | commitdiff
2014-02-07 Gabriel Corona[mc] Fix sefault where a variable has no name tree | commitdiff
2014-02-07 Gabriel CoronaMerge branch mc into mc-perf tree | commitdiff
2014-02-07 Gabriel Corona[mc] Split address/location in dw_variable_t (which... tree | commitdiff
2014-02-07 Gabriel Corona[mc] Fix segfaults when type->name==NULL tree | commitdiff
2014-02-07 Gabriel Corona[mc] Disable communication pattern code (segfault) tree | commitdiff
2014-02-07 Gabriel Corona[mc] Remove dead code for ignoring variables tree | commitdiff
2014-02-07 Gabriel Corona[mc] Remove old hash code tree | commitdiff
2014-02-07 Gabriel Corona[mc] Avoid useless zero-initialisations in the hot... tree | commitdiff
2014-02-07 Gabriel Corona[mc] Avoid type lookups and calls to get_type_description() tree | commitdiff
2014-02-07 Gabriel Corona[mc] Pass mc_object_info_t arguiments in many places... tree | commitdiff
2014-02-07 Gabriel Corona[mc] Preprocess type lookup tree | commitdiff
2014-02-07 Gabriel Corona[mc] Compute a single hash (64 bits) of the current... tree | commitdiff
2014-02-04 Gabriel Corona[mc] Remove code for finding an array byte size tree | commitdiff
2014-02-03 Gabriel Corona[mc] Fix broken type in compare_heap_area_with_type tree | commitdiff
2014-01-31 Gabriel Corona[mc] Enforce some assumption about the relationship... tree | commitdiff
2014-01-31 Gabriel Corona[mc] Add comments to compare_areas_with_type tree | commitdiff
2014-01-31 Gabriel Corona[mc] Do not ignore DW_TAG_const_type tree | commitdiff
2014-01-31 Gabriel Corona[mc] In compare_global_variables only compare values... tree | commitdiff
2014-01-31 Gabriel Corona[mc] DRY in snapshot_compare tree | commitdiff
2014-01-31 Gabriel Corona[mc] Have a more complete/accurate view of an given... tree | commitdiff
2014-01-31 Gabriel Corona[mc] Fix element count computation for a givena array... tree | commitdiff
2014-01-31 Gabriel Corona[mc] Fix handling of location tree | commitdiff
2014-01-31 Gabriel Corona[mc] Comment logging in order to fix the unit tests tree | commitdiff
2014-01-17 Marion GuthmullerMerge remote-tracking branch 'origin/libdw2' tree | commitdiff
2014-01-17 Gabriel Corona[mc] Add DW_TAG_formal_parameter as variables in the... tree | commitdiff
2014-01-17 Gabriel Corona[mc] Use literal values in DWARF constant to name mappings tree | commitdiff
2014-01-17 Gabriel Corona[mc] Cleanup mc_dwarf.c tree | commitdiff
2014-01-17 Gabriel Corona[mc] Remove useless argument in MC_dwarf_at_location tree | commitdiff
2014-01-17 Gabriel Corona[mc] Add comments/doxygen tree | commitdiff
2014-01-17 Gabriel Corona[mc] Free memory for object_info tree | commitdiff
2014-01-17 Gabriel Corona[mc] Remove objdump code tree | commitdiff
2014-01-17 Gabriel Corona[mc] Remove code for location of .plt and .got.plt tree | commitdiff
2014-01-17 Gabriel Corona[mc] Use libdw for location list tree | commitdiff
2014-01-17 Gabriel Corona[mc] Use libdw for functions and local variables tree | commitdiff
2014-01-17 Gabriel Corona[mc] Use libdw for global variables tree | commitdiff
2014-01-17 Gabriel Corona[mc] Deduplicate address location resolution in MC_dwar... tree | commitdiff
2014-01-17 Gabriel Corona[mc] Remove MC_dwarf_tag_type() tree | commitdiff
2014-01-17 Gabriel Corona[mc] Add dwarf_global field to dw_variable_t tree | commitdiff
2014-01-17 Gabriel Corona[mc] libdwarf integration for types tree | commitdiff
2014-01-17 Gabriel Corona[mc] Use DWARF constants for type tags tree | commitdiff
2014-01-17 Gabriel Corona[mc] Fix warnings tree | commitdiff
2014-01-16 Marion Guthmullermodel-checker : first steps for the study of MPI commun... tree | commitdiff
2014-01-10 Gabriel Corona[mc] Split byte_size and element_count in mc_object_info_t tree | commitdiff
2014-01-10 Gabriel Corona[mc] Remove type DW_TAG_enumerator type (because it... tree | commitdiff
2014-01-10 Gabriel Corona[mc] Remove spurious return in MC_find_object_address tree | commitdiff
2014-01-10 Gabriel Corona[mc] Add comments tree | commitdiff
2014-01-10 Gabriel Corona[mc] Restore lightweight MC initialisation procedure tree | commitdiff
next
Clone of SimGrid repository with local patches