Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add the remaining MBI generators
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 20 Mar 2022 23:11:43 +0000 (00:11 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 20 Mar 2022 23:23:53 +0000 (00:23 +0100)
commit4e03f78d2ffac18f4e8ffa7016a3cec61bbad03a
tree14bf6dc5b506e505b7aaf76b0a468250e3f1d205
parentecfb0a6a9e5d77469e84375540b5c7d145c7a0ef
Add the remaining MBI generators
23 files changed:
teshsuite/smpi/MBI/CMakeLists.txt
teshsuite/smpi/MBI/CollArgGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/CollComGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/CollLocalConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/CollP2PMatchingGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/CollP2PMessageRaceGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/CollTopoGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/MissingWaitandStartGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PArgGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PComGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PInvalidComGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PLocalConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PMatchingANYSRCGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PMatchingGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/P2PProbeGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMAArgGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMAInvalidArgGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMALocalLocalConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMAP2PGlobalConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMARemoteLocalConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMAReqLifecycleGenerator.py [new file with mode: 0755]
teshsuite/smpi/MBI/RMAWinBufferGenerator.py [new file with mode: 0755]