mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity
14786 commits 97 branches 53 tags 41 MiB
Commit graph

1398 commits

Author SHA1 Message Date
Emil J. Tywoniak 785bd44da7 rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +02:00
github-actions[bot] 7f2bf3170f Bump version 2024-10-13 00:22:25 +00:00
github-actions[bot] 0200a7680a Bump version 2024-10-10 00:20:21 +00:00
Mohamed Gaber 3d6b8b8e1a
wheels: fix missing yosys-abc/share directory 
* `misc/__init__.py`:
  * checks if there's a `yosys-abc` in the same directory - if yes, sets the variable `sys._pyosys_abc`
  * checks if there's a `share` in the same directory - if yes, sets the variable `sys._pyosys_share_dirname`
* `yosys.cc::init_share_dirname`: check for `sys._pyosys_share_dirname`, use it at the highest priority if Python is enabled
* `yosys.cc::init_abc_executable_name`: check for `sys._pyosys_abc`, use it at at the highest priority if Python is enabled
* `Makefile`: add new target, `share`, to only create the extra targets
* `setup.py`: compile libyosys.so, yosys-abc and share, and copy them all as part of the pyosys build
* `test/arch/ecp5/add_sub.py`: ported `add_sub.ys` to Python to act as a test for the share directory and abc with Python wheels, used in CI
 2024-10-09 13:09:14 +03:00
Miodrag Milanovic 8893dadc4b Next dev cycle 2024-10-09 08:12:44 +02:00
Miodrag Milanovic e97731b9dd Release version 0.46 2024-10-09 08:08:00 +02:00
github-actions[bot] b4fd8e7ed8 Bump version 2024-10-09 00:20:28 +00:00
Miodrag Milanović 535b3304cc
Merge pull request #4534 from donn/test_wheels 
Pyosys Wheels
 2024-10-08 11:24:16 +02:00
github-actions[bot] 408597b478 Bump version 2024-10-08 00:20:07 +00:00
Mohamed Gaber 407343a7a1
Pyosys Wheels 
* Created `setup.py`: Python package manifest to build `pyosys` wheels with a custom extension to build and include `libyosys.so` using Make
* `.gitignore`: Added byproducts of the Python wheel build process
* `Makefile`: Added `-undefined dynamic_lookup` to `libyosys.so` so missing symbols can be resolved by importing into a Python interpreter
* `kernel/yosys.cc`: Gated `PyImport_AppendInittab` with `!Py_IsInitialized`; as of Python 3.12, the interpreter is already initialized and `PyImport_AppendInittab` would cause an exception to be raised
* Created `wheels.yml`: CI workflow for building wheels for CPython on:
  * Linux (glibc, musl) and Darwin
  * x86-64 and arm64
 2024-10-07 16:39:54 +03:00
github-actions[bot] 6155c59d00 Bump version 2024-10-07 00:21:37 +00:00
Krystine Sherwin 571d181fb4
Fix top-level make docs prerequisites 
Add `$(TARGETS)` for gen_examples and gen_images since they need the `yosys` executable.
Add guidelines source files as a prerequisite to docs/source/generated while we're at it.
 2024-10-07 10:26:29 +13:00
github-actions[bot] 1bf908dea8 Bump version 2024-10-01 00:23:05 +00:00
github-actions[bot] 59404f8ce5 Bump version 2024-09-30 00:21:26 +00:00
github-actions[bot] 4d581a97d6 Bump version 2024-09-18 00:19:41 +00:00
github-actions[bot] c8846243c2 Bump version 2024-09-17 00:16:41 +00:00
github-actions[bot] 229d1ea937 Bump version 2024-09-12 00:19:38 +00:00
github-actions[bot] 6937241012 Bump version 2024-09-10 00:19:34 +00:00
github-actions[bot] dcf9f58315 Bump version 2024-09-07 00:18:42 +00:00
Miodrag Milanović b20df72e1e
Merge pull request #4536 from YosysHQ/functional 
Functional Backend
 2024-09-06 10:05:04 +02:00
Miodrag Milanovic fc10a6eee2 Run functional tests on private runner only 2024-09-06 08:47:43 +02:00
github-actions[bot] e8951aba29 Bump version 2024-09-06 00:19:21 +00:00
Krystine Sherwin 21494d1f06
Makefile: Update coverage_functional 
Note sure if this is the best way to do it, but it works?
 2024-09-05 11:43:42 +12:00
