Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								1c81ab49e7
								
							
						 | 
						
							
							
								
								small changes in presentation
							
							
							
							
							
						 | 
						
							2014-07-02 06:16:31 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								d26561cc44
								
							
						 | 
						
							
							
								
								Tiny fix in presentation
							
							
							
							
							
						 | 
						
							2014-06-29 09:27:03 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3a3f5d5923
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-06-29 09:14:49 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3e96ce8680
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-06-26 22:05:39 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a7aea17959
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-06-22 12:50:29 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								072604f30f
								
							
						 | 
						
							
							
								
								fixed typo
							
							
							
							
							
						 | 
						
							2014-06-21 21:13:18 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b18fa95d2f
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-06-21 16:33:33 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								1a487303a0
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-06-14 16:45:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								51a615b26d
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-05-06 14:42:04 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Anthony J. Bentley
								
							 
						 | 
						
							
							
							
							
								
							
							
								154c9f8b51
								
							
						 | 
						
							
							
								
								Typos and grammar fixes through chapter 4.
							
							
							
							
							
						 | 
						
							2014-05-02 03:08:40 -06:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Anthony J. Bentley
								
							 
						 | 
						
							
							
							
							
								
							
							
								9c1e578afe
								
							
						 | 
						
							
							
								
								Typos and grammar fixes through chapter 2.
							
							
							
							
							
						 | 
						
							2014-04-11 02:42:59 -06:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Anthony J. Bentley
								
							 
						 | 
						
							
							
							
							
								
							
							
								66a5da5edc
								
							
						 | 
						
							
							
								
								POSIX find requires a path argument.
							
							
							
							
							
						 | 
						
							2014-04-04 16:51:27 -06:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								79edcd4318
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-21 14:59:59 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								2aff7b2a47
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-21 02:13:02 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9351e4d3ca
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-20 23:44:28 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b0e84802ec
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-20 20:44:41 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								98940260e1
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-20 12:46:29 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3d9da919d8
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-18 19:51:03 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								0fbc1a59dd
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-17 09:45:04 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								37cbb1ca60
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-16 22:31:53 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								f08c71b96c
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-16 17:56:19 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								aeb36b0b8b
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-16 14:32:56 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9c29969bbc
								
							
						 | 
						
							
							
								
								Progress in presentation
							
							
							
							
							
						 | 
						
							2014-02-16 13:45:47 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								4bd2d47e45
								
							
						 | 
						
							
							
								
								Improved "make manual" and "make clean"
							
							
							
							
							
						 | 
						
							2014-02-11 12:55:58 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								fc3b3c4ec3
								
							
						 | 
						
							
							
								
								Added $slice and $concat cell types
							
							
							
							
							
						 | 
						
							2014-02-07 17:44:57 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								821156b6cf
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-06 14:01:43 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								7e9ba60df8
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-05 20:06:34 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								3b5c462273
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-05 15:06:13 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9f6364c1c4
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-05 13:12:50 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e0c867db53
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-04 23:00:48 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								03d63dd861
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-04 16:51:12 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9e938aa32a
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-04 00:57:11 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								6c3d767976
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-03 16:26:27 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a6750b3753
								
							
						 | 
						
							
							
								
								Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)
							
							
							
							
							
						 | 
						
							2014-02-03 13:01:45 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								982c9da011
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-02 22:26:26 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								6983d3f10b
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-02 17:57:14 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								0f88e28693
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-02 13:30:49 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9334c34170
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-02-02 13:06:28 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								1c8f6f21b4
								
							
						 | 
						
							
							
								
								Progress on presentation
							
							
							
							
							
						 | 
						
							2014-01-31 12:48:31 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								36a808c572
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-01-30 15:25:09 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								34b39ec28a
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-01-29 15:56:58 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								cbe77bf844
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-01-29 12:15:38 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								961b791272
								
							
						 | 
						
							
							
								
								presentation progress
							
							
							
							
							
						 | 
						
							2014-01-28 20:28:22 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								2cb47355d4
								
							
						 | 
						
							
							
								
								Renamed manual/FILES_* directories
							
							
							
							
							
						 | 
						
							2014-01-28 06:55:47 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								842ca2f011
								
							
						 | 
						
							
							
								
								Progress on presentation
							
							
							
							
							
						 | 
						
							2014-01-28 06:51:50 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a3ac6b6f47
								
							
						 | 
						
							
							
								
								Progress on presentation
							
							
							
							
							
						 | 
						
							2014-01-27 20:42:35 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								fb4c3dff33
								
							
						 | 
						
							
							
								
								Added first presentation slides
							
							
							
							
							
						 | 
						
							2014-01-27 17:08:19 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Ahmed Irfan
								
							 
						 | 
						
							
							
							
							
								
							
							
								b7adf4c7a0
								
							
						 | 
						
							
							
								
								Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
							
							
							
							
							
						 | 
						
							2014-01-20 09:58:04 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								1e67099b77
								
							
						 | 
						
							
							
								
								Added $assert cell
							
							
							
							
							
						 | 
						
							2014-01-19 14:03:40 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Ahmed Irfan
								
							 
						 | 
						
							
							
							
							
								
							
							
								06482c046b
								
							
						 | 
						
							
							
								
								Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
							
							
							
							
							
						 | 
						
							2014-01-03 10:54:54 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |