Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								362ef36ccd 
								
							 
						 
						
							
							
								
								Fix Travis  
							
							... 
							
							
							
							It looks like that whole "Fixing Travis's git clone" code was just
there to make the "git describe --tags" work. I simply removed both.
Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-02-22 00:15:55 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								f5d23d4c7a 
								
							 
						 
						
							
							
								
								Update Verific default path  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-01-04 14:44:35 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								4c5173045b 
								
							 
						 
						
							
							
								
								Merge pull request  #704  from webhat/feature/fix-awk  
							
							... 
							
							
							
							Using awk rather than gawk 
							
						 
						
							2018-12-16 16:31:37 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								910d94b212 
								
							 
						 
						
							
							
								
								Verific updates  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-12-06 07:21:50 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									whitequark 
								
							 
						 
						
							
							
							
							
								
							
							
								9e072ec21f 
								
							 
						 
						
							
							
								
								opt_lut: new pass, to combine LUTs for tighter packing.  
							
							
							
						 
						
							2018-12-05 16:30:37 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Daniël W. Crompton 
								
							 
						 
						
							
							
							
							
								
							
							
								c472467be9 
								
							 
						 
						
							
							
								
								Using awk rather than gawk  
							
							
							
						 
						
							2018-11-19 21:46:18 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9228f015a3 
								
							 
						 
						
							
							
								
								Update ABC to git rev 2ddc57d  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-11-13 17:22:28 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								d1372873e8 
								
							 
						 
						
							
							
								
								Update ABC to git rev 68da3cf  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-11-11 19:37:31 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								43ee1f3f62 
								
							 
						 
						
							
							
								
								Merge pull request  #696  from arjenroodselaar/verific_darwin  
							
							... 
							
							
							
							Use appropriate static libraries when building with Verific on MacOS 
							
						 
						
							2018-11-09 13:02:49 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								05d2e5d773 
								
							 
						 
						
							
							
								
								Fix "make ystests" to use correct Yosys binary  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-11-08 09:58:47 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Arjen Roodselaar 
								
							 
						 
						
							
							
							
							
								
							
							
								4e846694f7 
								
							 
						 
						
							
							
								
								Use appropriate static libraries when building with Verific on MacOS  
							
							
							
						 
						
							2018-11-07 23:18:47 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								60ecc5c70c 
								
							 
						 
						
							
							
								
								Update ABC rev to 4d56acf  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-11-06 11:10:27 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Ruben Undheim 
								
							 
						 
						
							
							
							
							
								
							
							
								d5aac2650f 
								
							 
						 
						
							
							
								
								Basic test for checking correct synthesis of SystemVerilog interfaces  
							
							
							
						 
						
							2018-10-18 22:40:53 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a25f370191 
								
							 
						 
						
							
							
								
								Update ABC to git rev 14d985a  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-10-18 12:26:53 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								22d9535a24 
								
							 
						 
						
							
							
								
								Update ABC to git rev c5b48bb  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-10-17 12:23:50 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								6e00c217ae 
								
							 
						 
						
							
							
								
								After release is before release  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-10-16 16:44:58 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								5706e90802 
								
							 
						 
						
							
							
								
								Yosys 0.8  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-10-16 16:22:16 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								c5e9034834 
								
							 
						 
						
							
							
								
								Fix Cygwin build and document needed packages  
							
							
							
						 
						
							2018-09-19 10:16:53 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								0b7a18470b 
								
							 
						 
						
							
							
								
								Add "make ystests"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-08-30 12:26:26 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ddc1761f1a 
								
							 
						 
						
							
							
								
								Add "make coverage"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-08-27 14:22:21 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9e845bd254 
								
							 
						 
						
							
							
								
								Add ENABLE_GCOV build option  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-08-27 13:27:05 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								306a010e19 
								
							 
						 
						
							
							
								
								static link flag on main executable  
							
							
							
						 
						
							2018-08-25 16:20:44 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								75d1852943 
								
							 
						 
						
							
							
								
								no -fPIC for any static build  
							
							
							
						 
						
							2018-08-18 19:17:02 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								443865ab87 
								
							 
						 
						
							
							
								
								respect DISABLE_ABC_THREADS if used  
							
							
							
						 
						
							2018-08-18 18:21:28 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								45740236b6 
								
							 
						 
						
							
							
								
								Enable propagating ARCHFLAGS  
							
							
							
						 
						
							2018-08-18 15:11:58 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								539053ab68 
								
							 
						 
						
							
							
								
								Added option to disable -fPIC on unsupported platforms  
							
							
							
						 
						
							2018-08-18 14:14:17 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								3e20788c24 
								
							 
						 
						
							
							
								
								Added gcc-static for easier cross compilation  
							
							
							
						 
						
							2018-08-18 14:00:55 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								a5136c768b 
								
							 
						 
						
							
							
								
								Changes for MXE configuration in order to compile  
							
							
							
						 
						
							2018-08-15 19:08:45 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								ed32760d4a 
								
							 
						 
						
							
							
								
								Merge pull request  #573  from cr1901/msys-64  
							
							... 
							
							
							
							Add support for 64-bit builds using msys2 environment, use msys-provided `libpthread`. 
							
						 
						
							2018-08-15 14:20:10 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								b50fe1e3e9 
								
							 
						 
						
							
							
								
								Upodate ABC to git rev ae6716b  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-07-22 14:35:32 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ab700ef215 
								
							 
						 
						
							
							
								
								Add missing -lz to MXE build  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-07-22 14:28:45 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									William D. Jones 
								
							 
						 
						
							
							
							
							
								
							
							
								7e5801beed 
								
							 
						 
						
							
							
								
								Add support for 64-bit builds using msys2 environment.  
							
							
							
						 
						
							2018-06-27 16:36:18 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									William D. Jones 
								
							 
						 
						
							
							
							
							
								
							
							
								ee7164b879 
								
							 
						 
						
							
							
								
								Use msys2-provided pthreads instead of abc's.  
							
							
							
						 
						
							2018-06-27 16:26:36 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Serge Bazanski 
								
							 
						 
						
							
							
							
							
								
							
							
								53e9a1549c 
								
							 
						 
						
							
							
								
								Add Protobuf backend  
							
							... 
							
							
							
							Signed-off-by: Serge Bazanski <q3k@symbioticeda.com> 
							
						 
						
							2018-06-19 13:34:56 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a77e27ab15 
								
							 
						 
						
							
							
								
								Update ABC to git rev 6df1396  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-30 13:10:10 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								bea71e71ca 
								
							 
						 
						
							
							
								
								Force abc to align memory to 8 bytes  
							
							... 
							
							
							
							Apparently abc has a memory pool implementation that by default returns
