Add `abstract` pass for formal verification · YosysHQ/yosys@5bd1861

Triggered via pull request February 19, 2025 22:03

widlarizer

synchronize #4894

emil/abstract

Status Success

Total duration 9m 12s

Artifacts 1

prepare-docs.yml

on: pull_request

Produced during runtime

Name	Size
cmd-ref-4fea729e607eb0d06adc8762a88f3bf85cb5bc6c	2.91 MB