YosysHQ.yosys/backends/functional/smtlib.cc at ebe51e206ea036090d6068a6fa9e26d7b2c769b4 - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-04-25 20:02:10 +00:00

Files

Emily Schmidt 4eeb8d326a functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent

2024-08-28 12:39:41 +01:00

11 KiB

Raw Blame History

View Raw