ModelInference / perfume-frontend

Web-based frontend for Perfume tool
Other
1 stars 0 forks source link

Invariants tab visualization of constrained invariants #24

Closed bestchai closed 4 years ago

bestchai commented 4 years ago

The perfume interface currently only shows Synoptic invariants (unconstrained temporal invariants). We also want to show the constrained invariants. Showing these as a list (not using any infographic) is fine, but we do need to show them.

[Issue created by bestchai: 2014-03-17] [Last updated on bitbucket: 2015-01-11]

[Comment created by ohmann: 2015-01-11] Fixed some time ago when the visualization was replaced by lists of invariants.