Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Properties and assertions tab for sketch editor #9

Open
daemontus opened this issue Jun 29, 2023 · 1 comment
Open

Properties and assertions tab for sketch editor #9

daemontus opened this issue Jun 29, 2023 · 1 comment
Labels
tracking-issue
Milestone
1.0.0

Comments

@daemontus
Copy link
Member

Properties and assertions are either static (first-order logic) or dynamic (HTCL). There are some pre-defined property templates, plus some properties arise directly from the regulatory network.
@daemontus daemontus added this to the 1.0.0 milestone Jun 29, 2023
@ondrej33
Copy link
Member

The support for the properties was gradually added in multiple PRs (#36, #48, #49, #50 and #53). That should cover the initial releasable version of Properties tab and their evaluation during inference.

As a follow-up, we could still try to think of some more useful template properties.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tracking-issue
Projects
None yet
Milestone
1.0.0
Development

No branches or pull requests
2 participants
@daemontus @ondrej33