formal verification

Improved integer square root: Rewrite comments from #4403 #3666

Sign in to view logs

Triggered via pull request February 16, 2024 09:15

Amxx

synchronize #4902

Amxx:math/sqrt-root-comments

Status Success

Total duration 15s

Artifacts –

formal-verification.yml

on: pull_request