Check for copyright header

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

Sign in to view logs

Triggered via pull request May 24, 2025 11:31

synchronize #7858

opencompl:smuloverflow-fast

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files