Emily Schmidt 5a476a8d29 functional tests: run from make tests but not smtlib/rkt tests 2024-09-04 10:30:08 +01:00
github-actions[bot] d567164173 Bump version 2024-09-04 00:19:13 +00:00
Miodrag Milanovic 0744fac883 Next dev cycle 2024-09-03 12:39:38 +02:00
Miodrag Milanovic 3e0dc2ff1e Release version 0.45 2024-09-03 10:28:56 +02:00
Miodrag Milanović 598d010349
Merge pull request #4504 from YosysHQ/nanoxplore 
NanoXplore synthesis
 2024-09-03 10:19:44 +02:00
Miodrag Milanović 9fca352882
Merge pull request #4563 from YosysHQ/krys/better_rtds_action 
Better docs builds
 2024-09-03 09:32:24 +02:00
github-actions[bot] 6b9321250b Bump version 2024-09-03 00:20:12 +00:00
Krystine Sherwin cab781d958
Makefile: Move docs prereqs to separate target 2024-09-03 11:30:59 +12:00
Emily Schmidt 2b8db94aa0 functional backend: add test to verify test_generic 2024-08-29 13:14:18 +01:00
Krystine Sherwin 0b53b10770
Makefile: Stop unconditionally install docs prereqs 2024-08-27 10:06:25 +12:00
github-actions[bot] 72f77dd97b Bump version 2024-08-23 00:18:22 +00:00
github-actions[bot] 27b51cb351 Bump version 2024-08-22 00:18:24 +00:00
Emily Schmidt 850b3a6c29 convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h 2024-08-21 11:04:08 +01:00
Emily Schmidt 00a65754bb factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them 2024-08-21 11:03:27 +01:00
Miodrag Milanovic e296b884d5 Add Makefile helpers for coverage 2024-08-21 11:02:31 +01:00
Emily Schmidt 6f9e21219b add new generic compute graph and rewrite c++ functional backend to use it 2024-08-21 11:02:29 +01:00
Jannis Harder 56572978f5 drivertools: Utility code for indexing and traversing signal drivers 
It adds `DriveBit`, `DriveChunk` and `DriveSpec` types which are similar
to `SigBit`, `SigChunk` and `SigSpec` but can also directly represent
cell ports, undriven bits and multiple drivers. For indexing an RTLIL
module and for querying signal drivers it comes with a `DriverMap` type
which is somewhat similar to a `SigMap` but is guaranteed to produce
signal drivers as returned representatives.

