Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : function get_addr_memory_map rewrited using xbt_str tools
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 23 May 2012 12:47:40 +0000 (14:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 23 May 2012 12:47:40 +0000 (14:47 +0200)
commit2135e717d0f732078edc7eed473e68bb96330cec
tree65cc79323d90d85de0e9805b2017f68f143e600d
parent419bdaa87416d96b72f6848b04b130637df71ee3
model-checker : function get_addr_memory_map rewrited using xbt_str tools
src/mc/mc_liveness.c
src/xbt/mmalloc/mm_diff.c