Code

protect ieee_floatt::rounding_mode#8551

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom ieee_floatt-protect-rounding_modediffblue/cbmc:ieee_floatt-protect-rounding_modeCopy head branch name to clipboardJan 2, 2025

+60-40

Commits

Commits on Dec 31, 2024

• protect ieee_floatt::rounding_mode

  Show description for 1a1b6ac
  kroening

  committed
  1a1b6ac

  Copy full SHA for 1a1b6ac