Echtzeitsysteme / Echtzeitsysteme/gips
Feature request: redundant constraint removal (across multiple GIPSL constraints)
Open
enhancement
- Dominant language
- Java
- Stars
- 7
- Forks
- 4
- Avg merge
- 5d 11h
- Merged PRs (30d)
- 10
Description
I introduced the removal of redundant generated constraints per GIPSL constraint in this PR: https://github.com/Echtzeitsysteme/gips/pull/346
This issue is a reminder to implement this globally. I.e., redundant constraints should be removed regardless of their GIPSL constraint affiliation.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.