| add_sub.ys | Share common tests | 2019-10-18 12:19:59 +02:00 | 
		
			
			
			
			
				| adffs.ys | Replace opt_rmdff with opt_dff. | 2020-08-07 13:21:03 +02:00 | 
		
			
			
			
			
				| counter.ys | Call equiv_opt with -multiclock and -assert | 2019-12-31 18:39:32 -08:00 | 
		
			
			
			
			
				| dffs.ys | Replace opt_rmdff with opt_dff. | 2020-08-07 13:21:03 +02:00 | 
		
			
			
			
			
				| fsm.ys | Simplify breaking tests/arch/*/fsm.ys tests | 2020-03-20 11:25:17 -07:00 | 
		
			
			
			
			
				| latches.ys | Share common tests | 2019-10-18 12:19:59 +02:00 | 
		
			
			
			
			
				| logic.ys | Share common tests | 2019-10-18 12:19:59 +02:00 | 
		
			
			
			
			
				| lutram.ys | efinix: Use memory_libmappass. | 2022-05-18 17:32:56 +02:00 | 
		
			
			
			
			
				| run-test.sh | test: restore verific handling, nicer naming | 2024-12-13 10:24:47 +01:00 | 
		
			
			
			
			
				| shifter.ys | Share common tests | 2019-10-18 12:19:59 +02:00 | 
		
			
			
			
			
				| tribuf.ys | Share common tests | 2019-10-18 12:19:59 +02:00 |