formal verification

Optimize `log2` with a lookup table #5264

Sign in to view logs

Triggered via pull request October 29, 2024 15:27

Lohann

synchronize #5236

Lohann:lohann/efficient-log2-algorithm

Status Success

Total duration 1m 12s

Artifacts –

formal-verification.yml

on: pull_request