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 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-05 |
Arnaud Giersch | Add/update copyright notices. |
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] 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 |
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-11-21 |
Arnaud Giersch | Misc cleanups: remove unnecessary casts, use unsigned... |
tree | commitdiff |
2013-11-15 |
Paul Bédaride | Merge branch 'surf++' |
tree | commitdiff |
2013-11-08 |
Paul Bédaride | Merge branch 'hypervisor' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-11-08 |
Paul Bédaride | Merge tag 'v3_9_90' into hypervisor |
tree | commitdiff |
2013-10-30 |
Paul Bédaride | Merge commit '045db1657e870c721be490b411868f4181a12ced... |
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 |
next |