Skip to content
This repository has been archived by the owner on May 3, 2022. It is now read-only.

Node modification: PropertyScopes, additional tests and bug fixes #216

Merged
merged 31 commits into from
Apr 4, 2022

Conversation

nezaniel
Copy link
Member

This reintroduces property scopes from #161, which it obsoletes.
Additional constraint checks and tests are introduced.
Also, a bug in the GraphProjector was fixed when specializing a node to an already covered DSP from an origin not covering that DSP
Finally, documentation for linting was added.

@nezaniel nezaniel merged commit 0e97c3d into master Apr 4, 2022
@nezaniel nezaniel mentioned this pull request Apr 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant