Miodrag Milanović
|
0bd04dbae3
|
Merge pull request #5980 from YosysHQ/synth_intel
synth_intel: fix broken dsp mapping
|
2026-06-22 16:46:02 +00:00 |
|
Miodrag Milanovic
|
09eef69e31
|
synth_intel: fix broken dsp mapping
|
2026-06-22 17:51:26 +02:00 |
|
Miodrag Milanović
|
6edbcecc52
|
Merge pull request #5972 from YosysHQ/ci_mingw64
Add mingw64 build to CI
|
2026-06-22 14:54:56 +00:00 |
|
Miodrag Milanović
|
9139c94c8c
|
Merge pull request #5977 from YosysHQ/bitwuzla
smtbmc: support latest bitwuzla
|
2026-06-22 14:23:35 +00:00 |
|
Miodrag Milanovic
|
ed654de3d9
|
Add mingw64 build to CI
|
2026-06-22 16:22:13 +02:00 |
|
nella
|
57ec784983
|
Merge pull request #5953 from YosysHQ/nella/muxcover-enhancements
Add muxcover x peepopt regression test (#964).
|
2026-06-22 10:13:43 +00:00 |
|
nella
|
8f5d2d5894
|
Use -assert-none.
|
2026-06-22 11:12:00 +02:00 |
|
nella
|
3d0c868af0
|
Merge pull request #5952 from YosysHQ/nella/vector-index
Optimize upto vector indexing (Fix #892).
|
2026-06-22 09:05:26 +00:00 |
|
nella
|
6ffc938a75
|
Merge pull request #5701 from YosysHQ/gus/sim-with-vcd-tuneup
Add warnings and errors to `sim -r` with VCD code path
|
2026-06-22 09:02:32 +00:00 |
|
Miodrag Milanović
|
f699624abf
|
Merge pull request #5978 from YosysHQ/remove_def
Remove define since snprintf is supported in MSVC now
|
2026-06-22 08:49:26 +00:00 |
|
Miodrag Milanovic
|
94e43f7675
|
Remove define since snprintf is supported in MSVC now
|
2026-06-22 09:50:39 +02:00 |
|
Miodrag Milanovic
|
ebcbc06951
|
smtbmc: support latest bitwuzla
|
2026-06-22 08:40:16 +02:00 |
|
nella
|
5d7486115a
|
Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
Fix: `read_verilog` doesn't respect `signed` keyword
|
2026-06-18 16:53:37 +00:00 |
|
nella
|
2195277b5a
|
Merge pull request #5960 from YosysHQ/nella/latch-infer
proc_dlatch - infer $adlatch (Fix #5910).
|
2026-06-18 16:50:48 +00:00 |
|
nella
|
c99a037c33
|
Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
Fix `chparam` values are unsigned when using read_verilog frontend
|
2026-06-18 16:50:22 +00:00 |
|
Miodrag Milanović
|
c9805ceb33
|
Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543
|
2026-06-18 11:32:12 +00:00 |
|
Matt Liberty
|
7fbeb344a4
|
Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543
Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
|
2026-06-18 07:00:59 +00:00 |
|
Miodrag Milanović
|
72f6df873a
|
Merge pull request #5964 from YosysHQ/mingw_fix
Fix share lookup for mingw builds
|
2026-06-17 18:32:02 +00:00 |
|
Miodrag Milanovic
|
88d4af94cf
|
Fix share lookup for mingw builds
|
2026-06-17 10:40:13 +02:00 |
|
Miodrag Milanović
|
e2903c4a5c
|
Merge pull request #5959 from YosysHQ/improve_test
Improve test
|
2026-06-16 08:46:11 +00:00 |
|
Miodrag Milanović
|
211fa48ce5
|
Merge pull request #5962 from YosysHQ/update_abc
Update ABC as per 2026-06-15
|
2026-06-16 08:39:41 +00:00 |
|
Miodrag Milanovic
|
3af45e7d04
|
Some more explanations
|
2026-06-16 10:31:37 +02:00 |
|
Miodrag Milanovic
|
0584587f9a
|
Make compilation like by abc scripts
|
2026-06-16 10:07:45 +02:00 |
|
Miodrag Milanovic
|
83ee00d312
|
Update ABC as per 2026-06-15
|
2026-06-15 19:42:17 +02:00 |
|
Emil J
|
f33cc39a0c
|
Merge pull request #5958 from YosysHQ/emil/opt_muxtree-single-driver
opt_muxtree: error on multiple drivers
|
2026-06-15 15:00:48 +00:00 |
|
nella
|
c0709b1b4e
|
Fixup issue test.
|
2026-06-15 16:23:44 +02:00 |
|
Miodrag Milanovic
|
782f9ddd24
|
Added functional tests option
|
2026-06-15 16:04:37 +02:00 |
|
nella
|
eb4703808a
|
Add tests.
|
2026-06-15 15:46:13 +02:00 |
|
nella
|
a5bdb29d7f
|
Recognise asynchronous set/reset.
|
2026-06-15 15:44:50 +02:00 |
|
Miodrag Milanovic
|
247bcfed65
|
Remove old Makefile and fix documentation
|
2026-06-15 15:25:58 +02:00 |
|
Emil J. Tywoniak
|
48c1e1a724
|
tests: remove hana test with multiple drivers
|
2026-06-15 15:08:26 +02:00 |
|
Emil J. Tywoniak
|
6032b064e2
|
opt_muxtree: optimize for single driver, error on multiple drivers
|
2026-06-15 15:08:26 +02:00 |
|
Miodrag Milanovic
|
2bab5d3fa5
|
Add VERBOSE (and V) option to Makefiles
|
2026-06-15 14:48:11 +02:00 |
|
Miodrag Milanovic
|
90ead9bbc2
|
force Ninja to display Makefile output for tests
|
2026-06-15 13:41:47 +02:00 |
|
KrystalDelusion
|
8869ce61dc
|
Merge pull request #5955 from YosysHQ/krys/mod_name
simplify.cc: Fix crash when identifier matches module
|
2026-06-14 21:29:12 +00:00 |
|
nella
|
05805e8b93
|
Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements
arith_tree improvements
|
2026-06-12 14:23:10 +00:00 |
|
Miodrag Milanović
|
a423226ec9
|
Merge pull request #5956 from YosysHQ/log_compat
Add one more compatibility logger used in patches for some time
|
2026-06-12 13:13:54 +00:00 |
|
nella
|
80011b16b2
|
Add constant note.
|
2026-06-12 14:57:53 +02:00 |
|
nella
|
309b7d2496
|
Verify kogge stone impl.
|
2026-06-12 14:55:47 +02:00 |
|
Miodrag Milanovic
|
ec6266a328
|
Add one more compatibility logger used in patches for some time
|
2026-06-12 14:44:26 +02:00 |
|
Krystine Sherwin
|
b79c7c008d
|
simplify.cc: Fix crash when identifier matches module
Also update one of the AST debug prints that is guarded by an `#if 0` but was out of date.
|
2026-06-12 11:54:53 +12:00 |
|
nella
|
135c2a4113
|
Get rid of normalize_to_width.
|
2026-06-11 01:12:35 +02:00 |
|
nella
|
c44d24d9fd
|
Add missing -assert to equiv_opt calls.
|
2026-06-11 01:08:36 +02:00 |
|
nella
|
83a8245734
|
Add muxcover regression test.
|
2026-06-10 14:46:04 +02:00 |
|
nella
|
601cd7ba5f
|
Add tests.
|
2026-06-10 11:30:03 +02:00 |
|
nella
|
d52670e58b
|
Replace suitable (2^k-1)-x with ~x.
|
2026-06-10 11:29:55 +02:00 |
|
Miodrag Milanović
|
8eb3133076
|
Merge pull request #5950 from YosysHQ/version_fix
Fix version number and git origin
|
2026-06-09 16:49:28 +00:00 |
|
Miodrag Milanović
|
7b40b7a6f0
|
Merge pull request #5949 from YosysHQ/update_abc
MSVC full build
|
2026-06-09 16:28:00 +00:00 |
|
Miodrag Milanovic
|
160a4e5dfc
|
For release branch always keep distance zero
|
2026-06-09 18:20:17 +02:00 |
|
Miodrag Milanovic
|
7d40a0b667
|
Fix version number and git origin
|
2026-06-09 17:39:48 +02:00 |
|