| 
								
								
									 Akash Levy | c8dff00ca6 | Smallfix | 2024-06-17 16:07:26 -07:00 |  | 
				
					
						| 
								
								
									 Akash Levy | 719bbd7523 | Improve SCC reporting | 2024-06-17 14:18:41 -07:00 |  | 
				
					
						| 
								
								
									 Akash Levy | a0c0384683 | Preserve instances | 2024-06-16 20:20:10 -07:00 |  | 
				
					
						| 
								
								
									 Akash Levy | e23e33441f | Update yosys from upstream | 2024-06-15 14:23:24 -07:00 |  | 
				
					
						| 
								
								
									 Akash Levy | fce46d2a53 | Add better Yosys/Verific name aliasing and reenable dffe opt | 2024-06-15 14:18:33 -07:00 |  | 
				
					
						| 
								
								
									 N. Engelhardt | 74a1dd99ac | Merge pull request #4444 from YosysHQ/krys/scripting_docs Document script parsing | 2024-06-14 09:53:24 +02:00 |  | 
				
					
						| 
								
								
									![github-actions[bot]](https://secure.gravatar.com/avatar/af2ab225b7c0eec44a8d0eba6b5c869a?d=identicon&s=56) github-actions[bot] | 2fd2b6538d | Bump version | 2024-06-14 00:17:13 +00:00 |  | 
				
					
						| 
								
								
									 Akash Levy | 2337d97977 | Sub1 fix | 2024-06-13 15:33:17 -07:00 |  | 
				
					
						| 
								
								
									 Asherah Connor | 62bff3a204 | cxxrtl: don't need to specify a value for "path". Callers of the deprecated method had a path already. | 2024-06-13 13:17:02 +01:00 |  | 
				
					
						| 
								
								
									 Asherah Connor | 3ed2865ac5 | cxxrtl: capi: don't use deprecated invocation. | 2024-06-13 13:17:02 +01:00 |  | 
				
					
						| 
								
								
									![github-actions[bot]](https://secure.gravatar.com/avatar/af2ab225b7c0eec44a8d0eba6b5c869a?d=identicon&s=56) github-actions[bot] | a55e8594b7 | Bump version | 2024-06-12 00:17:25 +00:00 |  | 
				
					
						| 
								
								
									 Marian Buschsieweke | 7f89a45ad7 | cxxxrtl: fix use of format specifiers in test This fix a few instances of incorrect (and non-portable) use of format
specifiers. | 2024-06-11 07:22:39 +01:00 |  | 
				
					
						| 
								
								
									 Akash Levy | ac0a9e7366 | Updates | 2024-06-10 20:52:11 -07:00 |  | 
				
					
						| 
								
								
									 Akash Levy | b9b776d211 | Update for no preservation of user nets | 2024-06-10 20:33:05 -07:00 |  | 
				
					
						| 
								
								
									 Krystine Sherwin | df4e630ac4 | Docs: Add section for script parsing Document `!` and `:`.
Add warning that semicolons need spaces. | 2024-06-11 13:17:56 +12:00 |  | 
				
					
						| 
								
								
									![github-actions[bot]](https://secure.gravatar.com/avatar/af2ab225b7c0eec44a8d0eba6b5c869a?d=identicon&s=56) github-actions[bot] | ef90458820 | Bump version | 2024-06-11 00:17:10 +00:00 |  | 
				
					
						| 
								
								
									 Martin Povišer | 960d8e3fed | Merge pull request #4440 from povik/ast-api-comment Update stale top comment in `ast.h` | 2024-06-10 18:14:05 +02:00 |  | 
				
					
						| 
								
								
									 Martin Povišer | b593f5c01c | Update the overview comment in ast.h | 2024-06-10 16:38:39 +02:00 |  | 
				
					
						| 
								
								
									 Akash Levy | d930310599 | Enable more updates | 2024-06-09 13:54:34 -07:00 |  | 
				
					
						| 
								
								
									 Catherine | 9f94ecf4ed | Merge pull request #4417 from kivikakk/cxxrtl-unused-output cxxrtl: don't emit invalid code on unconnected outputs. | 2024-06-09 21:35:42 +01:00 |  | 
				
					
						| 
								
								
									 Miodrag Milanović | 078c14f055 | Merge pull request #4434 from mikesinouye/asan Fix memory leak in verific file parsing. | 2024-06-08 11:48:05 +02:00 |  | 
				
					
						| 
								
								
									![github-actions[bot]](https://secure.gravatar.com/avatar/af2ab225b7c0eec44a8d0eba6b5c869a?d=identicon&s=56) github-actions[bot] | 82783646e5 | Bump version | 2024-06-08 00:17:45 +00:00 |  | 
				
					
						| 
								
								
									 Mike Inouye | b0ab1cf8c3 | Fix memory leak in verific file parsing. Signed-off-by: Mike Inouye <mikeinouye@google.com> | 2024-06-07 22:51:28 +00:00 |  | 
				
					
						| 
								
								
									 Jean-François Nguyen | 54d5e56745 | cxxrtl: fix debug_info()deprecation message. | 2024-06-07 20:12:53 +01:00 |  | 
				
					
						| 
								
								
									 Akash Levy | bfc35122ef | Disable broken dffe pass for now | 2024-06-07 10:50:37 -07:00 |  | 
				
					
						| 
								
								
									 Asherah Connor | e97c36d4c4 | cxxrtl: don't emit syncs for empty lhs. | 2024-06-07 14:24:27 +03:00 |  | 
				
					
						| 
								
								
									 Asherah Connor | dc69365258 | cxxrtl: failing test: unconnected blackbox outputs don't compile. | 2024-06-07 14:24:27 +03:00 |  | 
				
					
						| 
								
								
									 Akash Levy | 8499d31cf2 | Revert veri_break_loops setting | 2024-06-07 00:09:01 -07: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 |  | 
				
					
						| 
								
								
									 Miodrag Milanovic | 9b82a44d25 | Fix help message typo | 2024-06-07 08:26:59 +02:00 |  | 
				
					
						| 
								
								
									 Akash Levy | 5cc35131a8 | Merge branch 'YosysHQ:main' into master | 2024-06-06 23:02:40 -07:00 |  | 
				
					
						| 
								
								
									![github-actions[bot]](https://secure.gravatar.com/avatar/af2ab225b7c0eec44a8d0eba6b5c869a?d=identicon&s=56) 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 |  |