A `DriverMap` can also optionally preserve connections via intermediate
wires (e.g. querying the driver of a cell input port will return a
connected intermediate wire, querying the driver of that wire will
return the cell output port that's driving the wire).
 2024-08-21 11:00:21 +01:00
github-actions[bot] 4cddc19994 Bump version 2024-08-20 00:18:24 +00:00
N. Engelhardt 7f08a298a4
Merge pull request #4542 from YosysHQ/krys/rtd 
Local readthedocs
 2024-08-19 10:04:38 +02:00
github-actions[bot] 5fb3c0b1d9 Bump version 2024-08-17 00:17:44 +00:00
KrystalDelusion 3dd32d741a Stop unconditionally building abc 
_What are the reasons/motivation for this change?_
abc builds unconditional because `check-git-abc` is a phony prerequisite and therefore always runs, and since it always runs it will always trigger abc to rebuild.

_Explain how this is achieved._
Convert `check-git-abc` to an order-only prerequisite.  It still runs as before, but no longer triggers yosys-abc to rebuild when it does.

_If applicable, please suggest to reviewers how they can test the change._
 2024-08-17 11:04:17 +12:00
Krystine Sherwin 3b63ab07ae
docs: Build RTD artifacts directly 
Use rtds-action instead of yosys-cmd-ref repo.
Add rtds_action to docs configuration.
Add `.readthedocs.yaml`.
Update `DOCS_USAGE_` make target to be able to use pre-generated executables without forcing a remake.
 2024-08-16 10:43:51 +12:00
Miodrag Milanovic 34f08bc639 Enable nanoxplore tests 2024-08-15 17:50:36 +02:00
github-actions[bot] 1eaf4e0790 Bump version 2024-08-15 00:17:57 +00:00
github-actions[bot] 4b9f452735 Bump version 2024-08-13 00:19:11 +00:00
github-actions[bot] 77b2ae2e39 Bump version 2024-08-08 00:18:08 +00:00
github-actions[bot] 669f8b18f0 Bump version 2024-08-07 00:18:20 +00:00
Miodrag Milanovic d08bf671b2 Next dev cycle 2024-08-06 09:48:35 +02:00
Miodrag Milanovic 80ba43d262 Release version 0.44 2024-08-06 09:42:28 +02:00
Miodrag Milanović e5d8505349
Merge pull request #4523 from YosysHQ/emil/no-lto-lld 
Makefile: no LTO and lld by default
 2024-08-06 09:08:09 +02:00
github-actions[bot] d2b5788674 Bump version 2024-08-06 00:18:14 +00:00
Emil J. Tywoniak eeecb54532 Makefile: no LTO and lld by default 2024-08-05 19:28:09 +02:00
github-actions[bot] c788484679 Bump version 2024-07-30 00:18:19 +00:00
Emil J 92cac63845
Merge pull request #4344 from widlarizer/emil/keep_hierarchy 
cost: add keep_hierarchy pass with min_cost argument
 2024-07-29 16:33:08 +02:00
N. Engelhardt 9f869b265c
Merge pull request #4474 from tony-min-1/mchp 
Add PolarFire FPGA support
 2024-07-29 15:28:44 +02:00
Emil J e21dd292fc
Merge pull request #4502 from YosysHQ/emil/build-opt-levels 
Release build configuration improvements
 2024-07-29 15:13:52 +02:00
Emil J. Tywoniak 4b29f64142 cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter 2024-07-29 10:26:02 +02:00
github-actions[bot] 960bca0196 Bump version 2024-07-27 00:17:35 +00:00
github-actions[bot] 610d27dc1c Bump version 2024-07-26 00:17:42 +00:00
Emil J. Tywoniak 7cd27e1182 Makefile: remove accidental abc opt level override for wasi builds 2024-07-24 21:31:35 +02:00
Emil J. Tywoniak bf758b9097 Makefile: turn off LTO on gcc due to regression 2024-07-22 20:59:56 +02:00
github-actions[bot] 28ebefda4a Bump version 2024-07-19 00:17:55 +00:00
Martin Povišer 81df8557d9
Merge pull request #4494 from povik/install-bitpattern-h 
Makefile: do install `bitpattern.h`
 2024-07-18 15:50:58 +02:00
Emil J 1d7a47bb6b
Merge pull request #4487 from YosysHQ/emil/abc-reproducible-git-hash 
Reproducible git hash
 2024-07-18 11:54:07 +02:00
Martin Povišer ec32c9a056 Makefile: do install bitpattern.h 2024-07-17 18:26:12 +02:00
github-actions[bot] 49f547782c Bump version 2024-07-16 00:18:08 +00:00
Alexander von Gluck 2f514487cb haiku: Basic fixes to build under Haiku 2024-07-15 12:57:34 +02:00
Emil J. Tywoniak 0cd55e1d7c Makefile: fix 2024-07-12 11:00:36 +02:00
Emil J. Tywoniak 9d15f1d6ac Makefile: reproducible .gitcommit 2024-07-12 10:52:03 +02:00
github-actions[bot] b08688f711 Bump version 2024-07-10 00:18:13 +00:00
Emil J. Tywoniak 725746baa6 Makefile: LTO for all, lld for clang 2024-07-09 11:25:16 +02:00
Miodrag Milanovic b9181aaad2 Next dev cycle 2024-07-09 09:27:23 +02:00
Miodrag Milanovic c6e5e0b26b Release version 0.43 2024-07-09 09:11:59 +02:00
Emil J. Tywoniak ad22430b96 Makefile: use -O3 instead of -Os 2024-07-08 19:19:10 +02:00
Emil J. Tywoniak fee274c76a Makefile: let clang use -Og in debug builds 2024-07-08 18:16:04 +02:00
chunlin min 9de5602574 ininclude microchip tests in makefile 2024-07-04 15:54:59 -04:00
github-actions[bot] a739e21a5f Bump version 2024-06-29 00:16:56 +00:00
github-actions[bot] 1288166f7a Bump version 2024-06-25 00:17:11 +00:00
Miodrag Milanović 1e401c3e04
Merge pull request #4460 from YosysHQ/micko/c++17 
Make C++17 compiler required
 2024-06-24 19:54:30 +02:00
Miodrag Milanovic 777624ccf5 Make yosys-config dependant of Makefile 2024-06-24 16:08:08 +02:00
github-actions[bot] 6c8ae44ae7 Bump version 2024-06-20 00:17:08 +00:00
github-actions[bot] ede3750a6c Bump version 2024-06-19 00:17:13 +00:00
Miodrag Milanovic 141a2e3638 Make C++17 compiler required 2024-06-17 16:55:36 +02:00
Miodrag Milanovic 19da7f7d59 Update makefile to make options uniform 2024-06-17 13:29:11 +02:00
Miodrag Milanovic 25d50bb2af VHDL only build support 2024-06-17 13:29:11 +02:00
Miodrag Milanovic 54bf9ccf06 Add initial support for Verific without additional YosysHQ patch 2024-06-17 13:29:11 +02:00
github-actions[bot] 2fd2b6538d Bump version 2024-06-14 00:17:13 +00:00
github-actions[bot] a55e8594b7 Bump version 2024-06-12 00:17:25 +00:00
github-actions[bot] ef90458820 Bump version 2024-06-11 00:17:10 +00:00
github-actions[bot] 82783646e5 Bump version 2024-06-08 00:17:45 +00:00
Miodrag Milanovic b056e8c0ba Next dev cycle 2024-06-07 08:34:06 +02:00
Miodrag Milanovic 9b6afcf3f8 Release version 0.42 2024-06-07 08:29:48 +02:00
github-actions[bot] bd28d26021 Bump version 2024-06-07 00:17:23 +00:00
github-actions[bot] 855ac285f4 Bump version 2024-06-03 00:17:36 +00:00
github-actions[bot] a84e4f44fe Bump version 2024-05-31 00:16:34 +00:00
github-actions[bot] 5579685673 Bump version 2024-05-25 00:16:20 +00:00
Mary Guillemard db3f810304 Only build yosys-abc usage docs when ABCEXTERNAL is not set 
Since 0.41, when building docs with ABCEXTERNAL set, the rule for
yosys-abc docs usage would attempt to build in-tree ABC.

This fix this regression by only including yosys-abc in
DOCS_USAGE_STDERR when ABCEXTERNAL is not set.

Signed-off-by: Mary Guillemard <mary@mary.zone>
 2024-05-22 23:48:03 +02:00
github-actions[bot] c71262f66b Bump version 2024-05-22 00:16:29 +00:00
Miodrag Milanović 17903703c8
Merge pull request #4362 from offline3/export_marco_to_qtcreator 
export define marco to qtcreator.config
 2024-05-21 16:07:49 +02:00
github-actions[bot] 7045cf509e Bump version 2024-05-14 00:16:31 +00:00
github-actions[bot] 07ac4c2fae Bump version 2024-05-11 00:16:25 +00:00
Miodrag Milanović 5e6bb458e5
Merge branch 'main' into krys/refactor-workflows 2024-05-10 16:05:47 +02:00
Miodrag Milanovic cef8bedf63 Remove emcc target from Makefile 2024-05-10 15:03:17 +02:00
Miodrag Milanovic a31620fda3 make yosys-abc build before yosys 2024-05-10 15:02:06 +02:00
Miodrag Milanovic d73771b0d9 Make abc Makefile check for dependancies 2024-05-10 15:01:39 +02:00
github-actions[bot] 1657917693 Bump version 2024-05-10 00:16:44 +00:00
Krystine Sherwin 4d8ce13aa4
compile-only: Include genfiles and extra_targets 2024-05-10 09:53:46 +12:00
Krystine Sherwin 6908330005
ci: Reduce number of jobs 
Limit compilers to oldest and newest.
Oldest compilers test with minimum supported standard.
Newest compilers test with minimum *and* maximum supported standard.
 2024-05-10 09:53:46 +12:00
Krystine Sherwin 7873fe791e
Makefile: ignore missing docs 
e.g. when calling `make clean` out-of-tree
 2024-05-10 09:35:04 +12:00
Miodrag Milanovic 93148a87df Modify abc directory content check 2024-05-09 09:22:48 +02:00
github-actions[bot] 10686cd2df Bump version 2024-05-09 00:16:31 +00:00
Roland Coeurjoly 6d181c29ce Checking different cases for abc 2024-05-08 00:32:18 +02:00
Roland Coeurjoly fdbe8714c9 Check that abc is checkout out as a git repo 2024-05-08 00:32:18 +02:00
Roland Coeurjoly 67d4c8bba6 Use $< to refer to the first prerequisite listed in the rule 2024-05-08 00:32:18 +02:00
Roland Coeurjoly 09b9aa83c9 Add YosysHQ/abc as a submodule located in abc 2024-05-08 00:32:18 +02:00
Miodrag Milanovic 561618002a Next dev cycle 2024-05-08 09:02:50 +02:00
Miodrag Milanovic c1ad37779e Release version 0.41 2024-05-08 08:52:10 +02:00
Miodrag Milanovic 7ab43dc1b7 Update ABC with Windows fixes 2024-05-08 08:30:30 +02:00
github-actions[bot] ce45011275 Bump version 2024-05-08 00:13:52 +00:00
Miodrag Milanovic b4034a881e Keep docs version in conf.py 2024-05-07 15:35:25 +02:00
Krystine Sherwin 6eb49ee9e8
Makefile: Export YOSYS_VER only for make docs 2024-05-07 10:23:22 +12:00
Krystine Sherwin fe27240b3a
Makefile: Export YOSYS_VER 2024-05-04 16:51:38 +12:00
github-actions[bot] 0f9ee20ea2 Bump version 2024-05-04 00:16:00 +00:00
github-actions[bot] dd2195543b Bump version 2024-04-30 00:17:14 +00:00
Jason Wu f1672b2f14
Update Makefile 2024-04-29 10:16:22 +08:00
Jason Wu 374cd3966d export define marco to qtcreator.config 2024-04-29 10:04:34 +08:00
github-actions[bot] cf02f86c28 Bump version 2024-04-24 00:16:06 +00:00
Martin Povišer 67c7062fb8 Bump abc for a fix once more 2024-04-23 13:50:45 +02:00
Martin Povišer c167d9b76e Bump abc for one more fix 2024-04-23 11:41:20 +02:00
Martin Povišer 6d6aa4d35e Bump abc to cherry-pick a WASM build fix 2024-04-22 17:43:41 +02:00
Martin Povišer 4a666d3ba8 Bump abc 2024-04-22 16:39:42 +02:00
github-actions[bot] 4897e89547 Bump version 2024-04-17 00:16:15 +00:00
github-actions[bot] 40e8f5b69d Bump version 2024-04-16 00:15:48 +00:00
Miodrag Milanović 7bb2746208
Merge pull request #4334 from YosysHQ/docs_tidy 
Strip compilation date from doc outputs
 2024-04-15 08:27:41 +02:00
Krystine Sherwin 73d021562f
Docs: Rename source/temp to source/generated 2024-04-15 10:13:22 +12:00
github-actions[bot] ed46453cfc Bump version 2024-04-13 00:14:07 +00:00
Krystine Sherwin d4b6042e43
Makefile: Separate docs/usage stderr and stdout 2024-04-13 11:20:36 +12:00
github-actions[bot] 47bdb3e32f Bump version 2024-04-11 00:16:34 +00:00
Miodrag Milanovic e01e942f81 Next dev cycle 2024-04-10 08:21:35 +02:00
Miodrag Milanovic a1bb0255d6 Release version 0.40 2024-04-10 08:17:27 +02:00
github-actions[bot] bc14999287 Bump version 2024-04-09 00:16:14 +00:00
Jannis Harder eb6c9395bf
Merge pull request #4312 from jix/break-cyclic-includes 
kernel: Avoid including files outside include guards
 2024-04-08 20:49:52 +02:00
github-actions[bot] 22c5ab90d1 Bump version 2024-04-04 00:16:37 +00:00
github-actions[bot] 040605b047 Bump version 2024-04-03 00:15:49 +00:00
Jannis Harder d8687e87b1 kernel: Avoid including files outside include guards 
This adjusts the way the headers kernel/{yosys,rtlil,register,log}.h
include each other to avoid the need of including headers outside of
include guards as well as avoiding the inclusion of rtlil.h in the
middle of yosys.h with rtlil.h depending on the prefix of yosys.h, and
the suffix of yosys.h depending on rtlil.h.

To do this I moved some of the declaration in yosys.h into a new header
yosys_common.h. I'm not sure if that is strictly necessary.

Including any of these files still results in the declarations of all
these headers being included, so this shouldn't be a breaking change for
any passes or external plugins.

My main motivation for this is that ccls's (clang based language server)
include guard handling gets confused by the previous way the includes
were done. It often ends up treating the include guard as a generic
disabled preprocessor conditional, breaking navigation and highlighting
for the core RTLIL data structures.

Additionally I think avoiding cyclic includes in the middle of header
files that depend on includes being outside of include guards will also
be less confusing for developers reading the code, not only for tools
like ccls.
 2024-04-02 16:53:56 +02:00
github-actions[bot] b9d3bffda5 Bump version 2024-03-31 00:18:11 +00:00
github-actions[bot] 0a854cf4ce Bump version 2024-03-26 00:15:18 +00:00