diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-24 12:41:25 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-24 12:41:25 +0100 |
| commit | 6bc94b7eb2ecc7c2836c2fc10029542ce92eae11 (patch) | |
| tree | 7c6897cdcfe8e766d3b5ef5bcfd0f16beec00240 /kernel/satgen.h | |
| parent | dab1612f81212d1bc1c07ee77b265167861ec883 (diff) | |
Don't blow up constants unneccessarily in Verilog frontend
Diffstat (limited to 'kernel/satgen.h')
0 files changed, 0 insertions, 0 deletions