Skip to content

gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution - #8531

Closed
gHashTag wants to merge 2 commits into
masterfrom
queen-8519
Closed

gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution#8531
gHashTag wants to merge 2 commits into
masterfrom
queen-8519

docs: the coordination entry this branch needs to land

ffea4a2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar