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
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
[simgrid.git]
/
src
/
mc
/
2014-05-05
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-29
Marion Guthmuller
model-checker : deal with the soundness of DPOR only...
tree
|
commitdiff
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
tree
|
commitdiff
2014-04-25
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] Check error in MAP_FAILED
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] mprotect the region *after* zero-ing ignored parts:
tree
|
commitdiff
2014-04-24
Gabriel Corona
Merge "mc"
tree
|
commitdiff
2014-04-24
Gabriel Corona
[mc] Fix DW_AT_start_scope handling in mc_checkpoint
tree
|
commitdiff
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
tree
|
commitdiff
2014-04-15
Stéphane Castelli
Added some work in the creation of links in the fat...
tree
|
commitdiff
2014-04-14
Gabriel Corona
[mc] Protect snapshots against write
tree
|
commitdiff
2014-04-14
Gabriel Corona
[mc] Only enable KSM on snapshots and not on main memory
tree
|
commitdiff
2014-04-08
Gabriel Corona
Merge remote-tracking branch 'origin/mc'
tree
|
commitdiff
2014-04-05
Marion Guthmuller
model-checker : privatization_regions in snapshot may...
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix issues with register translation code
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix bAd text
tree
|
commitdiff
2014-04-04
Gabriel Corona
Merge branch 'mc'
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Implement translation of register number
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Fix MC_free_snapshot (NP reading NULL snapshot...
tree
|
commitdiff
2014-04-04
Gabriel Corona
[mc] Make snapshots compatible with SMPI privatization...
tree
|
commitdiff
2014-04-01
Arnaud Giersch
[mc] Initialize expression->ops before calling mc_dwarf...
tree
|
commitdiff
2014-04-01
Arnaud Giersch
Update copyright headers.
tree
|
commitdiff
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-31
Martin Quinson
Revert "Remove XBT_INFO call"
tree
|
commitdiff
2014-03-31
Pierre Veyre
Remove XBT_INFO call
tree
|
commitdiff
2014-03-31
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-31
Arnaud Giersch
[mc] Better fix for compatibility with old/broken versi...
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversion (once again)
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversion
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type conversions
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Change type for type->id
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix type of expression resolution methods (uintpt_...
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Fix compatibility with old/broken version of dwarf.h
tree
|
commitdiff
2014-03-28
Gabriel Corona
[mc] Kernel Samepage Merging support (Linux)
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Comment unhandled rangelistptr class in DW_AT_star...
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Correctly handle the end of the stack unwinding
tree
|
commitdiff
2014-03-27
Gabriel Corona
[mc] Really fix DW_AT_high_pc for DWARF4
tree
|
commitdiff
2014-03-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-25
Gabriel Corona
Merge branch 'mc++'
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix warning on pointer/integer/address conversion
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Handle DW_AT_high_pc as offset for DWARF4
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_addr to translate address into virtual...
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix DW_OP_call_frame_cfa
tree
|
commitdiff
2014-03-25
Gabriel Corona
[mc] Fix broken DW_OP_call_frame_cfa
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Fix handling of inlined subroutines in MC_ignore_l...
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Attach correct namespaced name in inlined subrouti...
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Replace frame->frame (frame *name*) by frame-...
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Process nested-scopes
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Remove MC_dwarf_get_variable_by_name (unused)
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Fix handling of DW_AT_high_pc
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Rename frame->start into frame->id
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Remove frame->end field which was not used anymore
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Process nested scopes DWARF informations
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Fix memory leaks
tree
|
commitdiff
2014-03-24
Gabriel Corona
[mc] Documentation
tree
|
commitdiff
2014-03-21
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-21
Gabriel Corona
Merge branch 'mc++'
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Fix cleanup of info->types
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Fix free callback for type->members
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Efficient lookup of subprogram by offset
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Store abstract subprograms in info->subprograms
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Add support for inheritance
tree
|
commitdiff
2014-03-20
Gabriel Corona
[mc] Fix documentation of the field 'full_type'
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Fix compile_warnings
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Use reference to types intead of type IDs
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Fix type name handling
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Fix mismatch between expected snapshot address...
tree
|
commitdiff
2014-03-18
Gabriel Corona
[mc] Add location field in struct/class-members
tree
|
commitdiff
2014-03-18
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2014-03-17
Arnaud Giersch
Cache the size of a memory page for the current system.
tree
|
commitdiff
2014-03-10
Gabriel Corona
[mc] Pass arguments everywhere in the state comparator...
tree
|
commitdiff
2014-03-10
Gabriel Corona
[mc] Remove useless code in MC_unwind_stack_frame
tree
|
commitdiff
2014-03-10
Gabriel Corona
[mc] DW_OP_deref
tree
|
commitdiff
2014-03-07
Gabriel Corona
[mc] Remove old code (mc_location_t)
tree
|
commitdiff
2014-03-07
Gabriel Corona
[mc] Use new expression evaluation code frame_base
tree
|
commitdiff
2014-03-07
Gabriel Corona
[mc] Implement DW_OP_call_frame_cfa using libunwind
tree
|
commitdiff
2014-03-07
Gabriel Corona
[mc] Use new DWARF expression code for variables
tree
|
commitdiff
2014-03-06
Gabriel Corona
[mc] Partial implementation of DWARF expression evaluator
tree
|
commitdiff
2014-03-06
Gabriel Corona
Merge branch 'mc' into mc++
tree
|
commitdiff
2014-03-06
Gabriel Corona
[mc] Fix bug when trying to handle DW_OP_regN in MC_dwa...
tree
|
commitdiff
2014-03-06
Gabriel Corona
[mc] Support DWARF4 DW_FORM_sec_offset (found in libpth...
tree
|
commitdiff
2014-03-03
Gabriel Corona
[mc] Add support for DW_TAG_unspecified_type (nullptr_t...
tree
|
commitdiff
2014-02-28
Gabriel Corona
Merge branch 'mc++' into mc-merge
tree
|
commitdiff
2014-02-28
Gabriel Corona
[mc] Fix broken tests with surf++ (because simcall...
tree
|
commitdiff
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 Corona
Merge branch 'mc' into mc++
tree
|
commitdiff
2014-02-25
Gabriel Corona
Merge bugfix from branch mc-refactor
tree
|
commitdiff
2014-02-25
Gabriel Corona
Merge branches 'mc'
tree
|
commitdiff
2014-02-25
Gabriel Corona
[mc] Fix format strings
tree
|
commitdiff
2014-02-25
Gabriel Corona
Merge bugfix
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 Guthmuller
model-checker : print comm pattern
tree
|
commitdiff
2014-02-25
Marion Guthmuller
model-checker : use separate configuration flags for...
tree
|
commitdiff
2014-02-25
Gabriel Corona
[mc] Basic namespace support (for types)
tree
|
commitdiff
next