Change detection of interesting events according to the new PARSEC paper (use is_ancestor instead of sees)

Description

Currently interesting event is defined in terms of sees. The new version of the PARSEC paper changes it to is_ancestor. We should reflect that in the code. This change is necessary for fork resilience.

Environment

None

Activity

Show:
Done

Assignee

Reporter

Labels

Start date

End date

Story Points

Components

Priority

Created March 20, 2019 at 3:53 PM
Updated March 22, 2019 at 2:14 PM
Resolved March 22, 2019 at 2:14 PM