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

Triggered via pull request February 18, 2025 12:50

widlarizer

synchronize #4894

emil/abstract

Status Success

Total duration 9m 25s

Artifacts 1

prepare-docs.yml

on: pull_request

Produced during runtime

Name	Size
cmd-ref-f445dc92277f2488effd7cdabe0eb681195f6d50	2.91 MB