Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : %zu instead of %Zu in printf
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jan 2012 08:23:43 +0000 (09:23 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jan 2012 08:23:43 +0000 (09:23 +0100)
commit9612030d863ecf627fe05bc73bca003da4e6bde8
treeb766ccb70e53ef5ef41c8ed61e7f6a6990fb5b26
parent2be0e4648c5b7055580df1c265b7c43ee6763a46
model-checker : %zu instead of %Zu in printf
src/mc/mc_liveness.c
src/xbt/mmalloc/mm_legacy.c