1
0
mirror of synced 2026-02-21 15:07:30 +00:00
Commit Graph

16675 Commits

Author SHA1 Message Date
Emil J. Tywoniak
98c3f03497 docs: clarify vanilla test run-test.sh 2026-02-11 00:58:29 +01:00
Emil J. Tywoniak
dfbef2fe24 .github: run unit tests in build jobs, not test jobs 2026-02-11 00:55:36 +01:00
Krystine Sherwin
9f30f0e7d6 test-build: Don't rebuild OBJS 2026-02-10 15:34:47 +13:00
Krystine Sherwin
030e495c8b test-build: Build and cache libyosys.so 2026-02-10 15:05:17 +13:00
github-actions[bot]
a6e33d9916 Bump version 2026-02-10 00:38:43 +00:00
Emil J
d2f7d3cf63 Merge pull request #5665 from rocallahan/abc-tmp-path
Sanitize ABC global and per-run temporary directory names in logs
2026-02-09 23:26:57 +01:00
Emil J. Tywoniak
ff9cd0eed7 Makefile: test target requires unit-test, add vanilla-test for old test target 2026-02-09 23:21:24 +01:00
Gus Smith
b04948a8cd Simplify test 2026-02-09 09:38:45 -08:00
Gus Smith
6f6fa49d3c Typo 2026-02-09 09:05:56 -08:00
Gus Smith
1502e23371 Set solver from scratchpad or command line 2026-02-06 19:26:32 -08:00
Gus Smith
b2f9ac4fb5 Check for dimacs nullptr on file creation+fn call 2026-02-06 18:18:03 -08:00
Gus Smith
2bb352a861 Missing newline 2026-02-06 17:45:00 -08:00
Gus Smith
f062a0c8d6 Typo 2026-02-06 17:26:08 -08:00
Robert O'Callahan
34f8582725 Sanitize ABC global and per-run temporary directory names in logs 2026-02-07 12:12:13 +13:00
Emil J
1717fa0180 Merge pull request #5663 from YosysHQ/emil/opt_expr-fix-pow-shift
opt_expr: fix const lhs of $pow to $shl
2026-02-05 13:09:01 +01:00
github-actions[bot]
0640a5904b Bump version 2026-02-05 00:33:25 +00:00
Emil J
8bbde80e02 Merge pull request #5631 from rocallahan/cleanup-compare-signals
Clean up `compare_signals()` in `opt_clean`
2026-02-04 17:45:05 +01:00
Emil J
2aa0e1d009 Merge pull request #5629 from rocallahan/remove-zero-wires
Avoid scanning entire module in `Module::remove()` if there are no wires to remove
2026-02-04 17:44:24 +01:00
Emil J
992e64342c Merge pull request #5621 from rocallahan/remove-opt-sort
Remove `Design::sort()` calls from optimization passes
2026-02-04 16:55:56 +01:00
Miodrag Milanović
776b4d06a6 Merge pull request #5669 from YosysHQ/release/v0.62
Release version 0.62
2026-02-04 08:55:31 +01:00
Miodrag Milanovic
ddfa34d743 Next dev cycle 2026-02-04 08:54:38 +01:00
Robert O'Callahan
7326bb7d66 Only reuse ABC processes if we're using yosys-abc and it was built with ENABLE_READLINE
(cherry picked from commit 5054fd17d7)
v0.62
2026-02-04 17:19:10 +13:00
Gus Smith
3f01d7a33a Add test 2026-02-03 14:41:08 -08:00
Jeppe Johansen
44afd4bbdd Add support for subtraction in preadder 2026-02-03 08:31:01 -08:00
Miodrag Milanovic
fc11754557 Release version 0.62 2026-02-03 12:09:24 +01:00
Emil J. Tywoniak
3bfeaee8ca opt_expr: fix const lhs of $pow to $shl 2026-02-03 11:59:00 +01:00
Miodrag Milanović
6dbe03f0f5 Merge pull request #5667 from Logikable/vhdl
Guard vhdl_file::UNDEFINED behind VERIFIC_VHDL_SUPPORT.
2026-02-03 07:59:52 +01:00
github-actions[bot]
153ddc0c84 Bump version 2026-02-03 00:33:37 +00:00
Sean Luchen
224549fb88 Guard vhdl_file::UNDEFINED behind VERIFIC_VHDL_SUPPORT.
Signed-off-by: Sean Luchen <seanluchen@google.com>
2026-02-02 15:26:03 -08:00
KrystalDelusion
414b1b6019 Merge pull request #5651 from rocallahan/abc-error-nonfatal
Handle ABC nonfatal "Error:" messages
2026-02-03 08:55:05 +13:00
Emil J
59653da599 Merge pull request #5609 from nataliakokoromyti/upstream-design-run-pass
Add Design::run_pass()
2026-02-02 19:30:18 +01:00
Miodrag Milanović
f5c8368f7a Merge pull request #5662 from YosysHQ/update_abc
Update ABC as per 2026-02-02
2026-02-02 13:44:56 +01:00
Miodrag Milanovic
b88d6588bc Update ABC as per 2026-02-02 2026-02-02 11:25:57 +01:00
Miodrag Milanović
ac427a79b0 Merge pull request #5644 from nataliakokoromyti/upstream-linux-perf-unistd
Add unistd header for Linux
2026-01-30 08:17:43 +01:00
Miodrag Milanović
382b28acbe Merge pull request #5648 from YosysHQ/verific_moreopts
verific: fixed -sv2017 option and added ability to set VHDL standard
2026-01-30 08:17:19 +01:00
Robert O'Callahan
9c56c93632 Add missing newlines to some 'log_error's 2026-01-30 01:52:19 +00:00
Robert O'Callahan
6af1b5b19c Don't treat ABC 'Error:' output as indicating a fatal error, since these messages aren't necessarily fatal 2026-01-30 01:52:19 +00:00
github-actions[bot]
106f289e31 Bump version 2026-01-30 00:30:58 +00:00
KrystalDelusion
5a4ad6a6d0 Merge pull request #5640 from YosysHQ/krys/fix_mod.py
Don't use `module mod_name(...)` style in cell libs
2026-01-30 11:40:07 +13:00
Emil J
a68fee1115 Merge pull request #5646 from rocallahan/debug-design_equal
Dump module details when `design_equal` fails
2026-01-29 18:57:24 +01:00
Natalia
61b1c3c75a use run_pass in ecp5 add/sub test 2026-01-29 02:42:23 -08:00
Natalia
7439d2489e add assertion to run_pass test 2026-01-29 02:23:07 -08:00
Miodrag Milanovic
b70f527c67 verific: fixed -sv2017 option and added ability to set VHDL standard if applicable 2026-01-29 10:32:30 +01:00
Miodrag Milanović
6ba8f3dc19 Merge pull request #5647 from YosysHQ/update_abc
ABC update (MINGW fix)
2026-01-29 10:12:25 +01:00
Miodrag Milanović
43db5c9488 Merge pull request #5645 from nataliakokoromyti/upstream-verific-mixed-sv-vhdl
Upstream verific mixed sv vhdl
2026-01-29 10:12:09 +01:00
Miodrag Milanovic
6007b68e9c ABC update (MINGW fix) 2026-01-29 09:30:12 +01:00
Natalia
8d504ecb48 verific: use MFCU for SV file list 2026-01-29 00:03:28 -08:00
Natalia
b6c148f84a tests/verific: ensure mixed -f requires VHDL unit 2026-01-28 22:46:10 -08:00
github-actions[bot]
1f6a13dac7 Bump version 2026-01-29 00:31:03 +00:00
Robert O'Callahan
139c38ecfa Dump module details when design_equal fails 2026-01-28 18:32:12 +00:00