Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / mc / mc_dwarf_expression.c
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-13 Gabriel Corona[mc] Add support for DW_OP_regN locaitions from DW_AT_f...
2014-10-13 Gabriel Corona[mc] Prepare support for register location in DWARF...
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-08 Gabriel CoronaMerge branch 'mc-fix' into mc-fastsnapshot
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc
2014-06-17 Gabriel Corona[mc] Use mc_snapshot_read in dwarf expression evaluatio...
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent...
2014-05-26 Gabriel CoronaMerge branch 'master' into mc
2014-05-16 Gabriel CoronaMerge branch 'mc_without_ksm' into mc
2014-05-16 Gabriel Corona[mc] Avoid memsetting twice
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo'
2014-04-08 Gabriel CoronaMerge remote-tracking branch 'origin/mc'
2014-04-04 Gabriel Corona[mc] Fix issues with register translation code
2014-04-04 Gabriel Corona[mc] Fix bAd text
2014-04-04 Gabriel CoronaMerge branch 'mc'
2014-04-04 Gabriel Corona[mc] Implement translation of register number
2014-04-01 Arnaud Giersch[mc] Initialize expression->ops before calling mc_dwarf...
2014-04-01 Arnaud GierschUpdate copyright headers.
2014-04-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-31 Martin QuinsonRevert "Remove XBT_INFO call"
2014-03-31 Pierre VeyreRemove XBT_INFO call
2014-03-31 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-28 Gabriel Corona[mc] Fix type conversion (once again)
2014-03-28 Gabriel Corona[mc] Fix type of expression resolution methods (uintpt_...
2014-03-25 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-25 Gabriel CoronaMerge branch 'mc++'
2014-03-25 Gabriel Corona[mc] Fix DW_OP_addr to translate address into virtual...
2014-03-25 Gabriel Corona[mc] Fix DW_OP_call_frame_cfa
2014-03-25 Gabriel Corona[mc] Fix broken DW_OP_call_frame_cfa
2014-03-21 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-21 Gabriel CoronaMerge branch 'mc++'
2014-03-18 Gabriel Corona[mc] Add location field in struct/class-members
2014-03-10 Gabriel Corona[mc] DW_OP_deref
2014-03-07 Gabriel Corona[mc] Use new expression evaluation code frame_base
2014-03-07 Gabriel Corona[mc] Implement DW_OP_call_frame_cfa using libunwind
2014-03-07 Gabriel Corona[mc] Use new DWARF expression code for variables
2014-03-06 Gabriel Corona[mc] Partial implementation of DWARF expression evaluator