stillwater-sc / universal

85%

master: 84%

LAST BUILD ON BRANCH fix/issue-1252-interval-eft-underflow

branch: fix/issue-1252-interval-eft-underflow

CHANGE BRANCH

x

Reset

• fix/issue-1252-interval-eft-underflow
• Ravenwater-patch-1
• chore/ascii-source-cleanup
• chore/claude-code-config
• chore/issue-1152-clang-format-adaptive-demos
• chore/issue-1209-remove-la-consumers
• chore/issue-1209-remove-la-library
• chore/issue-1210-remove-orphaned-testmatrix-data
• ci-alert-autofix-1
• ci/add-bisection-scope
• ci/add-dependabot-config
• ci/codeql-no-pr-trigger
• ci/docs-force-node24
• ci/issue-1009-ccache-save-gating
• ci/native-arm64-runner
• copilot/fix-linux-x64-gcc-job
• docs/docs-site-links
• docs/efloat-constexpr-comment
• docs/issue-1163-ereal-mathlib-header
• docs/issue-1274-scale-int-limit
• docs/issue-990-conformance-audit
• docs/workflow
• feat/bisection-encode-decode
• feat/decimal-fixpnt
• feat/dfloat-ranges
• feat/docs-doxygen-api
• feat/efloat-arithmetic-engine
• feat/efloat-classification
• feat/efloat-correct-rounding
• feat/efloat-error-gamma
• feat/efloat-exceptions-status-flags
• feat/efloat-exponent
• feat/efloat-fractional
• feat/efloat-logarithm-suite
• feat/efloat-lossless-conversions
• feat/efloat-mathlib-tier1
• feat/efloat-minmax
• feat/efloat-multiplication-division
• feat/efloat-power
• feat/efloat-runtime-precision
• feat/efloat-sqrt
• feat/efloat-truncation
• feat/elreal-class-facade
• feat/elreal-phase-a
• feat/elreal-phase-b
• feat/elreal-phase-c
• feat/elreal-phase-d
• feat/elreal-phase-e1
• feat/elreal-phase-e2
• feat/elreal-phase-e3
• feat/elreal-phase-e4
• feat/elreal-phase-e5
• feat/elreal-phase-e6
• feat/elreal-phase-f
• feat/elreal-phase-g
• feat/elreal-phase-i
• feat/elreal-phase-j
• feat/elreal-phase-k1
• feat/elreal-phase-k2
• feat/elreal-phase-l1
• feat/elreal-phase-l2a
• feat/elreal-phase-l2b
• feat/fixpnt-fdp-aggregator
• feat/high-precision-constants
• feat/issue-1022-elreal-exact-oracle
• feat/issue-1040-adaptive-characterize
• feat/issue-1049-transcendental-hardening
• feat/issue-1050-elreal-payne-hanek
• feat/issue-1052-lift-precision-floor
• feat/issue-1053-euler-gamma-highprecision
• feat/issue-1061-online-e-gamma
• feat/issue-1061-online-muldiv
• feat/issue-1061-phase3a-transcendental-precision
• feat/issue-1061-phase3b-euler-gamma-loop
• feat/issue-1061-phase3b-online-series
• feat/issue-1061-phase3b-online-transcendentals
• feat/issue-1061-wide-block-exponent
• feat/issue-1076-asin-sqrt-diagnostic
• feat/issue-1079-phase2-lazy-api
• feat/issue-1079-phase3-limits-manipulators
• feat/issue-1079-phase4-mathlib
• feat/issue-1079-phase5-suites
• feat/issue-1096-catastrophic-cancellation
• feat/issue-1097-ill-conditioned-systems
• feat/issue-1098-high-precision-fractals
• feat/issue-1099-mathematical-identities
• feat/issue-1100-polynomial-roots
• feat/issue-1110-efloat-complex
• feat/issue-1114-efloat-hyperbolic
• feat/issue-1115-efloat-trigonometry
• feat/issue-1120-efloat-next
• feat/issue-1121-efloat-hypot
• feat/issue-1139-efloat-1000digit-constants
• feat/issue-1150-efloat-decimal-output
• feat/issue-1164-efloat-numerics
• feat/issue-1165-ereal-parity
• feat/issue-1166-fma-scalbn-logb-ilogb
• feat/issue-1167-ereal-complex
• feat/issue-1182-round-to-cfloat
• feat/issue-1191-fixpnt-fma
• feat/issue-1192-integer-fma
• feat/issue-1193-bfloat16-fma
• feat/issue-1194-areal-fma
• feat/issue-1195-takum-fma
• feat/issue-1196-lns-dbns-fma
• feat/issue-1197-posit1-posito-fma
• feat/issue-1198-has-fma-trait
• feat/issue-1199-generic-adl-fma
• feat/issue-1209-phase4-deprecation
• feat/issue-1243-archive-posit1-posito
• feat/issue-1247-interval-eft-tightness
• feat/issue-1255-interval-cfloat-eft
• feat/issue-423-constexpr-math-log2
• feat/issue-545-quire-traits
• feat/issue-546-generalized-quire
• feat/issue-547-cfloat-fdp
• feat/issue-548-fixpnt-fdp
• feat/issue-549-lns-fdp
• feat/issue-564-unum-core-storage
• feat/issue-565-unum-conversions
• feat/issue-566-unum-comparison
• feat/issue-567-unum-arithmetic
• feat/issue-568-unum-io
• feat/issue-569-unum-math
• feat/issue-570-unum-ubox
• feat/issue-571-unum-validation
• feat/issue-583-type-registry
• feat/issue-584-translator
• feat/issue-585-serialization-tests
• feat/issue-586-serialization-ci
• feat/issue-631-steps-visualization
• feat/issue-632-oracle-command
• feat/issue-633-testvec
• feat/issue-634-histogram
• feat/issue-635-stochastic
• feat/issue-636-errordist
• feat/issue-637-cond
• feat/issue-638-mcp-server
• feat/issue-653-steps-posit
• feat/issue-654-steps-fixpnt
• feat/issue-655-steps-dfloat
• feat/issue-656-steps-lns
• feat/issue-657-steps-dd
• feat/issue-658-steps-hfloat
• feat/issue-659-steps-dbns
• feat/issue-666-ast-builder
• feat/issue-667-provenance
• feat/issue-668-rewrite-patterns
• feat/issue-669-ast-matching
• feat/issue-670-verification
• feat/issue-689-bisection-generators
• feat/issue-690-bisection-arithmetic
• feat/issue-691-bisection-cli
• feat/issue-692-bisection-aux-real
• feat/issue-693-bisection-validation
• feat/issue-704-blockbinary-storage
• feat/issue-713-posit-constexpr-integers
• feat/issue-713-posit-ieee754-constexpr
• feat/issue-715-blockbinary-constexpr
• feat/issue-718-posit-constexpr-arithmetic
• feat/issue-719-cfloat-constexpr-arithmetic
• feat/issue-720-integer-constexpr-arithmetic
• feat/issue-721-fixpnt-constexpr-arithmetic
• feat/issue-722-lns-constexpr-arithmetic
• feat/issue-724-areal-constexpr
• feat/issue-725-bfloat16-constexpr
• feat/issue-730-dfloat-constexpr
• feat/issue-731-e8m0-constexpr
• feat/issue-732-hfloat-constexpr
• feat/issue-733-microfloat-constexpr
• feat/issue-734-mxfloat-constexpr
• feat/issue-735-nvblock-constexpr
• feat/issue-741-takum-constexpr
• feat/issue-743-unum-constexpr
• feat/issue-744-valid-constexpr
• feat/issue-745-zfpblock-constexpr
• feat/issue-746-edecimal-partial-constexpr
• feat/issue-747-efloat-partial-constexpr
• feat/issue-748-einteger-partial-constexpr
• feat/issue-749-erational-partial-constexpr
• feat/issue-750-ereal-partial-constexpr
• feat/issue-752-blocktriple-blocksignificand-constexpr
• feat/issue-759-blockbinary-mul-div-constexpr
• feat/issue-764-constexpr-math-exp2
• feat/issue-765-constexpr-math-pow
• feat/issue-766-constexpr-math-log
• feat/issue-767-constexpr-math-sqrt
• feat/issue-768-constexpr-math-exp
• feat/issue-777a-lns-addsub-policy-scaffolding
• feat/issue-780-lns-lookup-addsub
• feat/issue-781-lns-polynomial-arnoldbailey
• feat/issue-782-lns-addsub-bench-doc
• feat/issue-783-cordic-hyperbolic-addsub
• feat/issue-815-zfp-codec-constexpr
• feat/issue-816-zfparray-constexpr
• feat/issue-819-unum-conversion-arith-constexpr
• feat/issue-829-arnold-vouzis-cotransformation
• feat/issue-835-phase-b1-integer-fixpnt
• feat/issue-835-phase-b2a-decimal-to-binary-utility
• feat/issue-835-phase-b2b-posit-decimal-parse
• feat/issue-835-phase-b2c-cfloat-decimal-parse
• feat/issue-835-phase-c-extended-precision-string-parse
• feat/issue-835-phase-d-specialized-fp-string-parse
• feat/issue-835-phase-e-decimal-elastic-string-parse
• feat/issue-835-string-parse-foundation
• feat/issue-848-exact-d2b-conversion-for-dd-qd-cascade
• feat/issue-849-hfloat-decimal-string-parse
• feat/issue-852-dfloat-parse-coverage
• feat/issue-853-einteger-parse-coverage
• feat/issue-854-edecimal-parse-decimal-and-sci
• feat/issue-855-erational-parse-pq-decimal-sci
• feat/issue-857-ereal-parse-test-coverage
• feat/issue-911-reference-string-constants
• feat/issue-925-elreal-block
• feat/issue-926-elreal-zbcl
• feat/issue-927-elreal-block-eft
• feat/issue-928-elreal-mccleeary
• feat/issue-929-elreal-infinite-summation
• feat/issue-930-elreal-mul-div
• feat/issue-931-7.1-elreal-constants
• feat/issue-931-7.2-elreal-sqrt-hypot
• feat/issue-931-7.3-elreal-exp-log-pow
• feat/issue-931-7.4-elreal-hyperbolic
• feat/issue-931-7.5-elreal-inverse-trig
• feat/issue-931-7.6-elreal-forward-trig-v2
• feat/issue-932-elreal-round-to
• feat/issue-933-phase9-evaluation
• feat/issue-941-bfloat16-exponent-functions
• feat/issue-942-block-eft-odd-precision
• feat/issue-945-ereal-subtraction-refactor
• feat/issue-946-ereal-multiplication-refactor
• feat/issue-947-ereal-division-refactor
• feat/issue-948-ereal-algebraic-identities
• feat/issue-949-ereal-constants-refactor
• feat/issue-950-ereal-mathfns-cat1-classify-numeric
• feat/issue-950-ereal-mathfns-cat2-exp-log
• feat/issue-950-ereal-mathfns-cat3-trig-hyperbolic
• feat/issue-950-ereal-mathfns-cat4-pow-sqrt-hypot
• feat/issue-950-ereal-mathfns-cat5-fractional-gamma
• feat/issue-951-ereal-maxlimbs-threshold
• feat/issue-952-ereal-conversion-geometry-verify
• feat/issue-953-ereal-api-audit
• feat/issue-954-d1-priest-oracle-v2
• feat/issue-954-d2-precision-lifting
• feat/issue-954-d3-stress-retrofit
• feat/issue-956-ereal-addition-corner-cases
• feat/issue-988-eft-primitive-exactness
• feat/issue-989-exact-value-oracle
• feat/parse-decimal-string-embellishment
• feat/pop-implementation
• feat/posit_ostream
• feat/precision-opt
• feat/takum-arithmetic
• feat/teju-jagua
• feat/ucalc-audit
• feat/ucalc-block
• feat/ucalc-cancel
• feat/ucalc-clip
• feat/ucalc-diverge
• feat/ucalc-dot
• feat/ucalc-heatmap
• feat/ucalc-native-arithmetic
• feat/ucalc-native-precision-rendering
• feat/ucalc-numberline
• feat/ucalc-quantize
• feat/ucalc-repl-calculator
• feat/ucalc-structured-output
• feat/ucalc-takum-dfixpnt
• feat/ucalc-trace
• feature/cross-type-conversion-197
• fix/1254-round-style-tie-clarity
• fix/blas-bugs
• fix/blockbinary-any-logical-or-bug
• fix/cfloat-cross-config-double-bottleneck
• fix/cfloat-logic
• fix/cfloat-signed-zero-equality
• fix/cfloat-subnormal-source-conversion
• fix/cfloat-supernormal-and-rounding-bugs
• fix/cfloat-wide-significand-rounding
• fix/cmake-config
• fix/code-hygiene
• fix/codeql-alerts
• fix/dd-division-sign-bug
• fix/dfixpnt-doc
• fix/dfloat-parse-and-print
• fix/edecimal-perf
• fix/efloat-abs-stub
• fix/elreal-e-zbcl-highprec-1048
• fix/elreal-msvc-inline-keyword
• fix/elreal-narrow-host-subnormal-add
• fix/elreal-test-structures
• fix/ereal_ostream
• fix/fixpnt-saturating-division-double-fallback
• fix/interval-entire-representation
• fix/issue-1002-ereal-highprec-constants
• fix/issue-1006-parse-highprec
• fix/issue-1024-quad-two-prod
• fix/issue-1026-cfloat-floor-wide
• fix/issue-1027-cfloat-frexp-semantics
• fix/issue-1030-cfloat-isnormal-zero
• fix/issue-1034-addrec-renormalization
• fix/issue-1044-priestrenorm-cancellation
• fix/issue-1057-addrec-canonical
• fix/issue-1061-elreal-div-host-floor
• fix/issue-1068-mul-online-host-floor
• fix/issue-1076-sqrt-newton-depth
• fix/issue-1120-nexttoward-cleanup
• fix/issue-1133-bfloat16-rne
• fix/issue-1140-efloat-sqrt-precision
• fix/issue-1141-efloat-parse-precision
• fix/issue-1160-efloat-long-double
• fix/issue-1202-cfloat-quire-radixpoint
• fix/issue-1203-lns-quire-accuracy-docs
• fix/issue-1226-quire-nar-state
• fix/issue-1234-interval-outward-rounding
• fix/issue-1254-cfloat-round-style
• fix/issue-1260-limb-mask-narrowing
• fix/issue-1261-shift-mask-narrowing
• fix/issue-1262-setfields-longdouble
• fix/issue-1263-decimal-warnings
• fix/issue-1264-posit-lns-narrowing
• fix/issue-1270-decimal-sign-conversion
• fix/issue-1273-decimal-llong-min
• fix/issue-1280-sign-conversion-blocks
• fix/issue-1281-sign-conversion-posit
• fix/issue-1282-sign-conversion-cfloat
• fix/issue-1283-sign-conversion-integer
• fix/issue-339-cfloat-parse
• fix/issue-438-dd-qd-exp-log
• fix/issue-509-lns-fraction
• fix/issue-559-coderabbit-followup
• fix/issue-559-posit-nar-to-binary
• fix/issue-684-cfloat-integer-rounding
• fix/issue-696-capi-shim-perf
• fix/issue-710-bit-cast-msvc
• fix/issue-726-dbns-constexpr
• fix/issue-727-dd-full-constexpr
• fix/issue-728-dd-cascade-constexpr
• fix/issue-729-dfixpnt-constexpr
• fix/issue-738-qd-constexpr
• fix/issue-739-qd-cascade-constexpr
• fix/issue-742-td-cascade-constexpr
• fix/issue-758-wholenumber-naturalnumber-subtract
• fix/issue-774-fast-posit-32-2-flaky-div
• fix/issue-801-to-digits-renormalize
• fix/issue-804-dfixpnt-wide-overflow
• fix/issue-842-einteger-division-knuth-d4
• fix/issue-862-einteger-rshift-spurious-limb
• fix/issue-914-qd-pi3-wrong-value
• fix/issue-937-cfloat-long-double
• fix/issue-941-bfloat16-float-marshalling
• fix/issue-957-ereal-inf-handling
• fix/issue-959-ereal-priest-canonical-renorm
• fix/issue-962-ereal-signed-zero
• fix/issue-966-ereal-mul-special-values
• fix/issue-968-ereal-div-by-zero
• fix/issue-981-expansion-product-renormalize
• fix/issue-986-erational-conversion
• fix/issue-991-einteger-multiply-carry
• fix/issue-999-is-nonoverlapping-inverted
• fix/issue-ci-ereal-regression-runtime
• fix/lns-algo-swap
• fix/lns-division-operator
• fix/lns-wrapping-division-exponent-subtraction
• fix/pop-coverage
• fix/posit-division
• fix/posit-to-native-narrowing
• fix/quire_numerics
• fix/regression-test-latency
• fix/setfields-exponent-wconversion
• fix/std_numbers
• losborn_3_98_fixes
• losborn_gcc_broken_on_intel_macOS
• losborn_impossible_float_case_warning_fix
• losborn_improved_comments_SQUASHED
• losborn_top_level_makefile
• main
• perf/elreal-sanitizer-ci-speedup
• perf/issue-1007-ereal-mathlib-test-speed
• perf/issue-1061-euler-gamma-abel
• refactor/elreal-standard-test-structure
• refactor/issue-1035-consolidate-elreal-oracle
• refactor/issue-1151-efloat-make-constant-parse
• refactor/string-parse-foundation-test-pattern
• revert/elreal-for-mccleeary-rewrite
• riscv-tests
• test/issue-1013-ereal-parse-benchmark
• test/issue-765-pow-test-hardening
• unum
• v3.93
• v3.94
• v3.95
• v3.96
• v3.97
• v3.98
• v3.99

Build # 30453725641

Build Type

Pull #1253

github

Committed by web-flow

Commit Message

Merge 6b058381e into 1c6417437

Pull Request Pull Request #1253: fix(interval): underflow-safe EFT product enclosure (#1252)

Coverage Stats

22 of 22 new or added lines in 1 file covered. (100.0%)

8 existing lines in 1 file now uncovered.

41581 of 48795 relevant lines covered (85.22%)

7166440.83 hits per line