Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								de4f4dad3c
								
							
						 | 
						
							
							
								
								Fixed "avail_parameters" handling in module clone/copy
							
							
							
							
							
						 | 
						
							2015-06-08 14:49:34 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								98650a0609
								
							
						 | 
						
							
							
								
								Added log_dump() support for IdStrings
							
							
							
							
							
						 | 
						
							2015-06-08 14:49:02 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								2cc4e75914
								
							
						 | 
						
							
							
								
								Added read_blif command
							
							
							
							
							
						 | 
						
							2015-05-17 15:25:03 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								61512b6f41
								
							
						 | 
						
							
							
								
								Verific build fixes
							
							
							
							
							
						 | 
						
							2015-05-17 08:19:52 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								f483dce7c2
								
							
						 | 
						
							
							
								
								Added $eq/$neq -> $logic_not/$reduce_bool optimization
							
							
							
							
							
						 | 
						
							2015-04-29 07:28:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								49859393bb
								
							
						 | 
						
							
							
								
								Improved attributes API and handling of "src" attributes
							
							
							
							
							
						 | 
						
							2015-04-24 22:04:05 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								cfdc9fc50e
								
							
						 | 
						
							
							
								
								A "#" does start a comment, not a label.
							
							
							
							
							
						 | 
						
							2015-04-16 18:13:41 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								44519d4399
								
							
						 | 
						
							
							
								
								Added back-end auto-detect for .edif and .json
							
							
							
							
							
						 | 
						
							2015-04-09 15:37:54 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								25781e329b
								
							
						 | 
						
							
							
								
								Fixed const2big performance bug
							
							
							
							
							
						 | 
						
							2015-04-09 13:20:19 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								21a1cc1b60
								
							
						 | 
						
							
							
								
								Added support for "file names with blanks"
							
							
							
							
							
						 | 
						
							2015-04-08 12:14:34 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								aae5f2ca08
								
							
						 | 
						
							
							
								
								Added hashlib support for std::tuple<>
							
							
							
							
							
						 | 
						
							2015-04-07 17:23:30 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b31e77fd06
								
							
						 | 
						
							
							
								
								Added pool<K>::pop()
							
							
							
							
							
						 | 
						
							2015-04-07 15:07:01 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								169d1c4711
								
							
						 | 
						
							
							
								
								Added support for initialized brams
							
							
							
							
							
						 | 
						
							2015-04-06 17:06:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a1c62b79d5
								
							
						 | 
						
							
							
								
								Avoid parameter values with size 0 ($mem cells)
							
							
							
							
							
						 | 
						
							2015-04-05 18:04:19 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								706631225e
								
							
						 | 
						
							
							
								
								Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
							
							
							
							
							
						 | 
						
							2015-04-05 09:45:14 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								c52a4cdeed
								
							
						 | 
						
							
							
								
								Added "dffinit", Support for initialized Xilinx DFF
							
							
							
							
							
						 | 
						
							2015-04-04 19:00:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								68bbb15214
								
							
						 | 
						
							
							
								
								Fixed detection of absolute paths in ABC for win32
							
							
							
							
							
						 | 
						
							2015-03-22 11:03:56 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b005eedf36
								
							
						 | 
						
							
							
								
								Added $assume cell type
							
							
							
							
							
						 | 
						
							2015-02-26 18:04:10 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9ae21263f0
								
							
						 | 
						
							
							
								
								Some cleanups in "clean"
							
							
							
							
							
						 | 
						
							2015-02-24 22:31:30 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								4e6ca7760f
								
							
						 | 
						
							
							
								
								Replaced ezDefaultSAT with ezSatPtr
							
							
							
							
							
						 | 
						
							2015-02-21 12:15:41 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e0e6d130cd
								
							
						 | 
						
							
							
								
								YosysJS stuff
							
							
							
							
							
						 | 
						
							2015-02-19 13:36:54 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								f41378af8c
								
							
						 | 
						
							
							
								
								Fixed clang (svn trunk) warnings
							
							
							
							
							
						 | 
						
							2015-02-18 14:54:22 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3e5e9a3889
								
							
						 | 
						
							
							
								
								More YosysJS stuff
							
							
							
							
							
						 | 
						
							2015-02-16 13:23:54 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								33e80b96c7
								
							
						 | 
						
							
							
								
								Added YosysJS wrapper
							
							
							
							
							
						 | 
						
							2015-02-16 12:41:48 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								8d45f81046
								
							
						 | 
						
							
							
								
								More emcc stuff
							
							
							
							
							
						 | 
						
							2015-02-15 17:15:29 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3216f9420e
								
							
						 | 
						
							
							
								
								More emscripten stuff, Added example app
							
							
							
							
							
						 | 
						
							2015-02-15 12:09:30 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								dcf2e24240
								
							
						 | 
						
							
							
								
								Added $meminit support to "memory" command
							
							
							
							
							
						 | 
						
							2015-02-14 12:55:03 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								910556560f
								
							
						 | 
						
							
							
								
								Added $meminit cell type
							
							
							
							
							
						 | 
						
							2015-02-14 10:23:03 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								adf4ecbc1f
								
							
						 | 
						
							
							
								
								Some hashlib improvements
							
							
							
							
							
						 | 
						
							2015-02-09 20:11:51 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a779a09771
								
							
						 | 
						
							
							
								
								Fixed creation of command reference in manual
							
							
							
							
							
						 | 
						
							2015-02-09 13:24:29 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								bcd8a2fc56
								
							
						 | 
						
							
							
								
								Fixed eval_select_op() api
							
							
							
							
							
						 | 
						
							2015-02-08 19:06:16 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								09ee65a050
								
							
						 | 
						
							
							
								
								Added eval_select_args() and eval_select_op()
							
							
							
							
							
						 | 
						
							2015-02-08 18:56:06 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								6d2f31c04a
								
							
						 | 
						
							
							
								
								Various ModIndex improvements
							
							
							
							
							
						 | 
						
							2015-02-08 14:23:12 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								05d4223fb6
								
							
						 | 
						
							
							
								
								Added SigSpec::has_const()
							
							
							
							
							
						 | 
						
							2015-02-08 00:01:51 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								dce1fae777
								
							
						 | 
						
							
							
								
								Added cell->known(), cell->input(portname), cell->output(portname)
							
							
							
							
							
						 | 
						
							2015-02-07 11:40:19 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								5b41470e15
								
							
						 | 
						
							
							
								
								Skip blackbox modules in design->selected_modules()
							
							
							
							
							
						 | 
						
							2015-02-03 23:12:23 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								8514fe79db
								
							
						 | 
						
							
							
								
								Added "yosys -L logfile"
							
							
							
							
							
						 | 
						
							2015-02-03 23:12:23 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								1df81f92ce
								
							
						 | 
						
							
							
								
								Added "make mklibyosys", some minor API changes
							
							
							
							
							
						 | 
						
							2015-02-01 13:38:46 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9948ff2d8a
								
							
						 | 
						
							
							
								
								Added yosys_banner(), Updated Copyright range
							
							
							
							
							
						 | 
						
							2015-02-01 00:39:59 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								07326943e7
								
							
						 | 
						
							
							
								
								Added <algorithm> include to hashlib.h
							
							
							
							
							
						 | 
						
							2015-02-01 00:27:07 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								67218443be
								
							
						 | 
						
							
							
								
								Log msg change
							
							
							
							
							
						 | 
						
							2015-01-31 21:26:53 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								bc86b4a7e9
								
							
						 | 
						
							
							
								
								Added "equiv_induct -undef"
							
							
							
							
							
						 | 
						
							2015-01-31 13:58:04 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e9cfc4a453
								
							
						 | 
						
							
							
								
								Added "equiv_simple -undef"
							
							
							
							
							
						 | 
						
							2015-01-31 13:06:41 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								f80f5b721d
								
							
						 | 
						
							
							
								
								Added "equiv_make -blacklist <file> -encfile <file>"
							
							
							
							
							
						 | 
						
							2015-01-31 12:08:20 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								cb9d0a414d
								
							
						 | 
						
							
							
								
								Synced RTLIL::unescape_id() to log_id() behavior
							
							
							
							
							
						 | 
						
							2015-01-30 22:51:16 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								aabd5097ed
								
							
						 | 
						
							
							
								
								More log_id() stuff
							
							
							
							
							
						 | 
						
							2015-01-30 22:22:52 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								114a78d11a
								
							
						 | 
						
							
							
								
								Some cleanups in log.cc
							
							
							
							
							
						 | 
						
							2015-01-30 22:12:26 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								13b50bacfe
								
							
						 | 
						
							
							
								
								Rethrow with "catch(...) throw;"
							
							
							
							
							
						 | 
						
							2015-01-25 22:57:09 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								2a9ad48eb6
								
							
						 | 
						
							
							
								
								Added ENABLE_NDEBUG makefile options
							
							
							
							
							
						 | 
						
							2015-01-24 12:16:46 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								8fe9ab50e5
								
							
						 | 
						
							
							
								
								Added #ifdef NDEBUG for log_assert()
							
							
							
							
							
						 | 
						
							2015-01-24 11:49:34 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |