Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : store local variables in raw heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 30 Sep 2012 11:50:38 +0000 (13:50 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit10f77426a04dbc7a2fb65738a976a01f3f8ad056
treea37cdc571d9e5df8854b001766cbc55ed8d45a5b
parent0a34550b581ecaf512a072082fcdd7481cae1b75
model-checker : store local variables in raw heap
src/mc/mc_global.c