Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
further useless cleanups
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 26 May 2017 14:09:04 +0000 (16:09 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 26 May 2017 14:09:04 +0000 (16:09 +0200)
commitf6d4ca5d06bb0d90e4d5505d8b289e2a1c8a39d1
tree3fcad22d4dbb4cacd2886a7a6b153611e29ae0ff
parent25051824a328a46c0f91d23b784cb2710bab0b02
further useless cleanups
14 files changed:
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.hpp
src/simix/popping_accessors.h
src/simix/popping_bodies.cpp
src/simix/popping_enum.h
src/simix/popping_generated.cpp
src/simix/simcalls.py
src/simix/smx_global.cpp
src/smpi/smpi_coll.cpp
src/smpi/smpi_group.cpp
src/smpi/smpi_pmpi.cpp
teshsuite/s4u/listen_async/listen_async.cpp
tools/sg_xml_unit_converter.py
tools/tesh/tesh.py