Completed
Push — master ( 7da6eb...f08cf3 )
by Victor
02:31 queued 12s
created

Changes

1 new patch (Spacing) is available.
2 added classes/operations
Arrow A Flattener::makeHighBound() added
Arrow A Flattener::makeLowBound() added
C A Flattener::flatten() improved
6.92
▲   + 0.23
Head
Victor Toulouse  
Merge branch 'dev' into master
1 more commit
Base
Victor Toulouse  
Prevents creating intervals between bounds with identical values. Adds test.