Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter,exit}
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 11 Oct 2014 20:47:30 +0000 (22:47 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 11 Oct 2014 20:47:52 +0000 (22:47 +0200)
commit6845924a6746f86020c07fd2f8ce2e4c16a55ed2
tree9c83b58504e5f747c7a7fc330d6a3859051dbff2
parentff7eafd19936822d22334fbf345c0b2ac9d56dc5
rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter,exit}
13 files changed:
buildtools/Cmake/DefinePackages.cmake
buildtools/Cmake/MaintainerMode.cmake
doc/Doxyfile.in
src/mc/mc_comm_determinism.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_safety.c
src/simix/simcalls.py
src/simix/simcalls_generated_body.c
src/simix/smx_global.c
src/simix/smx_simcall_enter.c [moved from src/simix/simcalls_generated_case.c with 99% similarity]
src/simix/smx_smurf.c
src/simix/smx_smurf_private.h