Skip to content

smt2: flatten FPA-encoded floats to their IEEE bit pattern#9031

Merged
kroening merged 1 commit into
diffblue:developfrom
tautschnig:flatten-fpa
Jun 12, 2026
Merged

smt2: flatten FPA-encoded floats to their IEEE bit pattern#9031
kroening merged 1 commit into
diffblue:developfrom
tautschnig:flatten-fpa

smt2: flatten FPA-encoded float constants to their IEEE bit pattern

201c968
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
profile-pr
succeeded Jun 11, 2026 in 19m 33s