Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
a little program to help determining which memory chunk were modified during model...
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 2 Apr 2012 02:25:37 +0000 (16:25 -1000)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 2 Apr 2012 02:25:37 +0000 (16:25 -1000)
commite66f876b5aca5cc3455a8a8b2570cdfb937e6811
tree6c4ee1651db570c36509e0f4602ca534cb392260
parent2931186f42e4cc57c72b923936fc20f5d4067aa2
a little program to help determining which memory chunk were modified during model-checking. Still veeeery preliminary
tools/gras/CMakeLists.txt
tools/gras/s_smx_process_t [new file with mode: 0644]
tools/gras/s_smx_simcall_t [new file with mode: 0644]
tools/gras/struct_diff.c [new file with mode: 0644]