Martin Povišer 9432e972f7

Merge pull request #4626 from povik/select-t-at ...

select: Add new `t:@<name>` syntax

2024-10-16 10:18:05 +02:00

..

aiger

…

arch

wheels: fix missing yosys-abc/share directory

2024-10-09 13:09:14 +03:00

asicworld

…

bind

…

blif

…

bram

…

cxxrtl

cxxrtl: test stream operator

2024-10-01 13:25:07 +02:00

errors

…

fmt

…

fsm

…

functional

functional tests: run from make tests but not smtlib/rkt tests

2024-09-04 10:30:08 +01:00

hana

…

liberty

tests: Add trivial liberty -unit_delay test

2024-09-18 16:17:03 +02:00

lut

…

memfile

…

memlib

…

memories

…

opt

peepopt: avoid shift-amount underflow

2024-06-13 23:30:07 +02:00

opt_share

…

proc

proc_dff: add tests

2024-08-28 16:24:47 +01:00

realmath

…

rpc

…

sat

…

select

select: add t:@<name> test

2024-10-15 21:06:06 +02:00

share

…

sim

…

simple

…

simple_abc9

…

smv

…

sva

…

svinterfaces

…

svtypes

…

techmap

Adjust operation naming in aigmap test

2024-09-17 13:55:58 +02:00

tools

…

unit

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

various

Merge pull request #4613 from povik/err-never-silence

2024-10-07 16:12:31 +02:00

verific

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

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

verilog

Added cast to type support (#4284)

2024-09-29 17:03:01 -04:00

vloghtb

…

xprop

…

gen-tests-makefile.sh

…