Commit Graph
100 Commits
Author SHA1 Message Date
Miodrag Milanović 2613c1c0a9 Merge pull request #5438 from cr1901/posix-bugpoint
Add sys/wait.h header to bugpoint to bring in constants.
2025-10-22 12:40:26 +02:00
Miodrag Milanovic f11a61b32b sim: Make cycle width small as possible and configurable 2025-10-16 11:37:44 +02:00
Miodrag Milanovic db8c1878a0 fix dlopen using fs:path with mingw 2025-10-16 08:30:43 +02:00
Miodrag Milanović 759996b968 Merge pull request #5427 from donn/plugin_search_paths
plugins: add search paths
2025-10-15 20:02:05 +02:00
Miodrag Milanović 2e3bfca294 Merge pull request #5419 from YosysHQ/micko/verific_fix_nocolumns
verific: Fix error compiling without VERIFIC_LINEFILE_INCLUDES_COLUMNS
2025-10-14 17:05:31 +02:00
Miodrag Milanović a89c5b97d8 Merge pull request #5423 from YosysHQ/update_abc
Update abc
2025-10-14 17:05:13 +02:00
Miodrag Milanovic 7d2857b30f Fix regex checks 2025-10-14 16:04:56 +02:00
Miodrag Milanovic d92cf2f5b0 Compile abc when submodule updates 2025-10-14 14:54:56 +02:00
Miodrag Milanovic d3d3a9f1ea Update ABC 2025-10-14 14:47:17 +02:00
Miodrag Milanovic 1f11b2c529 verific: Add src to message missed in #5406 2025-10-13 15:16:17 +02:00
Miodrag Milanovic dc959cdf4a verific: Fix error compiling without VERIFIC_LINEFILE_INCLUDES_COLUMNS 2025-10-13 15:16:17 +02:00
Miodrag Milanovic 9570b39519 verifix: fix bits() deprecation warnings 2025-10-13 09:57:22 +02:00
Miodrag Milanovic 2f8f421dee verifix: fix bits() deprecation warnings 2025-10-13 09:47:18 +02:00
Miodrag Milanović b7a72811cc Merge pull request #5408 from rocallahan/atomic-mfp
Make `mfp` const methods thread-safe.
2025-10-08 13:08:16 +02:00
Miodrag Milanović ba1a347d59 Merge pull request #5370 from donn/pyosys_pybind11
pyosys: rewrite using pybind11
2025-10-08 13:07:59 +02:00
Miodrag Milanović 869910055f Merge pull request #3908 from YosysHQ/ecp5_2_lattice
synth_ecp5 and synth_nexus to synth_lattice
2025-10-08 13:07:33 +02:00
Miodrag Milanović 4cdaac003f Merge pull request #3991 from adrianparvino/alumacc-sign
alumacc: merge independent of sign
2025-10-08 13:02:10 +02:00
Miodrag Milanovic 1d2d777678 Next dev cycle 2025-10-08 09:25:33 +02:00
Miodrag Milanovic 157aabb583 Release version 0.58 2025-10-08 07:51:14 +02:00
Miodrag Milanović 35bade56da Merge pull request #5410 from jix/abc_new-fix-zbuf-churn
abc_new: Avoid bufnorm helper cell churn
2025-10-07 19:25:46 +02:00
Miodrag Milanović ed4eb6d331 Merge pull request #5406 from YosysHQ/verific_import_err_print_src
verific: print source location of problematic object on import error
2025-10-03 14:05:05 +02:00
Miodrag Milanović 330a5fc101 Merge pull request #5402 from YosysHQ/micko/extensions
Force linking log_compat when extensions are linked
2025-09-30 09:10:04 +02:00
Miodrag Milanovic e6fa0223c8 Force linking log_compat when extensions are linked 2025-09-30 08:44:31 +02:00
Miodrag Milanović 69770a844e Merge pull request #5396 from akashlevy/pyosys_fix
BUGFIX: pyosys cannot parse header with omitted function args
2025-09-29 10:20:31 +02:00
Miodrag Milanovic 714603bf69 synth_nexus to synth_lattice 2025-09-26 19:45:03 +01:00
Miodrag Milanovic 58f9531bfb enable ABC9 by default except for XO2/3/3D 2025-09-25 15:44:05 +01:00
Miodrag MilanovićandLofty 4b9e4bfae9 Update techlibs/lattice/synth_lattice.cc
Co-authored-by: Lofty <[email protected]>
2025-09-25 15:44:05 +01:00
Miodrag Milanovic faf82a5ff5 Add help message for synth_ecp5 2025-09-25 15:44:05 +01:00
Miodrag Milanovic 47a2215fe0 Update filenames and location for test script 2025-09-25 15:44:05 +01:00
Miodrag Milanovic 4a7f94f1c1 Enable synth_ecp5 wrapper and copy sim files for backwards compatibility 2025-09-25 15:44:05 +01:00
Miodrag Milanovic e7ac237499 Delete synth_ecp5 2025-09-25 15:44:03 +01:00
Miodrag Milanovic cfe53b7395 Move diamond tests 2025-09-25 15:38:57 +01:00
Miodrag Milanovic b94b39cd40 Special DP16KD model is required 2025-09-25 15:38:55 +01:00
Miodrag MilanovićandKrystine Sherwin fcc3d7132d Fix building and running unit tests (#5374)
* Fix building and running unit tests

* Enable unit tests

* Add gtest always

* test-sanitizers.yml: Use makefile.conf

* proper test setup

* make it run on macOS

* Run libyosys build only for unit tests after testing is done

* Disable LTO on public CI

---------

Co-authored-by: Krystine Sherwin <[email protected]>
2025-09-23 17:10:18 +02:00
Miodrag Milanovic cec48c6abd Next dev cycle 2025-09-04 08:03:57 +02:00
Miodrag Milanovic 3aca86049e Release version 0.57 2025-09-04 08:00:38 +02:00
Miodrag Milanović 1e43e85f39 Merge pull request #5325 from YosysHQ/update_abc_092025
Update ABC to version as of 03/09/2025
2025-09-03 20:07:59 +02:00
Miodrag Milanovic 7454699a00 Update ABC to version as of 03/09/2025 2025-09-03 18:12:21 +02:00
Miodrag Milanović 6fa1435dc7 Merge pull request #5322 from YosysHQ/krys/macos_cpp20
CI Fixes
2025-09-03 18:10:38 +02:00
Miodrag Milanovic 88eb83a0c3 Revert "Merge pull request #5301 from KrystalDelusion/krys/re_5280"
This reverts commit c9a602e882, reversing
changes made to 51eaaffe09.
2025-08-28 11:58:02 +02:00
Miodrag Milanović c9a602e882 Merge pull request #5301 from KrystalDelusion/krys/re_5280
Reapply "Workflow adjustments"
2025-08-28 10:51:49 +02:00
Miodrag Milanović c7e6275d0d Merge pull request #5045 from danderson/push-nwpulrqymkqp
techlibs/lattice: add missing clock muxes to ECP5 block ram blackboxes
2025-08-25 15:28:34 +02:00
Miodrag Milanovic dd5cc66b95 Merge branch 'Jiahui17-bugfix/remove-hardcoded-soname' 2025-08-25 07:47:01 +02:00
Miodrag Milanovic 9f0904d048 Makefile: fix hardcoded -install_name for libyosys.so 2025-08-25 07:46:34 +02:00
Miodrag Milanovic c6b8f0eed7 Merge branch 'bugfix/remove-hardcoded-soname' of github.com:Jiahui17/yosys into Jiahui17-bugfix/remove-hardcoded-soname 2025-08-25 07:45:26 +02:00
Miodrag Milanović 5fd9f54482 Merge pull request #5300 from donn/wheel_fixes
wheels: bison 3.8 on almalinux + memory pressure easing
2025-08-19 11:44:12 +02:00
Miodrag Milanović 1a52a714b4 Merge pull request #5280 from YosysHQ/krys/ci_changes
Workflow adjustments
2025-08-18 10:17:12 +02:00
Miodrag Milanovic 1dbf2df983 Add libfl-dev for CodeQL CI job 2025-08-14 09:15:43 +02:00
Miodrag Milanović 8c71226d00 Merge pull request #5276 from YosysHQ/krys/bump_nix
Bump nix on CI
2025-08-09 07:12:22 +02:00
Miodrag Milanovic e6059d042d Next dev cycle 2025-08-07 09:20:45 +02:00
Miodrag Milanovic 9c447ad9d4 Release version 0.56 2025-08-07 07:59:29 +02:00
Miodrag Milanović da01e17686 Merge pull request #5267 from jix/verificsva-fix
verificsva: Fix typo in the cover only followed-by operator support
2025-08-05 13:08:51 +02:00
Miodrag Milanovic f769e6e245 Update ABC 2025-08-05 12:27:10 +02:00
Miodrag Milanović 86ef7f7ede Update wheels to Trusted Publisher 2025-08-04 17:43:03 +02:00
Miodrag Milanovic f92a53ec31 verific: handle nullptr for message_id 2025-07-30 10:51:54 +02:00
Miodrag Milanović 41a53d580f Merge pull request #5256 from YosysHQ/abc_29072025
Update ABC to latest
2025-07-29 17:51:35 +02:00
Miodrag Milanovic 5392a42a97 Update ABC to latest 2025-07-29 16:11:13 +02:00
Miodrag Milanović 1d229ae254 Merge pull request #5221 from rocallahan/typed-stringf
Introduce variadic template implementation of `stringf` that supports `std::string` parameters
2025-07-29 15:12:49 +02:00
Miodrag Milanović 89879eceba Merge pull request #5252 from mikesinouye/verific
Correctly reset Verific flags to Yosys defaults after -import and war…
2025-07-28 15:45:38 +02:00
Miodrag Milanovic 8af60b7e17 Next dev cycle 2025-07-07 12:40:53 +02:00
Miodrag Milanovic 60f126cd00 Release version 0.55 2025-07-07 11:26:04 +02:00
Miodrag Milanović afd0ba0099 Merge pull request #5208 from YosysHQ/micko/replace_const_exprs
verific: enable replacing const exprs in static elaboration by default
2025-07-04 10:35:03 +02:00
Miodrag Milanovic eed3bc243f verific: enable replacing const exprs in static elaboration by default 2025-07-02 11:54:19 +02:00
Miodrag Milanović 54013c6da7 Merge pull request #5162 from YosysHQ/micko/attrmap
Make attrmap able to alter memory attributes as well
2025-06-30 15:24:04 +02:00
Miodrag Milanović e0747b71b7 Merge pull request #5174 from YosysHQ/micko/windows_action
Update CI, windows-2019 is deprecated
2025-06-10 08:06:38 +02:00
Miodrag Milanovic a5edbc8836 Update CI, windows-2019 is deprecated 2025-06-09 19:07:53 +02:00
Miodrag Milanovic c16cc539d4 Next dev cycle 2025-06-09 08:12:26 +02:00
Miodrag Milanovic db72ec3bde Release version 0.54 2025-06-09 07:23:54 +02:00
Miodrag Milanovic 784de0f6e3 Make attrmap able to alter memory attributes as well 2025-06-04 08:01:21 +02:00
Miodrag Milanović a0e94e506d Merge pull request #5094 from pu-cc/gatemate-reduce-bram-cpes
gatemate: Set unused BRAM inputs to 'bx
2025-05-06 15:19:56 +02:00
Miodrag Milanovic 20921ad908 Next dev cycle 2025-05-06 08:26:46 +02:00
Miodrag Milanovic 53c22ab7c0 Release version 0.53 2025-05-06 07:45:16 +02:00
Miodrag Milanović febc07e6fb Merge pull request #5039 from YosysHQ/gatemate_bram
gatemate: WRITE_THROUGH mode change
2025-04-25 09:53:43 +02:00
Miodrag Milanovic c343462c16 gatemate: WRITE_THROUGH mode change 2025-04-18 14:16:02 +02:00
Miodrag Milanovic 22e6ce4282 verific: bit blast RAM if using mem2reg attribute 2025-04-14 15:24:11 +02:00
Miodrag Milanovic c79379db02 Run wheels each Sunday at 10AM 2025-04-14 15:22:38 +02:00
Miodrag Milanović 9f25f972dc Merge pull request #5008 from donn/wheel_builds_fix
wheels: fix builds, add linux aarch64 to ci
2025-04-14 15:10:37 +02:00
Miodrag Milanovic a2c0847667 Next dev cycle 2025-04-09 08:21:08 +02:00
Miodrag Milanovic fee39a3284 Release version 0.52 2025-04-09 07:38:42 +02:00
Miodrag Milanović c261da4e79 Merge pull request #5001 from YosysHQ/micko/abc
Update to latest ABC
2025-04-08 18:20:41 +02:00
Miodrag Milanovic a9656455b1 Update to latest ABC 2025-04-08 17:39:41 +02:00
Miodrag Milanovic 406ee4c8d3 read_verilog_file_list: change short help message to start with lower case 2025-04-08 13:20:16 +02:00
Miodrag Milanović 1a820e259c Merge pull request #4998 from YosysHQ/revert-4768-krys/refactor_selections
Revert "Refactor full_selection"
2025-04-07 15:12:59 +02:00
Miodrag Milanović d49364d96f Revert "Refactor full_selection" 2025-04-07 12:11:55 +02:00
Miodrag Milanović 402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
verific: fix restoring msg state after blackbox import
2025-04-01 18:32:08 +02:00
Miodrag Milanovic 72f2185a94 verific: fix restoring msg state after blackbox import 2025-04-01 17:35:59 +02:00
Miodrag Milanovic 66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code 2025-04-01 08:39:11 +02:00
Miodrag Milanovic 58a515d57f yosys-config: Propagate exit code for help command 2025-03-31 16:19:45 +02:00
Miodrag Milanović 733487e730 Merge pull request #4950 from pu-cc/gatemate-serdes-update
gatemate: Add `CC_SERDES` parameters and update port names
2025-03-20 10:52:23 +01:00
Miodrag Milanovic 1b07d204bb Next dev cycle 2025-03-12 09:11:41 +01:00
Miodrag Milanovic c4b5190229 Release version 0.51 2025-03-12 08:31:37 +01:00
Miodrag Milanovic 81639073a3 Update ABC to fix mingw build issue 2025-03-12 07:34:33 +01:00
Miodrag Milanovic 6f9c515a22 Next dev cycle 2025-02-11 08:40:50 +01:00
Miodrag Milanovic b5170e1394 Release version 0.50 2025-02-11 07:55:17 +01:00
Miodrag Milanovic e456f2e972 Next dev cycle 2025-01-21 15:26:22 +01:00
Miodrag Milanovic 427b5a251b Release version 0.49 2025-01-21 14:59:09 +01:00
Miodrag Milanovic d50849ea83 Copyright year update 2025-01-21 08:48:29 +01:00
Miodrag Milanović 2c6dc1ac83 Merge pull request #4858 from YosysHQ/update_latest-24.04
Update workflow(s) for ubuntu-latest == ubuntu-24.04
2025-01-20 16:34:46 +01:00
Miodrag Milanovic 6b449970ef test-build: Fix missing bzlib.h 2025-01-20 16:08:42 +01:00
Miodrag Milanovic b9e04297f8 Remove cygwin support, users should use gcc target for it 2024-12-11 12:36:21 +01:00