Miodrag Milanovic 7c10ee1c58 Update sv-elab as of 2026-09-01

2026-09-01 08:20:05 +02:00

..

aiger

Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8

2026-08-10 13:14:40 +00:00

ast

…

blif

…

json

json: read 'signed' attribute on netnames, matching ports

2026-08-20 22:20:24 -07:00

liberty

Style fixups.

2026-08-10 10:59:03 +02:00

rpc

…

rtlil

long long to int truncation checks

2026-07-10 14:36:39 +02:00

slang

Update sv-elab as of 2026-09-01

2026-09-01 08:20:05 +02:00

verific

verific: Added sv2023 support, and cleanup

2026-08-07 08:41:55 +02:00

verilog

Merge pull request #6123 from sifferman/fix-resetall-default-nettype

2026-08-24 09:47:04 +00:00

CMakeLists.txt

read_xaiger2: remove

2026-08-11 08:56:55 +01:00