Check for copyright header

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

Sign in to view logs

Triggered via pull request May 26, 2025 17:43

synchronize #7858

opencompl:smuloverflow-fast

Status Success

Total duration 47s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files