Skip to content
Commit d027a728 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Don't decide about hw axis bounds in two separate places (?!!) 

Also, allow overapproximation in hw axis bound finding.
parent e9fee6d1
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment