Miodrag Milanović
d861a26e49
Merge pull request #5504 from nataliakokoromyti/verific-run-test-bugfix
...
Fix Verific run-test.sh
2025-12-17 11:08:44 +01:00
nataliakokoromyti
2ded4bd893
Update run-test.sh
...
fix: preserve newline at eof
2025-12-16 04:16:03 -08:00
Krystine Sherwin
c69be9d767
Missed an iverilog
...
Should now still report an iverilog issue if `iverilog` doesn't exist.
2025-12-15 10:31:17 +13:00
Krystine Sherwin
24f4902156
Don't mention iverilog if the error wasn't from iverilog
2025-12-15 10:17:19 +13:00
Emil J
f003eca615
Merge pull request #5526 from YosysHQ/emil/fix-cellaigs-function-arg-eval-order
...
cellaigs: fix function argument evaluation order
2025-12-12 10:00:09 +01:00
Krystine Sherwin
4da0c552dd
tests/aiger: Fix pipe hiding diff exit status
2025-12-12 11:26:24 +13:00
Emil J
e08e9119ee
Merge pull request #5516 from rocallahan/limit-threads
...
Limit thread usage in tests
2025-12-10 13:45:07 +01:00
Emil J
46fbed6e6f
Merge pull request #5525 from YosysHQ/emil/fix-xaiger2-empty-cell-input
...
aiger2: fix empty cell input
2025-12-04 16:47:53 +01:00
Robert O'Callahan
2ca28d964b
Limit YOSYS_MAX_THREADS to 4 for abcopt-tests
2025-12-04 12:09:49 +01:00
Robert O'Callahan
a871415abf
Limit YOSYS_MAX_THREADS to 4 when running seed-tests
2025-12-04 12:09:48 +01:00
Robert O'Callahan
fc951a28d3
Limit YOSYS_MAX_THREADS to 4 when running makefile-tests so we don't overload systems when running 'make -j... test'
2025-12-04 12:09:04 +01:00
Gus Smith
07a690570e
Merge pull request #5128 from gussmith23/gussmith23-rosette-backend-updates
...
Add association-list-based helper functions into Rosette backend
2025-12-02 16:27:05 -08:00
Emil J. Tywoniak
36f0e0392f
aiger2: add crash test
2025-12-02 15:30:02 +01:00
Krystine Sherwin
b2e527c67e
tests/aiger: Only write aigmap.err on error
2025-12-02 14:17:16 +13:00
Krystine Sherwin
6842003e76
tests/aiger: Add gold .aag files
...
Generated with changes from 26f2c111
2025-12-02 14:03:37 +13:00
Krystine Sherwin
e2e7922756
tests/aiger: Compare .aag outputs against known
...
Any files that differ (e.g. due to compiler order of operations changing) will trigger an error.
2025-12-02 14:03:36 +13:00
Emil J
9871e9b17e
Merge pull request #5496 from YosysHQ/emil/liberty-flop-loops
...
read_liberty: support loopy retention cells
2025-12-01 22:50:20 +01:00
Gus Smith
38ee4fc730
Undo more unnecessary changes
2025-11-29 16:17:27 -08:00
Gus Smith
62e666c2ed
Make run-test work from anywhere
2025-11-29 16:08:42 -08:00
Gus Smith
fb8a1ad3bc
Add back param
2025-11-29 16:07:18 -08:00
Gus Smith
0f8e1e3bf7
Undo more changes
2025-11-29 16:06:18 -08:00
Gus Smith
5f84b8b339
Undo some other changes
2025-11-29 15:32:19 -08:00
Gus Smith
e223087578
Undo more changes that slipped in from somewhere? a merge maybe?
2025-11-29 15:28:34 -08:00
Gus Smith
5d5a7ab443
remove unused
2025-11-29 15:08:57 -08:00
Gus Smith
473edd19ed
Undo formatting
2025-11-29 15:06:46 -08:00
Gus Smith
403740428c
Remove unknown change
2025-11-29 15:01:17 -08:00
Gus Smith
6fe35fa46c
Merge remote-tracking branch 'origin/main' into gussmith23-rosette-backend-updates
2025-11-29 14:20:36 -08:00
Natalia
d4e0437cfd
Fix Verific run-test.mk setup
2025-11-24 15:56:28 -08:00
Krystine Sherwin
a8e8746fc0
tests: Tidy up bug3515
...
Add base case where mapping is possible for sanity checking.
2025-11-25 07:35:19 +13:00
Krystine Sherwin
ba31a02578
tests: Add bug3515
2025-11-25 07:04:34 +13:00
Krystine Sherwin
44ab884b06
bug5495.sh: Skip test if timeout isn't available
2025-11-21 04:03:39 +00:00
Krystine Sherwin
4d1b688717
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
Emil J. Tywoniak
bfc957ee2d
filterlib, read_liberty: add loopy retention cell formal equivalence test
2025-11-21 00:57:54 +01:00
Emil J. Tywoniak
b3112bf025
filterlib: prefer using precedence over unsynthesizable verilog
2025-11-21 00:43:54 +01:00
Miodrag Milanović
e83d721cb0
Merge pull request #5492 from donn/getitem
...
pyosys: __getitem__ for supported classes
2025-11-19 17:58:01 +01:00
Mohamed Gaber
58e831486d
pyosys: __getitem__ for supported classes
...
- functions that have a const `[]` operator method now support `__getitem__` in Python
- fields of a pointer type now return a `reference_internal` instead of a `copy` because classes referenced to by pointers typically aren't copyable (e.g. RTLIL::Wire, RTLIL::Module, etc)
- removed duplicate of test_script.py
2025-11-19 18:09:41 +02:00
Emil J. Tywoniak
920f4793fb
sdc: error on unknown getters
2025-11-19 15:26:02 +01:00
Emil J. Tywoniak
07de7509bf
sdc: add -keep_hierarchy test
2025-11-19 15:26:02 +01:00
Emil J. Tywoniak
dc48ceadd9
sdc: collect strictly matching objects
2025-11-19 15:25:24 +01:00
Emil J. Tywoniak
c26aa3186d
sdc: collect design objects
2025-11-19 15:25:24 +01:00
Miodrag Milanovic
58d4e2c38e
ignore generated file
2025-11-17 13:35:38 +01:00
Robert O'Callahan
b870693393
Fix reset_auto_counter_id to correctly detect _NNN_ patterns
...
This fixes a regression caused by commit c4c389fdd7
2025-11-17 09:21:59 +00:00
Miodrag Milanović
4bfdc62f65
Merge pull request #5472 from Anhijkt/arst-fsm-handling
...
fsm_detect: add adff detection
2025-11-14 13:47:08 +01:00
Anhijkt
b08195a9cf
typo
2025-11-14 13:34:58 +02:00
Anhijkt
a75b999f13
fsm_detect: fix test
2025-11-14 13:25:51 +02:00
Emil J. Tywoniak
ae281720cf
tests: remove unstable FPGA synthesis result checks
2025-11-12 11:52:04 +01:00
Robert O'Callahan
df8444c5e7
Optimize IdString operations to avoid calling c_str()
2025-11-12 11:52:04 +01:00
Robert O'Callahan
e95ed7bbab
Make NEW_ID create IDs whose string allocation is delayed
2025-11-12 11:52:04 +01:00
Robert O'Callahan
54bde15329
Implement IdString garbage collection instead of refcounting.
2025-11-12 11:52:04 +01:00
KrystalDelusion
529886f7fb
Merge pull request #5473 from YosysHQ/krys/unsized_params
...
Handle unsized params
2025-11-12 07:14:44 +13:00
