| .. |
|
aiger
|
read_aiger: Fix incorrect read of binary Aiger without outputs
|
2024-04-29 14:06:58 +01:00 |
|
alumacc
|
macc: Stop using the B port
|
2025-01-08 13:03:35 +01:00 |
|
arch
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01: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
|
Changed boolopt naming
|
2025-01-16 19:36:27 -08:00 |
|
bram
|
tests: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10:00 |
|
cxxrtl
|
cxxrtl: test stream operator
|
2024-10-01 13:25:07 +02:00 |
|
errors
|
Rename the generic "Syntax error" message from the Verilog/SystemVerilog parser into unique,
|
2018-10-25 02:37:56 +03:00 |
|
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
|
Undo Liberty stuff
|
2024-11-18 17:10:25 -08: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
|
Use equiv_opt -nocells to ensure everything is ok since dffs retain their name
|
2025-01-16 19:40:18 -08:00 |
|
opt_share
|
tests: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10:00 |
|
peepopt
|
muxadd and muldiv_c peepopt
|
2025-01-15 16:57:19 -08: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
|
Merge pull request #4700 from povik/select-list-mod
|
2024-11-04 15:38:42 +00: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
|
wreduce test works now
|
2024-10-02 17:25:57 -07:00 |
|
simple_abc9
|
tests: use /usr/bin/env for bash.
|
2023-08-12 11:59:39 +10: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
|
Sync
|
2024-12-19 21:40:30 -08:00 |
|
techmap
|
Use equiv_opt -nocells to ensure everything is ok since dffs retain their name
|
2025-01-16 19:40:18 -08:00 |
|
tools
|
support file locations containing spaces
|
2022-08-08 20:30:50 +02:00 |
|
unit
|
rtlil: represent Const strings as std::string
|
2024-10-14 06:28:12 +02:00 |
|
various
|
opt_clean was removing the unused bits annotation
|
2025-01-16 19:48:31 -08:00 |
|
verific
|
Disable Verific blackbox checks (different from our preferred approach)
|
2025-01-21 05:46:40 -08: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
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
