Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase5' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 10 Mar 2023 21:25:15 +0000 (21:25 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 10 Mar 2023 21:25:15 +0000 (21:25 +0000)
commit93998c2ed02609cdbf9f8039a0c6f364940df8cb
tree3c45cdc4a0265a0c786e168b17c23099aae1c5a7
parent3863ea3407b8209a66dded84e28001f24225682c
parent8e150e29c379c6b59b4eb6c2d4d493e573e73288
Merge branch 'udpor-phase5' into 'master'

Phase 5 of UDPOR Integration: Implementing Conflict Checks

See merge request simgrid/simgrid!138
src/mc/explo/udpor/EventSet_test.cpp