15555 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Miodrag Milanovic	fc10a6eee2	Run functional tests on private runner only	2024-09-06 08:47:43 +02:00
Akash Levy	b443ff5f05	Fix	2024-09-05 22:32:12 -07:00
Akash Levy	1d2a4116c2	Try again	2024-09-05 22:28:43 -07:00
Akash Levy	c4c4fe603f	Smallfix	2024-09-05 22:21:20 -07:00
Akash Levy	cc3acb9894	Fix whereami extension	2024-09-05 22:13:28 -07:00
Akash Levy	18f05ba615	Add those CXXFLAGS	2024-09-05 22:10:04 -07:00
Akash Levy	7d5843ff02	Undo	2024-09-05 21:38:28 -07:00
Akash Levy	73c997d622	Bump yosys	2024-09-05 21:25:17 -07:00
Akash Levy	9f83121413	Update yosys-slang	2024-09-05 20:58:56 -07:00
Akash Levy	17deeb1e88	Update cmake min	2024-09-05 20:48:32 -07:00
Akash Levy	e299f59e93	Fixing standards	2024-09-05 20:32:21 -07:00
Akash Levy	0583387462	Update yosys-slang	2024-09-05 19:49:58 -07:00
github-actions[bot]	e8951aba29	Bump version	2024-09-06 00:19:21 +00:00
Akash Levy	63a7996cb4	Merge branch 'YosysHQ:main' into main	2024-09-05 17:07:57 -07:00
Akash Levy	cd56f7f7b4	Add setattr to Makefile SMALL	2024-09-05 17:05:54 -07:00
Akash Levy	10c9e27433	Add yosys-slang	2024-09-05 15:22:31 -07:00
Akash Levy	9991bb19bb	Add yosys-slang	2024-09-05 14:05:59 -07:00
Akash Levy	ce95ec1f9e	Add VHDL support via GHDL call	2024-09-05 13:24:38 -07:00
Martin Povišer	3b8f3c2719	Merge pull request #4582 from YosysHQ/emil/internal_stats-help-string ... internal_stats: fix doc build by adding a help string	2024-09-05 15:37:22 +02:00
Martin Povišer	7e65b83d49	Merge pull request #4576 from povik/xaiger-drop-bswap ... write_xaiger: Get by without endianness helpers	2024-09-05 15:36:49 +02:00
Martin Povišer	73a2d35f81	Merge pull request #4581 from YosysHQ/emil/ff-clk-comment ... ff: improve comments	2024-09-05 12:34:21 +02:00
Emil J. Tywoniak	14b9155492	internal_stats: fix doc build by adding a help string	2024-09-05 11:22:21 +02:00
Emil J. Tywoniak	bd6f7bb4a7	ff: improve comments	2024-09-05 11:17:12 +02:00
Akash Levy	bebdb2f035	Reduce verbosity	2024-09-05 00:56:01 -07:00
Akash Levy	42dc3f6da6	Add splitcells and splitnets	2024-09-04 21:54:39 -07:00
Krystine Sherwin	17ee367c7b	Docs: Use Read the Docs SPHINXOPTS ... `-W --keep-going` will build everything but raise an error on any warnings. Should mean that github actions will correctly flag a failure when attempting to build docs. Including this current commit until the `internal_stats` command gets a help message.	2024-09-05 15:47:18 +12: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
Akash Levy	120f69eda7	Merge branch 'YosysHQ:main' into main	2024-09-04 00:02:25 -07:00
github-actions[bot]	d567164173	Bump version	2024-09-04 00:19:13 +00:00
Martin Povišer	68fbca8769	Merge pull request #4554 from YosysHQ/emil/devstat ... internal_stats: init, report current memory consumption on linux and mac	2024-09-03 21:06:46 +02:00
Emil J. Tywoniak	0ce7631956	internal_stats: init, report current memory consumption on linux and mac	2024-09-03 19:28:24 +02:00
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