Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : first part to retrieve local variables of the application with dwarfdump
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Sep 2012 17:05:59 +0000 (19:05 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Sep 2012 17:06:28 +0000 (19:06 +0200)
commit784572a76e39c6c96db202387abe118658465d73
tree6d99f49da24f9ca4ffb51868cf0c35c077aa321c
parent2b32ae3f9b6b6e55062991921ba4b7f1af126f6a
model-checker : first part to retrieve local variables of the application with dwarfdump
src/mc/mc_global.c
src/mc/mc_private.h