AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2014-02-25	Gabriel Corona	Merge bugfix from branch mc-refactor	commit \| commitdiff \| tree \| snapshot
2014-02-25	Gabriel Corona	Merge branches 'mc'	commit \| commitdiff \| tree \| snapshot
2014-02-25	Gabriel Corona	[mc] Fix format strings	commit \| commitdiff \| tree \| snapshot
2014-02-25	Gabriel Corona	Merge bugfix	commit \| commitdiff \| tree \| snapshot
2014-02-25	Gabriel Corona	[mc] Fix buf introduces by previous commit	commit \| commitdiff \| tree \| snapshot
2014-02-25	Marion Guthmuller	model-checker : smpi examples for the communication...	commit \| commitdiff \| tree \| snapshot
2014-02-25	Marion Guthmuller	model-checker : print comm pattern	commit \| commitdiff \| tree \| snapshot
2014-02-25	Marion Guthmuller	model-checker : use separate configuration flags for...	commit \| commitdiff \| tree \| snapshot
2014-02-25	Marion Guthmuller	model-checker : check if action not NULL before using it	commit \| commitdiff \| tree \| snapshot
2014-02-24	Gabriel Corona	[mc] Move MC_ignore_local_variable and MC_ignore_global...	commit \| commitdiff \| tree \| snapshot
2014-02-24	Gabriel Corona	[mc] Add missing DW_FORM_data1 (enable C++ support)	commit \| commitdiff \| tree \| snapshot
2014-02-24	Gabriel Corona	Merge branch 'mc-perf' into mc	commit \| commitdiff \| tree \| snapshot
2014-02-24	Gabriel Corona	Fix compilation	commit \| commitdiff \| tree \| snapshot
2014-02-21	Gabriel Corona	[mc] Avoid resolving TLS over and over again	commit \| commitdiff \| tree \| snapshot
2014-02-21	Gabriel Corona	[mc] Merge add_compared_pointers and already_compared_p...	commit \| commitdiff \| tree \| snapshot
2014-02-20	Gabriel Corona	[mc] Avoid (slow) type lookups by name or ID (xbt_dict_...	commit \| commitdiff \| tree \| snapshot
2014-02-20	Gabriel Corona	[mc] Move mc_find_frame_base in mc_dwarf.c where it...	commit \| commitdiff \| tree \| snapshot
2014-02-20	Gabriel Corona	[mc] Use resolved addresses in entry.low_pc and entry...	commit \| commitdiff \| tree \| snapshot
2014-02-20	Gabriel Corona	[mc] Use resolved addresses in frame->low_pc and frame...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Gabriel Corona	[mc] Do not waste time calling libunwind get_proc_name...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : conflit	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : minor fix	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : new configuration flag for the detectio...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : remove or comment some printf	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : fix comm destroy for send detached...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : try to fix the model-checker in case...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : wait with timeout is always dependant...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	fix debug log	commit \| commitdiff \| tree \| snapshot
2014-02-18	Marion Guthmuller	model-checker : use MC_assert instead of assert for...	commit \| commitdiff \| tree \| snapshot
2014-02-18	Gabriel Corona	[mc] Avoid parsing /proc/self/maps if possible (continued)	commit \| commitdiff \| tree \| snapshot
2014-02-18	Gabriel Corona	[mc] Fix get_object_info	commit \| commitdiff \| tree \| snapshot
2014-02-17	Gabriel Corona	[mc] Avoid parsing /proc/self/maps if possible	commit \| commitdiff \| tree \| snapshot
2014-02-14	Gabriel Corona	[mc] Doxygen mc_dpor.c (and some mc_liveness.c)	commit \| commitdiff \| tree \| snapshot
2014-02-14	Gabriel Corona	[mc] Disable MC_DEBUG (enabled by mistake)	commit \| commitdiff \| tree \| snapshot
2014-02-11	Gabriel Corona	[mc] Make usage of state hash a runtime parameter ...	commit \| commitdiff \| tree \| snapshot
2014-02-11	Gabriel Corona	[mc] Code for evaluation of the impact of the hash	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	[mc] Cache stack unwindinwg	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	[mc] Fix broken type lookup code	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	Merge branch 'mc' into mc-perf	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	[mc] Remove useless code (get SP register)	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	[mc] Use optimized local implementation of libuwind...	commit \| commitdiff \| tree \| snapshot
2014-02-10	Gabriel Corona	[mc] Restore old behaviour when comparing pointers...	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Fix sefault where a variable has no name	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	Merge branch mc into mc-perf	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Split address/location in dw_variable_t (which...	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Fix segfaults when type->name==NULL	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Disable communication pattern code (segfault)	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Remove dead code for ignoring variables	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Remove old hash code	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Avoid useless zero-initialisations in the hot...	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Avoid type lookups and calls to get_type_description()	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Pass mc_object_info_t arguiments in many places...	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Preprocess type lookup	commit \| commitdiff \| tree \| snapshot
2014-02-07	Gabriel Corona	[mc] Compute a single hash (64 bits) of the current...	commit \| commitdiff \| tree \| snapshot
2014-02-04	Gabriel Corona	[mc] Remove code for finding an array byte size	commit \| commitdiff \| tree \| snapshot
2014-02-03	Gabriel Corona	[mc] Fix broken type in compare_heap_area_with_type	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Enforce some assumption about the relationship...	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Add comments to compare_areas_with_type	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Do not ignore DW_TAG_const_type	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] In compare_global_variables only compare values...	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] DRY in snapshot_compare	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Have a more complete/accurate view of an given...	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Fix element count computation for a givena array...	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Fix handling of location	commit \| commitdiff \| tree \| snapshot
2014-01-31	Gabriel Corona	[mc] Comment logging in order to fix the unit tests	commit \| commitdiff \| tree \| snapshot
2014-01-17	Marion Guthmuller	Merge remote-tracking branch 'origin/libdw2'	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Add DW_TAG_formal_parameter as variables in the...	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Use literal values in DWARF constant to name mappings	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Cleanup mc_dwarf.c	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Remove useless argument in MC_dwarf_at_location	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Add comments/doxygen	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Free memory for object_info	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Remove objdump code	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Remove code for location of .plt and .got.plt	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Use libdw for location list	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Use libdw for functions and local variables	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Use libdw for global variables	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Deduplicate address location resolution in MC_dwar...	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Remove MC_dwarf_tag_type()	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Add dwarf_global field to dw_variable_t	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] libdwarf integration for types	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Use DWARF constants for type tags	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Link against libdw	commit \| commitdiff \| tree \| snapshot
2014-01-17	Gabriel Corona	[mc] Fix warnings	commit \| commitdiff \| tree \| snapshot
2014-01-16	Marion Guthmuller	model-checker : first steps for the study of MPI commun...	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Split byte_size and element_count in mc_object_info_t	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Remove type DW_TAG_enumerator type (because it...	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Remove spurious return in MC_find_object_address	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Add comments	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Restore lightweight MC initialisation procedure	commit \| commitdiff \| tree \| snapshot
2014-01-10	Gabriel Corona	[mc] Cleanup mc_object_info_t code	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mv] Remove global {start,end}_{plt,got}_{libsimgrid...	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Add plt/got in mc_object_info_t	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Move start_text, start_data, start_bss into mc_obj...	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Include ELF file name in object_info_t	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Remvove mc_{global_variables,local_variables,varia...	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Do not use mc_{global_variables,local_variables...	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Refactor, group some informations about a given...	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Use LANG=C when calling objdump	commit \| commitdiff \| tree \| snapshot
2014-01-09	Gabriel Corona	[mc] Add some documentation to the MC DWARF code	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom