Skip to content
This repository has been archived by the owner on Sep 19, 2023. It is now read-only.

Improve epochFinished predicate in ISS. #77

Open
@matejpavlovic

Description

Resolve this TODO:

// TODO: Instead of checking all sequence numbers every time,

The changes in the code should be rather straight-forward, but addressing this issue is a good opportunity to get to know the code.

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions