Characterize time-to-proof for IR/Netlist equality checks across ops and arg sizes.
Open
formal
investigation
long-term-enhancement
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
This would be useful for getting _some_ idea of how long we should expect some proofs to take - it's at least a necessary first step.
Contributor guide
Assessment
This issue has not been assessed yet.