| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									aiger
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									alumacc
									
								
							
						
					
				 | 
				
					
						
							
							macc_v2: Add test
						
					
				 | 
				2025-01-27 13:19:26 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									arch
									
								
							
						
					
				 | 
				
					
						
							
							Merge pull request #5241 from Anhijkt/opt_dff-simplify-pt
						
					
				 | 
				2025-08-04 09:44:57 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									asicworld
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									bind
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									blif
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									bram
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									bugpoint
									
								
							
						
					
				 | 
				
					
						
							
							raise_error: Extra test
						
					
				 | 
				2025-08-02 14:54:32 +12:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									cxxrtl
									
								
							
						
					
				 | 
				
					
						
							
							Reinstate #4768
						
					
				 | 
				2025-04-08 11:58:05 +12:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									errors
									
								
							
						
					
				 | 
				
					
						
							
							Rename the generic "Syntax error" message from the Verilog/SystemVerilog parser into unique,
						
					
				 | 
				2018-10-25 02:37:56 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									fmt
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									fsm
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									functional
									
								
							
						
					
				 | 
				
					
						
							
							functional tests: run from make tests but not smtlib/rkt tests
						
					
				 | 
				2024-09-04 10:30:08 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									hana
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									liberty
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									lut
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memfile
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memlib
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memories
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt_share
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									peepopt
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									proc
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									realmath
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									rpc
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									select
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									share
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sim
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									simple
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									simple_abc9
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									smv
									
								
							
						
					
				 | 
				
					
						
							
							Remove references to ilang
						
					
				 | 
				2024-11-05 12:36:31 +13:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sva
									
								
							
						
					
				 | 
				
					
						
							
							tests/sva: Skip sva tests that use SBY until SBY is compatible again
						
					
				 | 
				2024-03-05 14:37:33 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									svinterfaces
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									svtypes
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tools
									
								
							
						
					
				 | 
				
					
						
							
							support file locations containing spaces
						
					
				 | 
				2022-08-08 20:30:50 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									unit
									
								
							
						
					
				 | 
				
					
						
							
							Making stringf() use the format conversion specs as-is without widening them.
						
					
				 | 
				2025-07-31 10:54:56 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									various
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									verific
									
								
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									verilog
									
								
							
						
					
				 | 
				
					
						
							
							add newline - whitespace
						
					
				 | 
				2025-08-06 19:00:11 -04:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									vloghtb
									
								
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									xprop
									
								
							
						
					
				 | 
				
					
						
							
							tests: Comment on A[0]
						
					
				 | 
				2024-02-16 11:43:28 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								.gitignore
							
						
					
				 | 
				
					
						
							
							Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.
						
					
				 | 
				2025-07-22 10:38:38 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								gen-tests-makefile.sh
							
						
					
				 | 
				
					
						
							
							Update gen-tests-makefile.sh
						
					
				 | 
				2025-03-27 10:33:51 +13:00 |