Skip to content
Check for copyright header

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

Sign in to view logs

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

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

Triggered via pull request May 26, 2025 18:26
@luisacicoliniluisacicolini
synchronize #7858
opencompl:smuloverflow-fast
Status Success
Total duration 47s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
39s
check-lean-files
Fit to window
Zoom out
Zoom in