diff options
| author | Jannis Harder <me@jix.one> | 2022-03-29 12:11:28 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-04-12 12:46:22 +0200 |
| commit | bc48500548a46b232dd708434587a7706ed0f7f1 (patch) | |
| tree | a7415c15592ade96754d77e7efd25adbcc1e0f8f /frontends | |
| parent | c1646a00ac5a7b6ab53af64d5f2f70c5848cdf12 (diff) | |
| download | yosys-bc48500548a46b232dd708434587a7706ed0f7f1.tar.gz yosys-bc48500548a46b232dd708434587a7706ed0f7f1.tar.bz2 yosys-bc48500548a46b232dd708434587a7706ed0f7f1.zip | |
tribuf: `-formal` option: convert all to logic and detect conflicts
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions