A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Code for evaluation of the impact of the hash
[simgrid.git]
/
src
/
mc
/
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 Corona
Merge 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 Corona
Merge 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] 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-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 Guthmuller
Merge 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 Guthmuller
model-checker : first steps for the study of MPI commun...
tree
|
commitdiff
2014-01-10
Gabriel Corona
[mc] Remove type DW_TAG_enumerator type (because it...
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 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
2014-01-10
Gabriel Corona
[mc] Cleanup mc_object_info_t code
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mv] Remove global {start,end}_{plt,got}_{libsimgrid...
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Add plt/got in mc_object_info_t
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Move start_text, start_data, start_bss into mc_obj...
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Include ELF file name in object_info_t
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Remvove mc_{global_variables,local_variables,varia...
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Do not use mc_{global_variables,local_variables...
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Refactor, group some informations about a given...
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Use LANG=C when calling objdump
tree
|
commitdiff
2014-01-09
Gabriel Corona
[mc] Add some documentation to the MC DWARF code
tree
|
commitdiff
2013-12-20
Gabriel Corona
[mc] Fix bug when parsing /proc/self/maps
tree
|
commitdiff
2013-12-20
Gabriel Corona
[mc] Fix broken objdump parser with new versions of...
tree
|
commitdiff
2013-10-24
Marion Guthmuller
model-checker : print depth of the counter-example...
tree
|
commitdiff
2013-10-08
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-08
Marion Guthmuller
model-checker : avoid unnecessary snapshot restore
tree
|
commitdiff
2013-10-07
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-06
Marion Guthmuller
model-checker : fix memory leak in ddfs algorithm
tree
|
commitdiff
2013-10-06
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore information about simix_global...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore information about simix_global
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix detection of pointers on a fragment...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore process_to_run and process_that_...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : restore sequential system state compari...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix sort of acceptance pairs
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : add debug message
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : ignore some information for system...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : automaton state comparison removed...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-01
Arnaud Giersch
Centralize declaration for _sg_init_status (renamed...
tree
|
commitdiff
2013-10-01
Marion Guthmuller
model-checker : fix removal of a visited pair in livene...
tree
|
commitdiff
2013-10-01
Marion Guthmuller
model-checker : parallel system state comparison for...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-29
Marion Guthmuller
model-checker : update system state comparison
tree
|
commitdiff
2013-09-26
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Dig through git history, and update copyright lines.
tree
|
commitdiff
2013-09-25
Marion Guthmuller
model-checker : init var
tree
|
commitdiff
2013-09-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-24
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2013-09-24
Marion Guthmuller
model-checker : fix system state comparison (I hate...
tree
|
commitdiff
2013-09-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-23
Arnaud Giersch
Fix error: ‘current_region’ may be used uninitialized...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : parallel comparison of system states...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : minor fix in ddfs algorithm
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : --cfg=model-check/checkpoint is an...
tree
|
commitdiff
2013-09-18
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
Fix a bunch of typos thanks to the new spell script...
tree
|
commitdiff
2013-08-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : memory free and cleanup
tree
|
commitdiff
next