N. Engelhardt c8b42b7d48 Merge pull request #4538 from RCoeurjoly/verific_bounds

2024-09-12 13:04:04 +02:00

..

aiger

read_aiger: Fix incorrect read of binary Aiger without outputs

2024-04-29 14:06:58 +01:00

ast

internal_stats: astnode (sizeof)

2024-09-11 11:34:20 +02:00

blif

Issue a warning instead of a syntax error for blif delay constraints

2024-01-23 16:25:16 +00:00

json

…

liberty

read_liberty: Fix omitted helper change

2024-08-13 20:12:38 +02:00

rpc

…

rtlil

Remove log

2024-08-21 14:28:42 +01:00

verific

Add left and right bound properties to wire. Add test. Fix printing

2024-09-10 12:52:42 +02:00

verilog

read_verilog: Add missing defaults for flags

2024-05-07 20:25:36 +02:00