formal verification

Optimize `log2` with a lookup table #5265

Sign in to view logs

Triggered via pull request October 29, 2024 16:05

Lohann

synchronize #5236

Lohann:lohann/efficient-log2-algorithm

Status Success

Total duration 59s

Artifacts –

formal-verification.yml

on: pull_request