Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add proper copyright headers to the MC files
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:23:40 +0000 (15:23 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:23:40 +0000 (15:23 +0100)
commit56048e3bbbccaeb0c3f1ec9d0105048d7e122af1
tree845aff95275283f29b743b036a656f9716da9463
parent633f3ab4f0f29940ea9759bfe3dc4f8ec37595e8
add proper copyright headers to the MC files
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_memory.c
src/mc/mc_private.h
src/mc/mc_request.c
src/mc/mc_state.c
src/mc/memory_map.c