Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : keep MC_request_to_string in std heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 15:48:51 +0000 (17:48 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 15:48:51 +0000 (17:48 +0200)
commit8406ae759f9b13d3c4c26c66693a3b9a62e74c46
treeb229273b4bcf7f67ffd8c31239f86500767ec4c9
parent82588cd669285c1f7aa78a1d97745406e9080d54
model-checker : keep MC_request_to_string in std heap
src/mc/mc_liveness.c