Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add checking for simcalls
authorPaul Bédaride <paul.bedaride@gmail.com>
Thu, 30 Jan 2014 12:24:06 +0000 (13:24 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Thu, 30 Jan 2014 12:24:06 +0000 (13:24 +0100)
commitcf1e90eacef94ed2c30fc806887f3c6e6319544e
tree51fa60dc7fbbd8457ca19c0ce9223a29ea69d19d
parentda48d2595ba1a9a5879aeabebe3af3d413cdc6ff
Add checking for simcalls
src/simix/simcalls.py
src/simix/simcalls_generated_args_getter_setter.h
src/simix/simcalls_generated_body.c
src/simix/simcalls_generated_case.c
src/simix/simcalls_generated_enum.h
src/simix/simcalls_generated_res_getter_setter.h
src/simix/simcalls_generated_string.c