Skip to content

Clock scopes #158

@t-lohse

Description

@t-lohse

Like defined in Ecdar/j-Ecdar#97, scoping clocks may also prove beneficial for Reveaal in a clock reduction aspect. This could help with active clock reduction (#157) and may provide an easier way of performing clock reduction on SystemRecipe (#155).

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestlarge endeavourAn endeavour that requires a relatively more effort to implementnew featureA feature that should eventually be added

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions