Fixing the runtime
Open
enhancement
- Dominant language
- Java
- Stars
- 4
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
Profile where we loose most time, and try and optimize the code.
- remove unnecessary calls to CDDReduce and CDDRemoveNegative
- remove unnecessary conversions to guards
- translate CDDs to guards without conversion to DBMs?
- check if the current one big CDD for each discrete location in the passedList of the refinement check is efficient
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.