github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								46408b5da3 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-11-14 00:15:32 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								5691cd0958 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-11-08 00:15:30 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								8808da243b 
								
							 
						 
						
							
							
								
								Next dev cycle  
							
							
							
						 
						
							2023-11-07 08:47:34 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								cc31c6ebc4 
								
							 
						 
						
							
							
								
								Release version 0.35  
							
							
							
						 
						
							2023-11-07 08:45:31 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								6f1ca68712 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-11-04 00:14:46 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								a283595798 
								
							 
						 
						
							
							
								
								docs: call make resources before make all  
							
							... 
							
							
							
							Should fix the issue where `make all` in the images directory can't wildcard files that don't exist yet. 
							
						 
						
							2023-11-01 13:29:40 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								8fad77bd0f 
								
							 
						 
						
							
							
								
								Merge branch 'master' into krys/docs  
							
							... 
							
							
							
							Fix failing verific tests 
							
						 
						
							2023-11-01 13:17:51 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								8e07030fee 
								
							 
						 
						
							
							
								
								docs: update auxiliary programs  
							
							... 
							
							
							
							Now includes usage output, (hopefully) generated by the tool during the docs build process so it will always be up to date.
Included in makefile as `docs/usage` target.
Also some updates/additions to the description text, esp `yosys-filterlib` and `yosys-smtbmc`. 
							
						 
						
							2023-11-01 10:15:58 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								672375ed02 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-26 00:14:46 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								a5c04dd72e 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-17 00:15:28 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								7d30f716e8 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-14 00:14:36 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								69c252f247 
								
							 
						 
						
							
							
								
								Update abc  
							
							
							
						 
						
							2023-10-13 14:32:11 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								59fbee4009 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-12 00:13:29 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								5a7a7b319a 
								
							 
						 
						
							
							
								
								Fix make clean  
							
							
							
						 
						
							2023-10-12 05:02:33 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								ebcbb94a21 
								
							 
						 
						
							
							
								
								Fixing makefile  
							
							
							
						 
						
							2023-10-12 04:50:27 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								11b9deba9f 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-09 00:15:38 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								51e9b0882b 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-07 00:14:44 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								fc815fdb47 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-06 00:14:52 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								824fdaadf6 
								
							 
						 
						
							
							
								
								mingw build fix  
							
							
							
						 
						
							2023-10-05 09:55:53 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								b88f7fc6e8 
								
							 
						 
						
							
							
								
								Next dev cycle  
							
							
							
						 
						
							2023-10-05 09:16:05 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								4a1b559925 
								
							 
						 
						
							
							
								
								Release version 0.34  
							
							
							
						 
						
							2023-10-05 09:14:12 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								f00d6f3c12 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-04 00:15:12 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								11ffd7df40 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-10-03 00:15:18 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								b52f6cb199 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-30 00:14:39 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								ac8b31e000 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-28 00:15:01 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								076c5ceb71 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-27 00:15:07 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								934c82254d 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-22 00:14:51 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								35a05686c4 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-20 00:15:04 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								e2b613355d 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-19 00:23:00 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Tim Paine 
								
							 
						 
						
							
							
							
							
								
							
							
								9042124ba7 
								
							 
						 
						
							
							
								
								Alphabetize headers to be installed, include some missing required ones for plugins, fixes  https://github.com/chipsalliance/synlig/pull/1972   https://github.com/dau-dev/tools/issues/6  
							
							
							
						 
						
							2023-09-15 14:31:08 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								b84ed5d3ad 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-14 00:14:42 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Catherine 
								
							 
						 
						
							
							
							
							
								
							
							
								c7d7cfeaca 
								
							 
						 
						
							
							
								
								Update ABC for WASI support.  
							
							
							
						 
						
							2023-09-13 16:43:30 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Catherine 
								
							 
						 
						
							
							
							
							
								
							
							
								e9a11dd088 
								
							 
						 
						
							
							
								
								Update ABC for WASI support.  
							
							
							
						 
						
							2023-09-13 11:39:30 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								9e004426e0 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-13 00:14:55 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								bef7ffccc1 
								
							 
						 
						
							
							
								
								Update ABC to latest  
							
							
							
						 
						
							2023-09-11 16:25:58 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								41b34a1935 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-07 00:14:30 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								83b1a57eed 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-06 00:14:34 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								11a2de815a 
								
							 
						 
						
							
							
								
								Next dev cycle  
							
							
							
						 
						
							2023-09-05 08:11:03 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								2584903a06 
								
							 
						 
						
							
							
								
								Release version 0.33  
							
							
							
						 
						
							2023-09-05 08:08:51 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								b75959f1f2 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-05 00:14:21 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								73cb4977b2 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-09-02 00:14:04 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								b739213d9f 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-30 00:14:38 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								572ad341b7 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-29 00:14:35 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								2f901a8297 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-28 00:15:18 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								de54cf1a0c 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-26 00:13:58 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								6405bbab1e 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-18 00:14:07 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								cbd3ff2d3a 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-15 00:14:23 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								008b725c1d 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-13 00:15:02 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									github-actions[bot] 
								
							 
						 
						
							
							
							
							
								
							
							
								40978971f4 
								
							 
						 
						
							
							
								
								Bump version  
							
							
							
						 
						
							2023-08-12 00:13:32 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									whitequark 
								
							 
						 
						
							
							
							
							
								
							
							
								67052f62ec 
								
							 
						 
						
							
							
								
								fmt: add tests for Yosys evaluation of format expressions.  
							
							
							
						 
						
							2023-08-11 04:46:52 +02:00