Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
compilation errors (optimizations and model checking on) fixed in function ‘get_addr_...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 23 May 2012 09:47:21 +0000 (11:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 23 May 2012 09:47:21 +0000 (11:47 +0200)
commit3187f0cf6163ddd170510f8aea2a6b9fc9dd3e46
tree6518c6135ed4d274041ff5c7362062d2e9b6ba19
parentd34cb01da6a26cc35b4cd0cce1c8c3a62094e894
compilation errors (optimizations and model checking on) fixed in function ‘get_addr_memory_map’
src/mc/mc_liveness.c
src/xbt/mmalloc/mm_diff.c