Krystine Sherwin 583771ef5b

cutpoint: Add -blackbox option ...

Replace the contents of all blackboxes in the design with a formal cut point.
Includes test script.

2025-04-11 04:12:34 +12:00

..

aiger

read_aiger: Fix incorrect read of binary Aiger without outputs

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

alumacc

macc_v2: Add test

2025-01-27 13:19:26 +01:00

arch

tests/arch/xilinx: Fix for warnings on boxes

2025-04-08 16:58:59 +12:00

asicworld

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

bind

…

blif

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

bram

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

cxxrtl

Reinstate #4768

2025-04-08 11:58:05 +12:00

errors

…

fmt

cxxrtl: always lazily format print messages.

2024-01-19 18:55:23 +00:00

fsm

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

functional

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

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

hana

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

liberty

Merge pull request #4976 from Logikable/main

2025-04-09 22:49:52 +02:00

lut

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

memfile

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

memlib

Move parameters to module declaration

2024-04-08 12:44:37 +02:00

memories

rtlil: Adjust internal check for $mem_v2 cells

2024-11-08 15:18:43 +01:00

opt

opt_expr: Fix #4590

2025-04-04 12:25:31 +13:00

opt_share

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

proc

Merge pull request #4714 from georgerennie/george/proc_dff_bug_multiple_sigs

2024-11-20 13:26:32 +01:00

realmath

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

rpc

Remove references to ilang

2024-11-05 12:36:31 +13:00

sat

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00

select

design.cc: Fix selections when copying

2025-04-08 16:35:12 +12:00

share

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

sim

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00

simple

write_verilog: don't assign to a reg.

2024-04-03 13:06:45 +02:00

simple_abc9

Reinstate #4768

2025-04-08 11:58:05 +12:00

smv

Remove references to ilang

2024-11-05 12:36:31 +13:00

sva

tests/sva: Skip sva tests that use SBY until SBY is compatible again

2024-03-05 14:37:33 +01:00

svinterfaces

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

svtypes

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00

techmap

opt_clean, simplemap: Add $buf handling

2025-03-07 16:08:38 +01:00

tools

…

unit

rtlil: Add {from,to}_hdl_index methods to Wire

2025-02-18 17:08:45 +01:00

various

cutpoint: Add -blackbox option

2025-04-11 04:12:34 +12:00

verific

Merge pull request #4814 from YosysHQ/emil/make-test-fasterer

2024-12-18 19:02:39 +01:00

verilog

test: restore verific handling, nicer naming

2024-12-13 10:24:47 +01:00

vloghtb

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

xprop

tests: Comment on A[0]

2024-02-16 11:43:28 +01:00

gen-tests-makefile.sh

Update gen-tests-makefile.sh

2025-03-27 10:33:51 +13:00