Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 07483e9)
smx processes are now called actors, avoiding confusions in MC
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 8 Jan 2017 16:48:07 +0000 (17:48 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 8 Jan 2017 16:48:17 +0000 (17:48 +0100)
the process->actor renaming comes from S4U, but this is really welcome
in the model checker, as Process is also the proxy of the MCed on the
MCer side.


No differences found
Clone of SimGrid repository with local patches