N. Engelhardt d70113a909 Merge pull request #3972 from nakengelhardt/celledges_shift_ops ... celledges: support shift ops		2024-03-08 09:35:47 +01:00
..
aiger
arch	tests: Run async2sync before sat and/or sim to handle $check cells	2024-02-01 16:14:11 +01:00
asicworld
bind
blif
bram
cxxrtl
errors
fmt	cxxrtl: always lazily format print messages.	2024-01-19 18:55:23 +00:00
fsm
hana
liberty
lut
memfile
memlib
memories
opt
opt_share
proc	proc_rom: don't assert on big actionless switch.	2024-02-18 01:33:28 +11:00
realmath
rpc
sat	Add support for $dimensions and $unpacked_dimensions	2024-02-11 11:26:52 -05:00
select
share
sim
simple	Added test for multidimensional packed arrays	2024-02-11 11:26:52 -05:00
simple_abc9
smv
sva	tests/sva: Skip sva tests that use SBY until SBY is compatible again	2024-03-05 14:37:33 +01:00
svinterfaces
svtypes	fix test for verific	2024-02-12 09:19:58 +01:00
techmap	dfflibmap: Add a -dont_use flag to ignore cells	2024-02-19 13:00:18 -05:00
tools
unit	Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc	2024-02-25 17:23:56 +01:00
various	Merge pull request #3972 from nakengelhardt/celledges_shift_ops	2024-03-08 09:35:47 +01:00
verific	Add -nordff to test	2024-02-06 10:36:30 +01:00
verilog	hierarchy: Without a known top module, derive all deferred modules	2024-02-06 10:31:40 +01:00
vloghtb
xprop	tests: Comment on A[0]	2024-02-16 11:43:28 +01:00
gen-tests-makefile.sh	do not override existing shell variable	2024-02-12 12:58:13 +01:00