tribuf: `-formal` option: convert all to logic and detect conflicts
authorJannis Harder <me@jix.one>
Tue, 29 Mar 2022 10:11:28 +0000 (12:11 +0200)
committerJannis Harder <me@jix.one>
Tue, 12 Apr 2022 10:46:22 +0000 (12:46 +0200)
commitbc48500548a46b232dd708434587a7706ed0f7f1
treea7415c15592ade96754d77e7efd25adbcc1e0f8f
parentc1646a00ac5a7b6ab53af64d5f2f70c5848cdf12
tribuf: `-formal` option: convert all to logic and detect conflicts
passes/techmap/tribuf.cc