Check for copyright header

feat: add fast circuit for unsigned multiplication overflow detection `fastUmulOverflow_eq` and surrounding definitions #13190

Sign in to view logs

Triggered via pull request May 26, 2025 18:19

synchronize #7858

opencompl:smuloverflow-fast

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files