formal verification

Optimize `log256`'s binary search #5263

Sign in to view logs

Triggered via pull request October 28, 2024 17:36

cairoeth

opened #5284

cairoeth:optimize-log256-lookup-table

Status Success

Total duration 1m 13s

Artifacts –

formal-verification.yml

on: pull_request