Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update backtrace display
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 7 Jul 2012 20:19:44 +0000 (22:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 10 Jul 2012 14:13:57 +0000 (16:13 +0200)
commitd6554aac9c31756d810d934f17959675288a203a
tree4b21cbd4889bc639d5111cf7d18b23cbe85477fc
parent67d9420f78fbf068e11d3f575ebd59a995aeefee
model-checker : update backtrace display
src/xbt/backtrace_linux.c
src/xbt/mmalloc/mm_diff.c