Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
improve a bit the documentation of popping, and align code with doc
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 1 Nov 2014 23:30:34 +0000 (00:30 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 1 Nov 2014 23:30:34 +0000 (00:30 +0100)
commitd2782615cdbeb1ad4c5e994a4c681739927e3aff
treeba7b0515cbb80e8aa24d1126c5bba1432cfee71e
parentcbbf89e8e83de20ef878172618135309070230b1
improve a bit the documentation of popping, and align code with doc
doc/doxygen/inside_extending.doc
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/smx_global.c
src/simix/smx_popping_bodies.c
src/simix/smx_popping_generated.c
src/simix/smx_smurf_private.h