memory that is unaligned. There is a workaround in the abc makefile that
uses uname to look for "arm" specifically and then sets the alignment.
However, ARM is not the only platform that requires proper alignment
(e.g. emscripten does too). For now, pessimistically force the alignment
for 8 bytes all the time (somehow 4 wasn't enough for fixing emscripten
despite being approximately a 32-bit platform). 
							
						 
						
							2018-05-18 22:53:52 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								d9ef793430 
								
							 
						 
						
							
							
								
								Force abc to be linked statically and without threads in emscripten  
							
							
							
						 
						
							2018-05-18 22:53:47 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								93f79299a5 
								
							 
						 
						
							
							
								
								Add options to disable abc's usage of pthreads and readline  
							
							
							
						 
						
							2018-05-18 22:42:24 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								bfce3a7479 
								
							 
						 
						
							
							
								
								Add an option to statically link abc into yosys  
							
							... 
							
							
							
							This is currently incomplete because the output filter no longer works. 
							
						 
						
							2018-05-18 22:35:28 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								1b210dbfb7 
								
							 
						 
						
							
							
								
								Makefile: Make abc always use stdint.h  
							
							
							
						 
						
							2018-05-18 22:26:29 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ae33026799 
								
							 
						 
						
							
							
								
								Use $(OS) in makefile to check for Darwin  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-13 13:29:18 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Johnny Sorocil 
								
							 
						 
						
							
							
							
							
								
							
							
								74f2787b10 
								
							 
						 
						
							
							
								
								Enable building on FreeBSD  
							
							
							
						 
						
							2018-05-06 15:19:44 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ea3ff6f59c 
								
							 
						 
						
							
							
								
								Update ABC to git rev f23ea8e  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-04-30 19:50:34 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								2f0ecff71c 
								
							 
						 
						
							
							
								
								Improve Makefile error handling for when abc/ is a hg working copy  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-04-12 14:02:57 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								6f681c4f82 
								
							 
						 
						
							
							
								
								Fix build for new ABC location on github, also update ABC to a2d59be  
							
							
							
						 
						
							2018-03-27 00:39:01 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a15208f301 
								
							 
						 
						
							
							
								
								Use Verific hier_tree component for elaboration  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-08 13:26:33 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								6f26695d9b 
								
							 
						 
						
							
							
								
								Add -lz for verific builds  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-02-27 12:15:42 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									William D. Jones 
								
							 
						 
						
							
							
							
							
								
							
							
								b0b08da5cb 
								
							 
						 
						
							
							
								
								Improve msys2 flags for building abc.  
							
							
							
						 
						
							2018-02-19 12:54:34 -05:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								c1abd3b02c 
								
							 
						 
						
							
							
								
								Fixed yosys-config for binary distributions with Verific  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-02-13 15:22:50 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								82c436587c 
								
							 
						 
						
							
							
								
								Do not create deep backtraces unless in ENABLE_DEBUG mode  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-02-03 15:04:39 +01:00