13896 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Akash Levy	5cc35131a8	Merge branch 'YosysHQ:main' into master	2024-06-06 23:02:40 -07:00
github-actions[bot]	bd28d26021	Bump version	2024-06-07 00:17:23 +00:00
Miodrag Milanović	baccf87d9c	Merge pull request #4431 from jix/smtbmc-fixes ... smtbmc: Fix two .yw handling related crashes	2024-06-06 18:19:06 +02:00
Jannis Harder	094fa8caba	smtbmc: Fix two .yw handling related crashes ... These came up when using the experimental incremental interface and are also in code that was recently refactored to support that interface.	2024-06-06 17:35:31 +02:00
Akash Levy	c8f7441a4a	Fix skip default value	2024-06-05 09:33:03 -07:00
Akash Levy	c59a997255	Ignore files properly	2024-06-05 07:53:21 -07:00
Akash Levy	4d44099d09	Support for ignoring translate_off and ignoring files	2024-06-05 05:00:05 -07:00
Akash Levy	5dc62bec0b	Support .inc files and readmemh missing file	2024-06-03 20:05:30 -07:00
Akash Levy	92e44cc9a3	Minor fix to ignore files	2024-06-03 18:17:50 -07:00
Akash Levy	4339b3681a	Elaborate top level modules undo	2024-06-03 16:17:51 -07:00
Akash Levy	a692bf17d7	Improper ignore translates	2024-06-03 11:23:16 -07:00
Akash Levy	783c0a593a	Actually optimize with Verific now	2024-06-03 04:55:47 -07:00
Akash Levy	d549cb9e57	Just really minor Verific change	2024-06-03 03:40:35 -07:00
Akash Levy	2d05b38444	Update when main expression is too wide	2024-06-03 03:30:26 -07:00
Akash Levy	fb05f73998	Minor edit	2024-06-03 02:58:41 -07:00
Akash Levy	58ef0571db	Update Verific	2024-06-02 23:50:04 -07:00
Akash Levy	4475b50ffa	Undo some ugly stuff and make more attempted fixes	2024-06-02 23:33:23 -07:00
Akash Levy	ad1197d5ad	Merge branch 'YosysHQ:main' into master	2024-06-02 22:50:08 -07:00
Akash Levy	2585636d18	Use ability to get/set IMPORT runtime flags	2024-06-02 22:24:29 -07:00
Akash Levy	28a03380b7	Priority selector fixes (opt order), relaxed checking, warning if using Yosys case statements	2024-06-02 18:45:31 -07:00
github-actions[bot]	855ac285f4	Bump version	2024-06-03 00:17:36 +00:00
Miodrag Milanović	803703a833	Update flake lock workflow ... Update workflow so it creates trigger as user so GitHub Action is triggering actual build	2024-06-02 19:25:05 +02:00
Akash Levy	85cbd05bb1	Update some runtime flags to fix some potential issues	2024-06-02 01:12:43 -07:00
Akash Levy	e0d96d35a1	Merge branch 'YosysHQ:main' into master	2024-06-01 23:47:26 -07:00
Martin Povišer	4b67f3757f	Merge pull request #4404 from YosysHQ/povik/bbox_derive ... box_derive: New command to derive modules for boxes	2024-05-31 19:09:18 +02:00
github-actions[bot]	a84e4f44fe	Bump version	2024-05-31 00:16:34 +00:00
Akash Levy	5bc23b272a	Add blackboxes a little later and use ignore files rather than ignore modules	2024-05-30 14:17:10 -07:00
Emil J	111b747d27	Merge pull request #4420 from YosysHQ/emil/doc-demux-todo ... docs: add todo for $demux	2024-05-30 17:45:19 +02:00
Akash Levy	8b93aa10cb	Add leakage power unit support	2024-05-29 23:43:47 -07:00
Martin Povišer	97fedff383	box_derive: Tune the test	2024-05-29 20:42:11 +02:00
Martin Povišer	b230c95cc4	select: Adjust help	2024-05-29 20:41:56 +02:00
Akash Levy	a55a4d461e	Infer wide operators pre elaboration (post does not work as well!)	2024-05-28 04:39:29 -07:00
Akash Levy	1cb328b879	Add Makefile fix too	2024-05-28 01:48:22 -07:00
Akash Levy	4062825a9e	Disable Liberty support, add blackbox Verilog module, and add attribute parsing into Yosys Liberty parser	2024-05-28 01:47:46 -07:00
Akash Levy	b90c20cd14	Update Verific, add opt to hierarchy pass, make opt run a bunch of Verific optimizations, update some Verific runtime flags	2024-05-27 21:56:08 -07:00
Emil J. Tywoniak	02ad56a132	docs: add todo for $demux	2024-05-27 22:39:42 +02:00
Akash Levy	a98fcbd48b	Revert Verific flags	2024-05-25 23:21:31 -07:00
Akash Levy	f0c4aa7059	Merge branch 'YosysHQ:main' into master	2024-05-25 20:21:39 -07:00
github-actions[bot]	5579685673	Bump version	2024-05-25 00:16:20 +00:00
Amiot Noe	c7580eb18e	cxxrtl: Prevent wires with input or output ports from being aliased	2024-05-24 23:26:16 +01:00
Miodrag Milanović	56c843959f	Merge pull request #4412 from YosysHQ/krys/skippable_nix ... ci: Skip duplicate actions on nix build	2024-05-24 14:39:49 +02:00
Miodrag Milanović	98ab829c1e	Merge pull request #4409 from marysaka/fix-abc-external-doc ... Only build yosys-abc usage docs when ABCEXTERNAL is not set	2024-05-24 14:38:42 +02:00
Akash Levy	60ce37c2bd	Don't reenable verific, move to c_cpp_properties.json in .vscode	2024-05-24 01:49:54 -07:00
Akash Levy	22bdf4035a	Verific to handle all RAMs	2024-05-24 01:08:37 -07:00
Akash Levy	30ed617fd2	Update verific compile flags	2024-05-24 00:28:35 -07:00
Akash Levy	6300c491ea	Update Yosys runtime flags for Verific to remove multi-port memory support	2024-05-24 00:26:37 -07:00
Akash Levy	66eabb1d2c	Define SYNTH and OVL_SVA by default	2024-05-23 21:05:57 -07:00
Akash Levy	4e39064b88	Remove annoying neg thing	2024-05-23 21:05:45 -07:00
Krystine Sherwin	d135c0bf87	extra-builds.yml: Fix indentation	2024-05-24 09:41:31 +12:00
Krystine Sherwin	1aae0bcd40	ci: Move nix build to extra-builds.yml ... Skip duplicate actions on nix build.	2024-05-24 09:09:48 +12:00