14668 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Emily Schmidt	7de8be1451	functional_ir.rst: fix typo, document SExprWriter::flush	2024-09-03 14:30:56 +01:00
Emily Schmidt	75ed6d38fc	fix rst formatting in functional_ir.rst	2024-09-03 14:21:56 +01:00
Miodrag Milanovic	0744fac883	Next dev cycle	2024-09-03 12:39:38 +02:00
Krystine Sherwin	d6c5e13bf3	smtr: Structs have local scope ... Also unique_name can take field_name directly.	2024-09-03 11:32:02 +01:00
Krystine Sherwin	a2abbcb33f	smtr: Use scope.unique_name	2024-09-03 11:32:02 +01:00
Krystine Sherwin	5a29b3e172	smtr: More sanitization	2024-09-03 11:32:02 +01:00
Krystine Sherwin	07b6908019	smtr: Use rosette/safe	2024-09-03 11:32:02 +01:00
Krystine Sherwin	7fe9157df2	smtr: Add rkt to functional tests	2024-09-03 11:32:02 +01:00
Krystine Sherwin	8b29629ca9	smtr: Fork smtlib for rosette	2024-09-03 11:32:02 +01:00
Miodrag Milanovic	9ed031ddd5	Fix TODOs in docs	2024-09-03 12:28:25 +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 Milanovic	556c705a89	Cleanup of synth_nanoxplore pass	2024-09-03 10:15:50 +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
Miodrag Milanovic	89cbca4f44	Add macOS instructions for latexpdf	2024-09-03 09:15:12 +02:00
Martin Povišer	9c1bcb38d9	write_xaiger: Get by without endianness helpers	2024-09-03 08:59:09 +02:00
Emily (aiju)	c0ce0b82a8	docs: gvpack on macos requires the file name to appear after the flags	2024-09-03 08:38:29 +02:00
Akash Levy	03f83f7fce	Update Verific release	2024-09-02 21:16:21 -07:00
github-actions[bot]	6b9321250b	Bump version	2024-09-03 00:20:12 +00:00
Krystine Sherwin	558f313a78	Docs: Show todos in previews ... That includes local builds. Also fix release version numbers.	2024-09-03 11:53:43 +12:00
Krystine Sherwin	25623b1010	ci: test-verific no longer needs special casing	2024-09-03 11:45:00 +12:00
Krystine Sherwin	e92de01ab3	ci: Split out prepare-docs	2024-09-03 11:40:47 +12:00
Krystine Sherwin	6c833d83b8	ci: Use docs/prep target	2024-09-03 11:31:06 +12:00
Krystine Sherwin	cab781d958	Makefile: Move docs prereqs to separate target	2024-09-03 11:30:59 +12:00
Krystine Sherwin	a97d99cbac	ci: Verific skipping conditional on github.ref ... Docs jobs should not skip on concurrent jobs (in case a non-docs job is already running, such as when a commit has been tagged for docs-preview). However, a successful `test-verific` can allow for a future docs job to skip testing and go straight to the preview.	2024-09-03 11:29:47 +12:00
Krystine Sherwin	840c515ffc	RTDs: Fail on warning ... Fix outstanding sphinx warnings; - Change mycells.lib to use `text` parsing instead of (currently) unsupported `Liberty`. - Remove unused `troubleshooting.rst`, moving the todo into the index.	2024-09-03 10:20:24 +12:00
Emil J	c25448f1d1	Merge pull request #4569 from georgerennie/george/proc_dff_ordering ... proc_dff: respect sync rule priorities when generating complex dffsrs	2024-09-02 15:32:07 +02:00
Akash Levy	81e4f0aaed	Add check	2024-09-01 21:58:13 -07:00
Akash Levy	2c9c6e693f	Add muxadd peepopt	2024-08-30 04:45:01 -07:00
Akash Levy	8f26fa9077	Fix for less pessimism in muxpack and opt_tree_balance	2024-08-29 23:44:57 -07:00
Emily Schmidt	2b8db94aa0	functional backend: add test to verify test_generic	2024-08-29 13:14:18 +01:00
George Rennie	8206951f77	proc_dff: add tests	2024-08-28 16:24:47 +01:00
George Rennie	bdb5d45591	proc_dff: respect sync rule priorities when generating complex dffsrs ... * This fixes #4560, where previously the order that sync rules were processed in depended on the order they were pulled out of a std::map. This PR changes this to process them in the order they are found in, respecting the priorities among the async signals	2024-08-28 15:48:07 +01:00
Emily Schmidt	4eeb8d326a	functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent	2024-08-28 12:39:41 +01:00
Emily Schmidt	27efed27c2	functional backend: more documentation	2024-08-28 11:28:24 +01:00
Akash Levy	ab20bbbe8e	Fix bug	2024-08-27 23:23:49 -07:00
Akash Levy	401ffbd47e	Smallfix	2024-08-27 18:14:29 -07:00
Akash Levy	bbfdb460a5	Unclog the log	2024-08-27 18:13:43 -07:00
Akash Levy	11c05e2e40	Revert "Reapply "Reapply "Reapply "Add fanoutlimit"""" ... This reverts commit cf6c4ec6e4.	2024-08-27 17:38:48 -07:00
Akash Levy	cf6c4ec6e4	Reapply "Reapply "Reapply "Add fanoutlimit""" ... This reverts commit e50bca4d98.	2024-08-27 17:36:34 -07:00
Akash Levy	e50bca4d98	Revert "Reapply "Reapply "Add fanoutlimit""" ... This reverts commit 22c99a2b2e.	2024-08-27 17:33:22 -07:00
Akash Levy	22c99a2b2e	Reapply "Reapply "Add fanoutlimit"" ... This reverts commit a32e4dd8f8.	2024-08-27 17:33:00 -07:00
Akash Levy	a32e4dd8f8	Revert "Reapply "Add fanoutlimit"" ... This reverts commit 7ebc3ed7d2.	2024-08-27 17:27:23 -07:00
Akash Levy	7ebc3ed7d2	Reapply "Add fanoutlimit" ... This reverts commit 9470dbe806.	2024-08-27 17:23:55 -07:00
Akash Levy	9470dbe806	Revert "Add fanoutlimit" ... This reverts commit be9a4f338d.	2024-08-27 17:22:31 -07:00
Akash Levy	be9a4f338d	Add fanoutlimit	2024-08-27 17:20:29 -07:00
Akash Levy	77868f52ec	Add add/sub/mul to wreduce pass	2024-08-27 14:33:59 -07:00
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