google / google/xls

`gate` not implemented for Z3 conversion

Open
#566 0 comments 0 reactions 0 assignees View on GitHub
formal
Dominant language
C++
Stars
1.9k
Forks
283
Avg merge
2d 10h
Merged PRs (30d)
135

Description

Can be seen what running e.g. `//xls/dslx/tests:gate_ir_equivalence_test`

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.