Roland Coeurjoly 5ea2c6e6e5 Assume x values for missing signal data in FST ...

Co-authored-by: Miodrag Milanovic <mmicko@gmail.com>
Co-authored-by: Roland Coeurjoly <rolandcoeurjoly@gmail.com>

2024-10-02 12:08:48 +02:00

..

aiger

read_aiger: Fix incorrect read of binary Aiger without outputs

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

arch

add min_ce_use and min_srst_use parameters

2024-08-15 17:50:36 +02:00

asicworld

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

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

bind

Add support for parsing the SystemVerilog 'bind' construct

2021-07-16 09:31:39 -04:00

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

cxxxrtl: fix use of format specifiers in test

2024-06-11 07:22:39 +01: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

Extend liberty tests

2024-08-13 18:47:36 +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

Move parameters to module declaration

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

opt

peepopt: avoid shift-amount underflow

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

opt_share

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

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

proc

proc_dff: add tests

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

realmath

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

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

rpc

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

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

sat

Add support for $dimensions and $unpacked_dimensions

2024-02-11 11:26:52 -05:00

select

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

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

share

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

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

sim

Assume x values for missing signal data in FST

2024-10-02 12:08:48 +02:00

simple

write_verilog: don't assign to a reg.

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

simple_abc9

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

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

smv

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

2023-08-12 11:59:39 +10: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

fix test for verific

2024-02-12 09:19:58 +01:00

techmap

clockgate: EN can be a bit on a multi-bit wire

2024-09-11 19:18:25 +02:00

tools

support file locations containing spaces

2022-08-08 20:30:50 +02:00

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

Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting

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

Added cast to type support (#4284)

2024-09-29 17:03:01 -04: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

do not override existing shell variable

2024-02-12 12:58:13 +01:00