Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab209b5) | patch
Finalize passing transitions during model checking
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 13 Feb 2023 09:48:20 +0000 (10:48 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 13 Feb 2023 09:48:20 +0000 (10:48 +0100)
commitd18a2c38d1b8ab12e529771945100be0b24f0288
tree9242f76619410b049f27ec5ba1cea9c450786f1btree | snapshot
parentab209b5fb2592a3287497a9ea08773471005192fcommit | diff
Finalize passing transitions during model checking

Transitions are now serialized and sent to the
checker side whenever a new State instance is
created (when the ACTOR_STATUS message is sent
by the checker). Transition serialization is the
first step before the work on the UDPOR branch(es)
can be integrated into Mc SimGrid.
include/xbt/utility.hpp diff | blob | history
src/mc/api/RemoteApp.cpp diff | blob | history
src/mc/remote/Channel.cpp diff | blob | history
Clone of SimGrid repository with local patches