dpsanders / ValidatedNumerics.jl / 1156

92%

push

travis-ci

Refactor `@round` to transform `a+b` to `+(a, b, RoundDown)` (#188)

* Proof of concept for generic rounding macros in rounding.jl: + and sin

* More rounding

* Define rounding for sqrt

* Up-arrow and down-arrow macros with code re-use

* Add fallback for rounding of non-expressions

* @rounding in terms of up-arrow and down-arrow

* Remove old definitions

* Start replacing  with new version that does not have explicit type T

* More @round conversions

* Fix escaping for 0.6

* Make multiline comment

* 0.6 compatibility for round_string

* Add \times for constructing IntervalBox

* 0.6 deprecation of takebuf_string

* round for max and min; multiplication now works

* Refactor ^

* 0.6 deprecation of invoke

* 0.6 deprecation of invoke

* Add rounding no-op for unary minus

* Fix unary minus and zero

* Clean up powers

* Finish power clean-up. Seems to have removed type instability

* Remove $ around esc

* Fix split_interval_string

* Another try

* displaymode full for tests

* Replace nonnegative_reals by Interval expression again

* Fixes for tests

* Refactor rounding for sin

* Refactor rounding for trig functions

* Refactor rounding for hyperbolic

* Fix compatibility with Julia 0.4

* Fix @round_up and @round_down macros

* Fix rounding macros; rename round for expressions to round_expr

* Fix rounding macros

* Attempt to fix escaping issue on 0.6

* Use Compat for String

* Correct definition of float(x::Interval); #174

* Simplify representation for IntervalBox

* Fix an atan2 atest

* Fix at-interval mid(a) to return interval

* Add constructor Interval(x::Interval)

* Add NaN-ignoring version of min to use in fma for Julia 0.6 behaviour change

* Make Interval of a complex return complex interval

* Better solution for min_ignore_nans

* Fix min and max of single arguments on 0.4

* Make power type stable

* Add fallback for hull of two in... (continued)

149 of 149 new or added lines in 13 files covered. (100.0%)

898 of 990 relevant lines covered (90.71%)

270816.5 hits per line