2014-06-13 |
Gabriel Corona | [mc] Page-level sparse snapshot: work-in-progress,... |
blob | commitdiff | raw |
2014-06-13 |
Gabriel Corona | [mc] In MC_ignore, keep the zeroed data out of the... |
blob | commitdiff | raw | diff to current |
2014-06-04 |
Marion Guthmuller | model-checker : compare the pid of enabled processes... |
blob | commitdiff | raw | diff to current |
2014-05-30 |
Marion Guthmuller | model-checker : cleanups, refactoring and apply indent... |
blob | commitdiff | raw | diff to current |
2014-05-26 |
Gabriel Corona | Merge branch 'master' into mc |
blob | commitdiff | raw | diff to current |
2014-05-16 |
Gabriel Corona | Merge branch 'mc_without_ksm' into mc |
blob | commitdiff | raw | diff to current |
2014-05-16 |
Gabriel Corona | [mc] Avoid memsetting twice |
blob | commitdiff | raw | diff to current |
2014-05-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Marion Guthmuller | model-checker : disable mprotect on snapshots |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Marion Guthmuller | model-checker : remove KSM work -> doesn't work currently |
blob | commitdiff | raw | diff to current |
2014-04-25 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-04-24 |
Gabriel Corona | [mc] Check error in MAP_FAILED |
blob | commitdiff | raw | diff to current |
2014-04-24 |
Gabriel Corona | [mc] mprotect the region *after* zero-ing ignored parts: |
blob | commitdiff | raw | diff to current |
2014-04-24 |
Gabriel Corona | Merge "mc" |
blob | commitdiff | raw | diff to current |
2014-04-24 |
Gabriel Corona | [mc] Fix DW_AT_start_scope handling in mc_checkpoint |
blob | commitdiff | raw | diff to current |
2014-04-22 |
Stéphane Castelli | Merge branch 'smpi-topo' |
blob | commitdiff | raw | diff to current |
2014-04-15 |
Stéphane Castelli | Added some work in the creation of links in the fat... |
blob | commitdiff | raw | diff to current |
2014-04-14 |
Gabriel Corona | [mc] Protect snapshots against write |
blob | commitdiff | raw | diff to current |
2014-04-14 |
Gabriel Corona | [mc] Only enable KSM on snapshots and not on main memory |
blob | commitdiff | raw | diff to current |
2014-04-08 |
Gabriel Corona | Merge remote-tracking branch 'origin/mc' |
blob | commitdiff | raw | diff to current |
2014-04-05 |
Marion Guthmuller | model-checker : privatization_regions in snapshot may... |
blob | commitdiff | raw | diff to current |
2014-04-04 |
Gabriel Corona | Merge branch 'mc' |
blob | commitdiff | raw | diff to current |
2014-04-04 |
Gabriel Corona | [mc] Fix MC_free_snapshot (NP reading NULL snapshot... |
blob | commitdiff | raw | diff to current |
2014-04-04 |
Gabriel Corona | [mc] Make snapshots compatible with SMPI privatization... |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Martin Quinson | Revert "Remove XBT_INFO call" |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Pierre Veyre | Remove XBT_INFO call |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-03-27 |
Gabriel Corona | [mc] Correctly handle the end of the stack unwinding |
blob | commitdiff | raw | diff to current |
2014-03-25 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-03-25 |
Gabriel Corona | Merge branch 'mc++' |
blob | commitdiff | raw | diff to current |
2014-03-25 |
Gabriel Corona | [mc] Fix DW_OP_addr to translate address into virtual... |
blob | commitdiff | raw | diff to current |
2014-03-24 |
Gabriel Corona | [mc] Replace frame->frame (frame *name*) by frame-... |
blob | commitdiff | raw | diff to current |
2014-03-24 |
Gabriel Corona | [mc] Process nested-scopes |
blob | commitdiff | raw | diff to current |
2014-03-24 |
Gabriel Corona | [mc] Documentation |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Gabriel Corona | Merge branch 'mc++' |
blob | commitdiff | raw | diff to current |
2014-03-18 |
Gabriel Corona | [mc] Fix compile_warnings |
blob | commitdiff | raw | diff to current |
2014-03-18 |
Gabriel Corona | [mc] Fix type name handling |
blob | commitdiff | raw | diff to current |
2014-03-18 |
Gabriel Corona | [mc] Add location field in struct/class-members |
blob | commitdiff | raw | diff to current |
2014-03-10 |
Gabriel Corona | [mc] Remove useless code in MC_unwind_stack_frame |
blob | commitdiff | raw | diff to current |
2014-03-10 |
Gabriel Corona | [mc] DW_OP_deref |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Gabriel Corona | [mc] Use new expression evaluation code frame_base |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Gabriel Corona | [mc] Use new DWARF expression code for variables |
blob | commitdiff | raw | diff to current |
2014-03-06 |
Gabriel Corona | Merge branch 'mc' into mc++ |
blob | commitdiff | raw | diff to current |
2014-02-28 |
Gabriel Corona | Merge branch 'mc++' into mc-merge |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Gabriel Corona | Merge branch 'mc' into mc++ |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Gabriel Corona | Merge bugfix from branch mc-refactor |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Gabriel Corona | Merge bugfix |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Gabriel Corona | [mc] Handle DW_AT_start_scope (for constants) |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Gabriel Corona | Merge 'master' into mc |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Gabriel Corona | Merge branch 'mc-perf' into mc |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Gabriel Corona | [mc] Avoid (slow) type lookups by name or ID (xbt_dict_... |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Gabriel Corona | [mc] Use resolved addresses in entry.low_pc and entry... |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Gabriel Corona | [mc] Do not waste time calling libunwind get_proc_name... |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Marion Guthmuller | model-checker : conflit |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Gabriel Corona | [mc] Avoid parsing /proc/self/maps if possible (continued) |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Gabriel Corona | [mc] Fix get_object_info |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Gabriel Corona | [mc] Avoid parsing /proc/self/maps if possible |
blob | commitdiff | raw | diff to current |
2014-02-11 |
Gabriel Corona | [mc] Make usage of state hash a runtime parameter ... |
blob | commitdiff | raw | diff to current |
2014-02-10 |
Gabriel Corona | [mc] Cache stack unwindinwg |
blob | commitdiff | raw | diff to current |
2014-02-10 |
Gabriel Corona | Merge branch 'mc' into mc-perf |
blob | commitdiff | raw | diff to current |
2014-02-10 |
Gabriel Corona | [mc] Remove useless code (get SP register) |
blob | commitdiff | raw | diff to current |
2014-02-10 |
Gabriel Corona | [mc] Use optimized local implementation of libuwind... |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | Merge branch mc into mc-perf |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | [mc] Split address/location in dw_variable_t (which... |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | [mc] Remove old hash code |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | [mc] Avoid useless zero-initialisations in the hot... |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | [mc] Preprocess type lookup |
blob | commitdiff | raw | diff to current |
2014-02-07 |
Gabriel Corona | [mc] Compute a single hash (64 bits) of the current... |
blob | commitdiff | raw | diff to current |
2014-02-05 |
Arnaud Giersch | Add/update copyright notices. |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Gabriel Corona | [mc] Remove code for finding an array byte size |
blob | commitdiff | raw | diff to current |
2014-01-31 |
Gabriel Corona | [mc] Have a more complete/accurate view of an given... |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Marion Guthmuller | Merge remote-tracking branch 'origin/libdw2' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Remove objdump code |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Remove code for location of .plt and .got.plt |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Use libdw for functions and local variables |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Use libdw for global variables |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Deduplicate address location resolution in MC_dwar... |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] libdwarf integration for types |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Gabriel Corona | [mc] Fix warnings |
blob | commitdiff | raw | diff to current |
2014-01-10 |
Gabriel Corona | [mc] Remove spurious return in MC_find_object_address |
blob | commitdiff | raw | diff to current |
2014-01-10 |
Gabriel Corona | [mc] Add comments |
blob | commitdiff | raw | diff to current |
2014-01-10 |
Gabriel Corona | [mc] Cleanup mc_object_info_t code |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mv] Remove global {start,end}_{plt,got}_{libsimgrid... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Add plt/got in mc_object_info_t |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Move start_text, start_data, start_bss into mc_obj... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Do not use mc_{global_variables,local_variables... |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Use LANG=C when calling objdump |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Gabriel Corona | [mc] Add some documentation to the MC DWARF code |
blob | commitdiff | raw | diff to current |
2013-12-20 |
Gabriel Corona | [mc] Fix bug when parsing /proc/self/maps |
blob | commitdiff | raw | diff to current |
2013-11-21 |
Arnaud Giersch | Misc cleanups: remove unnecessary casts, use unsigned... |
blob | commitdiff | raw | diff to current |
2013-11-08 |
Paul Bédaride | Merge branch 'hypervisor' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-11-08 |
Paul Bédaride | Merge tag 'v3_9_90' into hypervisor |
blob | commitdiff | raw | diff to current |
2013-10-30 |
Paul Bédaride | Merge commit '045db1657e870c721be490b411868f4181a12ced... |
blob | commitdiff | raw | diff to current |
2013-10-07 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-10-06 |
Marion Guthmuller | model-checker : fix memory leak in ddfs algorithm |
blob | commitdiff | raw | diff to current |
2013-09-26 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-09-25 |
Arnaud Giersch | Dig through git history, and update copyright lines. |
blob | commitdiff | raw | diff to current |
2013-09-25 |
Marion Guthmuller | model-checker : init var |
blob | commitdiff | raw | diff to current |
next |