Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
hunt down some more short negation forms
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 23 May 2017 22:24:48 +0000 (00:24 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 23 May 2017 22:24:48 +0000 (00:24 +0200)
commita86c635da5973707a1aca4d5301b813093b39ad3
tree0e6c094bce32f3203171c7e8063cb57508b3f38f
parenta4a0b7a61683f71695edc5b66c554d209311699f
hunt down some more short negation forms
12 files changed:
src/mc/checker/CommunicationDeterminismChecker.cpp
src/msg/msg_gos.cpp
src/simix/smx_network.cpp
src/smpi/smpi_op.cpp
src/smpi/smpi_request.cpp
src/smpi/smpi_win.cpp
src/surf/instr_routing.cpp
src/surf/network_cm02.cpp
src/surf/network_cm02.hpp
src/surf/network_ib.cpp
src/surf/surf_c_bindings.cpp
src/surf/surf_interface.cpp