HomeIsabelle/Phabricator
Diffusion Poly/ML d7a9a9dd85dd

Clear the volatileRef with the thread reference when the thread dies.
d7a9a9dd85ddUnpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Clear the volatileRef with the thread reference when the thread dies.

Details

Provenance
dcjmAuthored on Jan 23 2019, 6:59 PM
Parents
rPOLYML45e4c2cde597: Use a volatile ref instead of an index for the task id. This means it is no…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
libpolyml/

rPOLYMLd7a9a9dd85dd

View Options

libpolyml/processes.cpp

Loading...