14821 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Akash Levy	6552f131de	wreduce in opt_balance_tree	2024-08-27 14:33:43 -07:00
Akash Levy	b69cbaa792	Clean * in splitfanout	2024-08-27 14:33:29 -07:00
Akash Levy	4f6a153961	Working tree balance pass	2024-08-27 08:19:17 -07:00
Emily Schmidt	b428bf4600	functional backends: identifiers in c++/smtlib may not start with digits	2024-08-27 13:10:34 +01:00
Emily Schmidt	459e6b913a	add functional ir documentation	2024-08-27 11:11:02 +01:00
Akash Levy	f707a3b6cd	Merge branch 'YosysHQ:main' into main	2024-08-26 22:37:42 -07:00
Akash Levy	243d8317a5	SMALL mode with first pass of opt_balance_tree	2024-08-26 22:36:47 -07:00
Krystine Sherwin	ecff434886	Docs: Use version name from readthedocs ... Latest still gets -dev, but if it's a docs preview use the tag/branch name.	2024-08-27 10:21:31 +12:00
Krystine Sherwin	a20756676c	ci: Update RTDs trigger conditional ... Trigger on main, on a branch called `docs-preview*`, or on any tag.	2024-08-27 10:06:26 +12:00
Krystine Sherwin	83692075df	ci: Don't cancel previous builds ... Which is what the comment said, but the code didn't match.	2024-08-27 10:06:26 +12:00
Krystine Sherwin	98d26bdd2c	Docs: Fix nested list on build_verific page	2024-08-27 10:06:26 +12:00
Krystine Sherwin	7d63fdd88e	README: building docs on macos	2024-08-27 10:06:25 +12:00
Krystine Sherwin	5d5d890d5b	Docs: macos-safe build ... Swap `cp -u` for `rsync -t`. Drop the workaround to get the list of dot files after copying them, and instead just run the makefile twice. Swap `$(wildcard **/*.x)` for `$(shell find . -name *.x)`,	2024-08-27 10:06:25 +12:00
Krystine Sherwin	0b53b10770	Makefile: Stop unconditionally install docs prereqs	2024-08-27 10:06:25 +12:00
Krystine Sherwin	2e1335a023	Docs: Fix local builds ... Based on the docs-test-fork PR branch, includes PR preview announcement, linking to the relevant tyrtd page	2024-08-27 10:06:25 +12:00
N. Engelhardt	0fc5812dcd	Merge pull request #4541 from YosysHQ/krys/compiler-warnings ... Resolve (some) compiler warnings	2024-08-26 15:04:16 +02:00
Akash Levy	4e03e8d877	Add copyright	2024-08-22 18:32:37 -07:00
github-actions[bot]	72f77dd97b	Bump version	2024-08-23 00:18:22 +00:00
Akash Levy	fe5c65a77e	Merge branch 'YosysHQ:main' into master	2024-08-22 15:44:55 -07:00
KrystalDelusion	09a42dd421	Merge pull request #4396 from YosysHQ/krys/docs_verific ... Clarify Verific support where the `verific` front end is mentioned Add page on building yosys+verific	2024-08-23 09:52:37 +12:00
Krystine Sherwin	583d820dc2	Docs: Apply verific docs suggestions	2024-08-23 09:23:57 +12:00
Emil J	7b0ecaa953	Merge pull request #4549 from YosysHQ/emil/macos-max-mem-usage ... driver: print maximum memory usage on macOS	2024-08-22 17:43:32 +02:00
Emily Schmidt	761eff594f	functional backend: missing includes for stl containers	2024-08-22 11:13:58 +01:00
Emily Schmidt	9b5e81b13f	drivertools: fix C++20 "incomplete type" error by moving constructors below other definitions	2024-08-22 10:40:56 +01:00
Akash Levy	0ba088e5ed	Try again	2024-08-21 23:21:00 -07:00
Akash Levy	7f52eb0be8	Update muxpack	2024-08-21 23:00:18 -07:00
Akash Levy	1cc7e5536b	If fully constant don't count as user	2024-08-21 22:30:16 -07:00
Akash Levy	8989f2f98c	Undo fanout_split	2024-08-21 22:20:25 -07:00
Akash Levy	d0529c7eea	muxpack fixes	2024-08-21 21:51:08 -07:00
Akash Levy	8ee8e91ab8	Small edits	2024-08-21 21:40:59 -07:00
Akash Levy	426a9320d9	Small update	2024-08-21 21:38:34 -07:00
Akash Levy	7d44234d80	Try updated muxpack	2024-08-21 21:37:28 -07:00
Akash Levy	a945edc7a0	Smallfix	2024-08-21 20:26:29 -07:00
Akash Levy	57446f3f93	Merge branch 'YosysHQ:main' into master	2024-08-21 18:52:38 -07:00
github-actions[bot]	27b51cb351	Bump version	2024-08-22 00:18:24 +00:00
Akash Levy	283db470be	Small edit	2024-08-21 17:04:08 -07:00
Akash Levy	2e8ee9a44d	Smallclean	2024-08-21 17:03:22 -07:00
Akash Levy	26d9bdb17c	Add more stuff to muxpack	2024-08-21 16:57:28 -07:00
Akash Levy	6e46a56720	Fix Verific warning	2024-08-21 16:55:44 -07:00
Krystine Sherwin	3317d80480	Docs: Clarify verific caveats	2024-08-22 10:04:00 +12:00
Krystine Sherwin	6431534c24	Docs: Some other fixes	2024-08-22 10:03:59 +12:00
Krystine Sherwin	8145461c78	Docs: Fix Verific builds table formatting ... PDF don't like the long headers, so instead use placeholders a-d with elaborations below.	2024-08-22 10:03:59 +12:00
Krystine Sherwin	0327ad97f2	Docs: Fix code formatting ... Gets me everytime	2024-08-22 10:03:59 +12:00
Krystine Sherwin	36ad07e1d5	Docs: Update build_verific ... Clarify partially supported builds section. Update parameter defaults. Include note on finding compile options with `yosys-config`. Fix remaining references to `/yosys_source/`.	2024-08-22 10:03:59 +12:00
Krystine Sherwin	88bb785dcd	Docs: Verific but with sentences	2024-08-22 10:03:59 +12:00
Krystine Sherwin	cfba26ca8b	Docs: Verific progress	2024-08-22 10:03:59 +12:00
Krystine Sherwin	00bb3b6fc2	Docs: Merge yosys_source into extending_yosys ... Move abc_flow content into synthesis/abc document.	2024-08-22 10:03:59 +12:00
Krystine Sherwin	8e618cac45	Docs: Update build_verific.rst ... Move patch section to top. Add todos for open questions. Reformat partially supported builds into a single table. General language tidy up/reflow.	2024-08-22 10:03:59 +12:00
Krystine Sherwin	53b223f0df	Docs: Initial build_verific.rst ... From verific.md Co-authored-by: Miodrag Milanovic <mmicko@gmail.com>	2024-08-22 10:03:59 +12:00
Krystine Sherwin	d97a243c22	Docs: Intro to Yosys source section	2024-08-22 10:03:59 +12:00