stillwater-sc / universal / 26429434895

Builds Branch Commit Type Ran Committer Via Coverage
26429434895 fix/issue-ci-ereal-regression-runtime Merge f57bab127 into b09b6e595 Pull #1001 web-flow github
83.98
26409565158 main docs(internal): Shewchuk/Priest conformance audit + citation fixes (#990, #987 Layer 3) (#996) * docs(internal): Shewchuk/Priest conformance audit + fix citations (#990, #987 Layer 3) Layer 3 (final) of epic #987. docs/bugs/ereal-priest-conforma... push web-flow github
84.09
26408746686 docs/issue-990-conformance-audit Merge 3def06494 into 6a0630719 Pull #996 web-flow github
84.06
26408642705 docs/issue-990-conformance-audit Merge 27be5e4fa into 6a0630719 Pull #996 web-flow github
84.06
26403525480 main feat(ereal): independent exact-value oracle -- keystone (#989, #987 Layer 2) (#995) * feat(ereal): independent exact-value oracle -- keystone (#989, #987 Layer 2) Layer 2 of epic #987, the keystone the whole effort was for: prove ereal does not ... push web-flow github
84.06
26400765743 feat/issue-989-exact-value-oracle Merge 7dc8a3eef into 198734282 Pull #995 web-flow github
84.08
26400712318 feat/issue-989-exact-value-oracle Merge c9abc7f50 into 198734282 Pull #995 web-flow github
84.08
26398494759 feat/issue-988-eft-primitive-exactness Merge 10af0a4de into 34b6a3f2d Pull #994 web-flow github
84.06
26399740586 main feat(internal): EFT primitive exactness proof (#988, #987 Layer 1) (#994) * docs(ereal): verification failure-mode assessment + dyadic oracle (WIP, epic #987) Captures the ereal/Priest verification gap (structural + self-referential oracles neve... push web-flow github
84.07
26398882380 feat/issue-988-eft-primitive-exactness Merge a4a205a1b into 34b6a3f2d Pull #994 web-flow github
84.05
26397640216 main fix(erational): correct ieee754 conversion (both directions) + add tests (#986) (#993) * fix(erational): inbound double->erational conversion exponent scaling (#986, WIP) convert_ieee754 now builds the exact dyadic rational (-1)^s * significand ... push web-flow github
84.03
26381803614 fix/issue-986-erational-conversion Merge 7c2dc4724 into 9c3e26d09 Pull #993 web-flow github
84.03
26381695317 main fix(einteger): correct multiply carry propagation + shift canonicalization (#991) (#992) operator*= kept a single carry accumulator across all outer-limb rows and flushed it only once at block(ll+rl-1), misplacing carries at the limb boundary: (2... push web-flow github
84.03
26381119807 fix/issue-986-erational-conversion Merge b7fbe7947 into 4648aaee3 Pull #993 web-flow github
84.02
26381119324 fix/issue-991-einteger-multiply-carry Merge 94ded604b into 4648aaee3 Pull #992 web-flow github
84.01