mirror of
				https://github.com/KevinMidboe/linguist.git
				synced 2025-10-29 17:50:22 +00:00 
			
		
		
		
	Refine definition of KiCad (#3743)
* Refine definition of KiCad language * Add ".sch" as a registered Scheme extension * Add more meaningful samples from real repositories
This commit is contained in:
		| @@ -2149,15 +2149,37 @@ KRL: | ||||
|   tm_scope: none | ||||
|   ace_mode: text | ||||
|   language_id: 186 | ||||
| KiCad: | ||||
|   type: programming | ||||
| KiCad Board: | ||||
|   type: data | ||||
|   extensions: | ||||
|   - ".brd" | ||||
|   tm_scope: source.pcb.board | ||||
|   ace_mode: text | ||||
|   language_id: 140848857 | ||||
| KiCad Layout: | ||||
|   type: data | ||||
|   aliases: | ||||
|   - pcbnew | ||||
|   extensions: | ||||
|   - ".kicad_pcb" | ||||
|   - ".kicad_mod" | ||||
|   - ".kicad_wks" | ||||
|   filenames: | ||||
|   - fp-lib-table | ||||
|   tm_scope: source.pcb.sexp | ||||
|   ace_mode: lisp | ||||
|   codemirror_mode: commonlisp | ||||
|   codemirror_mime_type: text/x-common-lisp | ||||
|   language_id: 187 | ||||
| KiCad Schematic: | ||||
|   type: data | ||||
|   aliases: | ||||
|   - eeschema schematic | ||||
|   extensions: | ||||
|   - ".sch" | ||||
|   - ".brd" | ||||
|   - ".kicad_pcb" | ||||
|   tm_scope: none | ||||
|   tm_scope: source.pcb.schematic | ||||
|   ace_mode: text | ||||
|   language_id: 187 | ||||
|   language_id: 622447435 | ||||
| Kit: | ||||
|   type: markup | ||||
|   ace_mode: html | ||||
| @@ -4094,6 +4116,7 @@ Scheme: | ||||
|   color: "#1e4aec" | ||||
|   extensions: | ||||
|   - ".scm" | ||||
|   - ".sch" | ||||
|   - ".sld" | ||||
|   - ".sls" | ||||
|   - ".sps" | ||||
|   | ||||
							
								
								
									
										62
									
								
								samples/INI/ultimate-temp-controller.pro
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										62
									
								
								samples/INI/ultimate-temp-controller.pro
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,62 @@ | ||||
| update=22/05/2015 07:44:53 | ||||
| version=1 | ||||
| last_client=kicad | ||||
| [general] | ||||
| version=1 | ||||
| RootSch= | ||||
| BoardNm= | ||||
| [pcbnew] | ||||
| version=1 | ||||
| LastNetListRead= | ||||
| UseCmpFile=1 | ||||
| PadDrill=0.600000000000 | ||||
| PadDrillOvalY=0.600000000000 | ||||
| PadSizeH=1.500000000000 | ||||
| PadSizeV=1.500000000000 | ||||
| PcbTextSizeV=1.500000000000 | ||||
| PcbTextSizeH=1.500000000000 | ||||
| PcbTextThickness=0.300000000000 | ||||
| ModuleTextSizeV=1.000000000000 | ||||
| ModuleTextSizeH=1.000000000000 | ||||
| ModuleTextSizeThickness=0.150000000000 | ||||
| SolderMaskClearance=0.000000000000 | ||||
| SolderMaskMinWidth=0.000000000000 | ||||
| DrawSegmentWidth=0.200000000000 | ||||
| BoardOutlineThickness=0.100000000000 | ||||
| ModuleOutlineThickness=0.150000000000 | ||||
| [cvpcb] | ||||
| version=1 | ||||
| NetIExt=net | ||||
| [eeschema] | ||||
| version=1 | ||||
| LibDir= | ||||
| [eeschema/libraries] | ||||
| LibName1=power | ||||
| LibName2=device | ||||
| LibName3=transistors | ||||
| LibName4=conn | ||||
| LibName5=linear | ||||
| LibName6=regul | ||||
| LibName7=74xx | ||||
| LibName8=cmos4000 | ||||
| LibName9=adc-dac | ||||
| LibName10=memory | ||||
| LibName11=xilinx | ||||
| LibName12=microcontrollers | ||||
| LibName13=dsp | ||||
| LibName14=microchip | ||||
| LibName15=analog_switches | ||||
| LibName16=motorola | ||||
| LibName17=texas | ||||
| LibName18=intel | ||||
| LibName19=audio | ||||
| LibName20=interface | ||||
| LibName21=digital-audio | ||||
| LibName22=philips | ||||
| LibName23=display | ||||
| LibName24=cypress | ||||
| LibName25=siliconi | ||||
| LibName26=opto | ||||
| LibName27=atmel | ||||
| LibName28=contrib | ||||
| LibName29=valves | ||||
							
								
								
									
										23
									
								
								samples/KiCad Layout/C_Disc_D3_P2.5.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										23
									
								
								samples/KiCad Layout/C_Disc_D3_P2.5.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,23 @@ | ||||
| (module footprints:C_Disc_D3_P2.5 (layer F.Cu) (tedit 0) | ||||
|   (descr "Capacitor 3mm Disc, Pitch 2.5mm") | ||||
|   (tags Capacitor) | ||||
|   (fp_text reference C1 (at 1.25 -2.5) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value C_100nF (at 1.25 2.5) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -0.9 -1.5) (end 3.4 -1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 3.4 -1.5) (end 3.4 1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 3.4 1.5) (end -0.9 1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -0.9 1.5) (end -0.9 -1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -0.25 -1.25) (end 2.75 -1.25) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 2.75 1.25) (end -0.25 1.25) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole rect (at 0 0) (size 1.3 1.3) (drill 0.8) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole circle (at 2.5 0) (size 1.3 1.3) (drill 0.8001) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model Capacitors_ThroughHole.3dshapes/C_Disc_D3_P2.5.wrl | ||||
|     (at (xyz 0.0492126 0 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 0)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										344
									
								
								samples/KiCad Layout/Conn_Poncho_SinBorde.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										344
									
								
								samples/KiCad Layout/Conn_Poncho_SinBorde.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,344 @@ | ||||
| (module Conn_Poncho_SinBorde (layer F.Cu) (tedit 560F0DC0) | ||||
|   (tags "CONN Poncho") | ||||
|   (fp_text reference XA? (at -0.254 -3.175) (layer F.SilkS) | ||||
|     (effects (font (size 0.8 0.8) (thickness 0.12))) | ||||
|   ) | ||||
|   (fp_text value Conn_Poncho_SinBorde (at -1.905 51.181) (layer F.SilkS) hide | ||||
|     (effects (font (size 1.016 1.016) (thickness 0.2032))) | ||||
|   ) | ||||
|   (fp_text user GPIO8 (at -64.516 48.26) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO7 (at -64.516 45.72) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO5 (at -64.516 43.18) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO3 (at -64.516 40.64) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO1 (at -64.516 38.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD1 (at -65.024 35.56) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD2 (at -65.024 33.02) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD3 (at -65.024 30.48) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD_RS (at -64.008 27.94) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD4 (at -65.024 25.4) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user SPI_SCK (at -63.754 22.86) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user SPI_MISO (at -63.5 20.32) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user TXD1 (at -65.024 17.78) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user TXD0 (at -65.024 15.24) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user MDIO (at -65.024 12.7) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CRS_DV (at -64.008 10.16) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user MDC (at -65.278 7.62) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user TX_EN (at -64.77 5.08) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user RXD1 (at -65.024 2.54) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user +5V (at -65.532 0) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 48.006) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 45.72) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO6 (at -74.93 43.18) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.9) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO4 (at -74.93 40.64) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.9) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO2 (at -74.93 38.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.9) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GPIO0 (at -74.93 35.56) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.9) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 33.02) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 30.48) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user LCD_EN (at -74.676 27.686) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.7) (thickness 0.17))) | ||||
|   ) | ||||
|   (fp_text user SPI_MOSI (at -74.93 25.146) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.7) (thickness 0.17))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 22.86) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 20.32) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user REF_CLK (at -74.93 17.78) (layer F.SilkS) | ||||
|     (effects (font (size 0.9 0.7) (thickness 0.175))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 15.24) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 12.7) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 7.62) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user RXD0 (at -74.676 10.16) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 5.08) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at -74.168 2.54) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user +3.3V (at -74.93 0) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 48.26) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 45.72) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_F1 (at 5.588 43.18) (layer F.SilkS) | ||||
|     (effects (font (size 0.9 0.9) (thickness 0.18))) | ||||
|   ) | ||||
|   (fp_text user T_C2 (at 5.588 40.64) (layer F.SilkS) | ||||
|     (effects (font (size 0.9 0.9) (thickness 0.18))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 38.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.334 35.56) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 33.02) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 30.48) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 27.94) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 25.4) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 22.86) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 20.32) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 17.78) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 15.24) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 12.7) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 10.16) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at 5.588 7.62) (layer F.SilkS) | ||||
|     (effects (font (size 0.76 0.76) (thickness 0.19))) | ||||
|   ) | ||||
|   (fp_text user WAKEUP (at 5.588 5.334) (layer F.SilkS) | ||||
|     (effects (font (size 1 0.5) (thickness 0.125))) | ||||
|   ) | ||||
|   (fp_text user GND (at 5.588 3.048) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user +5V (at 5.588 0) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_COL0 (at -4.064 48.26) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_FIL2 (at -3.81 45.72) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_FIL3 (at -3.81 43.18) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_FIL0 (at -3.81 40.64) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user T_COL1 (at -4.064 38.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CAN_TD (at -4.318 35.56) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CAN_RD (at -4.318 33.02) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user 232_TX (at -4.318 30.48) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user 232_RX (at -4.318 27.94) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user I2C_SCL (at -4.572 25.4) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user I2C_SDA (at -4.572 22.86) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user VDDA (at -3.302 20.32) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user DAC (at -3.048 17.78) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CH1 (at -3.048 15.24) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CH2 (at -3.048 12.7) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CH3 (at -3.048 10.16) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user GNDA (at -3.556 7.62) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user ISP (at -2.794 5.08) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user RESET (at -3.81 2.54) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_text user CIAA-P2 (at -69.85 -2.032) (layer F.SilkS) | ||||
|     (effects (font (size 0.8 0.8) (thickness 0.12))) | ||||
|   ) | ||||
|   (fp_text user CIAA-P1 (at 1.27 -2.032) (layer F.SilkS) | ||||
|     (effects (font (size 0.8 0.8) (thickness 0.12))) | ||||
|   ) | ||||
|   (fp_text user +3.3V (at -3.81 0) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.2))) | ||||
|   ) | ||||
|   (fp_line (start -72.39 0) (end -72.39 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -72.39 -1.27) (end -67.31 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -67.31 -1.27) (end -67.31 49.53) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -67.31 49.53) (end -72.39 49.53) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -72.39 49.53) (end -72.39 0) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.27 49.53) (end -1.27 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 49.53) (end 3.81 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 49.53) (end -1.27 49.53) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 -1.27) (end -1.27 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole rect (at 0 0 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole oval (at 2.54 0 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 11 thru_hole oval (at 0 12.7 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 4 thru_hole oval (at 2.54 2.54 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 13 thru_hole oval (at 0 15.24 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 6 thru_hole oval (at 2.54 5.08 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 15 thru_hole oval (at 0 17.78 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 8 thru_hole oval (at 2.54 7.62 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 17 thru_hole oval (at 0 20.32 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 10 thru_hole oval (at 2.54 10.16 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 19 thru_hole oval (at 0 22.86 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 12 thru_hole oval (at 2.54 12.7 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 21 thru_hole oval (at 0 25.4 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 14 thru_hole oval (at 2.54 15.24 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 23 thru_hole oval (at 0 27.94 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 16 thru_hole oval (at 2.54 17.78 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 25 thru_hole oval (at 0 30.48 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 18 thru_hole oval (at 2.54 20.32 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 27 thru_hole oval (at 0 33.02 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 20 thru_hole oval (at 2.54 22.86 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 29 thru_hole oval (at 0 35.56 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 22 thru_hole oval (at 2.54 25.4 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 31 thru_hole oval (at 0 38.1 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 24 thru_hole oval (at 2.54 27.94 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 26 thru_hole oval (at 2.54 30.48 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 33 thru_hole oval (at 0 40.64 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 28 thru_hole oval (at 2.54 33.02 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 32 thru_hole oval (at 2.54 38.1 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 34 thru_hole oval (at 2.54 40.64 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 36 thru_hole oval (at 2.54 43.18 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 38 thru_hole oval (at 2.54 45.72 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 35 thru_hole oval (at 0 43.18 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 37 thru_hole oval (at 0 45.72 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 3 thru_hole oval (at 0 2.54 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 5 thru_hole oval (at 0 5.08 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 7 thru_hole oval (at 0 7.62 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 9 thru_hole oval (at 0 10.16 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 39 thru_hole oval (at 0 48.26 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 40 thru_hole oval (at 2.54 48.26 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 30 thru_hole oval (at 2.54 35.56 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 41 thru_hole rect (at -71.12 0 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 42 thru_hole oval (at -68.58 0 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 43 thru_hole oval (at -71.12 2.54 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 44 thru_hole oval (at -68.58 2.54 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 45 thru_hole oval (at -71.12 5.08 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 46 thru_hole oval (at -68.58 5.08 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 47 thru_hole oval (at -71.12 7.62 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 48 thru_hole oval (at -68.58 7.62 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 49 thru_hole oval (at -71.12 10.16 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 50 thru_hole oval (at -68.58 10.16 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 51 thru_hole oval (at -71.12 12.7 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 52 thru_hole oval (at -68.58 12.7 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 53 thru_hole oval (at -71.12 15.24 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 54 thru_hole oval (at -68.58 15.24 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 55 thru_hole oval (at -71.12 17.78 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 56 thru_hole oval (at -68.58 17.78 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 57 thru_hole oval (at -71.12 20.32 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 58 thru_hole oval (at -68.58 20.32 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 59 thru_hole oval (at -71.12 22.86 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 60 thru_hole oval (at -68.58 22.86 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 61 thru_hole oval (at -71.12 25.4 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 62 thru_hole oval (at -68.58 25.4 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 63 thru_hole oval (at -71.12 27.94 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 64 thru_hole oval (at -68.58 27.94 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 65 thru_hole oval (at -71.12 30.48 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 66 thru_hole oval (at -68.58 30.48 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 67 thru_hole oval (at -71.12 33.02 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 68 thru_hole oval (at -68.58 33.02 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 69 thru_hole oval (at -71.12 35.56 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 70 thru_hole oval (at -68.58 35.56 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 71 thru_hole oval (at -71.12 38.1 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 72 thru_hole oval (at -68.58 38.1 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 73 thru_hole oval (at -71.12 40.64 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 74 thru_hole oval (at -68.58 40.64 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 75 thru_hole oval (at -71.12 43.18 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 76 thru_hole oval (at -68.58 43.18 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 77 thru_hole oval (at -71.12 45.72 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 78 thru_hole oval (at -68.58 45.72 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 79 thru_hole oval (at -71.12 48.26 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 80 thru_hole oval (at -68.58 48.26 270) (size 1.524 2) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
| ) | ||||
							
								
								
									
										11
									
								
								samples/KiCad Layout/Fiducial_1mm.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										11
									
								
								samples/KiCad Layout/Fiducial_1mm.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,11 @@ | ||||
| (module footprints:Fiducial_1mm (layer F.Cu) (tedit 573E1507) | ||||
|   (clearance 1.524) | ||||
|   (fp_text reference F3 (at 0.02 -0.9) (layer F.SilkS) hide | ||||
|     (effects (font (size 0.7112 0.4572) (thickness 0.1143))) | ||||
|   ) | ||||
|   (fp_text value FIDUCIAL (at 0 0.99) (layer F.SilkS) hide | ||||
|     (effects (font (size 0.254 0.254) (thickness 0.00254))) | ||||
|   ) | ||||
|   (pad 1 smd circle (at 0 0) (size 1 1) (layers F.Cu F.Mask) | ||||
|     (solder_mask_margin 1.5)) | ||||
| ) | ||||
							
								
								
									
										25
									
								
								samples/KiCad Layout/LED-5MM.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										25
									
								
								samples/KiCad Layout/LED-5MM.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,25 @@ | ||||
| (module footprints:LED-5MM (layer F.Cu) (tedit 5570F7EA) | ||||
|   (descr "LED 5mm round vertical") | ||||
|   (tags "LED 5mm round vertical") | ||||
|   (fp_text reference D4 (at 1.524 4.064) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value LED (at 1.524 -3.937) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -1.5 -1.55) (end -1.5 1.55) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_arc (start 1.3 0) (end -1.5 1.55) (angle -302) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_arc (start 1.27 0) (end -1.23 -1.5) (angle 297.5) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.23 1.5) (end -1.23 -1.5) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_circle (center 1.27 0) (end 0.97 -2.5) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_text user K (at -1.905 1.905) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (pad 1 thru_hole rect (at 0 0 90) (size 2 1.9) (drill 1.00076) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole circle (at 2.54 0) (size 1.9 1.9) (drill 1.00076) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model LEDs.3dshapes/LED-5MM.wrl | ||||
|     (at (xyz 0.05 0 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 90)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										78
									
								
								samples/KiCad Layout/Logo_OSHWA.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										78
									
								
								samples/KiCad Layout/Logo_OSHWA.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,78 @@ | ||||
| (module footprints:Logo_OSHWA (layer F.Cu) (tedit 560D8B85) | ||||
|   (fp_text reference G101 (at 0 4.2418) (layer F.SilkS) hide | ||||
|     (effects (font (size 0.7112 0.4572) (thickness 0.1143))) | ||||
|   ) | ||||
|   (fp_text value Logo_OSHWA (at 0 -4.2418) (layer F.SilkS) hide | ||||
|     (effects (font (size 0.36322 0.36322) (thickness 0.07112))) | ||||
|   ) | ||||
|   (fp_poly (pts (xy -2.42316 3.59156) (xy -2.38252 3.57124) (xy -2.28854 3.51282) (xy -2.15392 3.42392) | ||||
|     (xy -1.99644 3.31978) (xy -1.83896 3.21056) (xy -1.70942 3.1242) (xy -1.61798 3.06578) | ||||
|     (xy -1.57988 3.04546) (xy -1.55956 3.05054) (xy -1.48336 3.08864) (xy -1.37414 3.14452) | ||||
|     (xy -1.31064 3.17754) (xy -1.21158 3.22072) (xy -1.16078 3.23088) (xy -1.15316 3.21564) | ||||
|     (xy -1.11506 3.13944) (xy -1.05918 3.00736) (xy -0.98298 2.83464) (xy -0.89662 2.63144) | ||||
|     (xy -0.80264 2.413) (xy -0.7112 2.18948) (xy -0.6223 1.97612) (xy -0.54356 1.78562) | ||||
|     (xy -0.48006 1.63068) (xy -0.43942 1.52146) (xy -0.42418 1.47574) (xy -0.42926 1.46558) | ||||
|     (xy -0.48006 1.41732) (xy -0.56642 1.35128) (xy -0.75692 1.19634) (xy -0.94234 0.96266) | ||||
|     (xy -1.05664 0.6985) (xy -1.09474 0.40386) (xy -1.06172 0.13208) (xy -0.95504 -0.12954) | ||||
|     (xy -0.77216 -0.36576) (xy -0.55118 -0.54102) (xy -0.2921 -0.65278) (xy 0 -0.68834) | ||||
|     (xy 0.2794 -0.65786) (xy 0.5461 -0.55118) (xy 0.78232 -0.37084) (xy 0.88138 -0.25654) | ||||
|     (xy 1.01854 -0.01778) (xy 1.09728 0.23876) (xy 1.1049 0.30226) (xy 1.09474 0.5842) | ||||
|     (xy 1.01092 0.85344) (xy 0.8636 1.09474) (xy 0.65786 1.29032) (xy 0.62992 1.31064) | ||||
|     (xy 0.53594 1.38176) (xy 0.47244 1.43002) (xy 0.42164 1.47066) (xy 0.77978 2.33172) | ||||
|     (xy 0.83566 2.46888) (xy 0.93472 2.7051) (xy 1.02108 2.9083) (xy 1.08966 3.06832) | ||||
|     (xy 1.13792 3.17754) (xy 1.15824 3.22072) (xy 1.16078 3.22326) (xy 1.19126 3.22834) | ||||
|     (xy 1.2573 3.20294) (xy 1.37668 3.14452) (xy 1.45796 3.10388) (xy 1.5494 3.0607) | ||||
|     (xy 1.59004 3.04546) (xy 1.6256 3.06324) (xy 1.71196 3.12166) (xy 1.8415 3.20548) | ||||
|     (xy 1.9939 3.30962) (xy 2.14122 3.41122) (xy 2.27584 3.50012) (xy 2.3749 3.56108) | ||||
|     (xy 2.42316 3.58902) (xy 2.43078 3.58902) (xy 2.47142 3.56362) (xy 2.55016 3.50012) | ||||
|     (xy 2.667 3.38836) (xy 2.8321 3.2258) (xy 2.8575 3.2004) (xy 2.99466 3.0607) | ||||
|     (xy 3.10642 2.94386) (xy 3.18008 2.86258) (xy 3.20548 2.82448) (xy 3.20548 2.82448) | ||||
|     (xy 3.18262 2.77622) (xy 3.11912 2.6797) (xy 3.03022 2.54254) (xy 2.921 2.38252) | ||||
|     (xy 2.63652 1.9685) (xy 2.794 1.57734) (xy 2.84226 1.45796) (xy 2.90322 1.31318) | ||||
|     (xy 2.9464 1.20904) (xy 2.9718 1.16332) (xy 3.01244 1.14808) (xy 3.12166 1.12268) | ||||
|     (xy 3.2766 1.08966) (xy 3.45948 1.05664) (xy 3.63728 1.02362) (xy 3.7973 0.99314) | ||||
|     (xy 3.9116 0.97028) (xy 3.9624 0.96012) (xy 3.9751 0.9525) (xy 3.98526 0.9271) | ||||
|     (xy 3.99288 0.87376) (xy 3.99542 0.77724) (xy 3.99796 0.62484) (xy 3.99796 0.40386) | ||||
|     (xy 3.99796 0.381) (xy 3.99542 0.17018) (xy 3.99288 0.00254) (xy 3.9878 -0.10668) | ||||
|     (xy 3.98018 -0.14986) (xy 3.98018 -0.14986) (xy 3.92938 -0.16256) (xy 3.81762 -0.18542) | ||||
|     (xy 3.6576 -0.21844) (xy 3.4671 -0.254) (xy 3.45694 -0.25654) (xy 3.26644 -0.2921) | ||||
|     (xy 3.10896 -0.32512) (xy 2.9972 -0.35052) (xy 2.95148 -0.36576) (xy 2.94132 -0.37846) | ||||
|     (xy 2.90322 -0.45212) (xy 2.84734 -0.56896) (xy 2.78638 -0.71374) (xy 2.72288 -0.86106) | ||||
|     (xy 2.66954 -0.99568) (xy 2.63398 -1.09474) (xy 2.62382 -1.14046) (xy 2.62382 -1.14046) | ||||
|     (xy 2.65176 -1.18618) (xy 2.7178 -1.28524) (xy 2.80924 -1.41986) (xy 2.921 -1.58242) | ||||
|     (xy 2.92862 -1.59512) (xy 3.03784 -1.75514) (xy 3.12674 -1.88976) (xy 3.18516 -1.98628) | ||||
|     (xy 3.20548 -2.02946) (xy 3.20548 -2.032) (xy 3.16992 -2.08026) (xy 3.08864 -2.16916) | ||||
|     (xy 2.9718 -2.29108) (xy 2.8321 -2.43332) (xy 2.78638 -2.4765) (xy 2.63144 -2.6289) | ||||
|     (xy 2.52476 -2.72796) (xy 2.45618 -2.7813) (xy 2.42316 -2.794) (xy 2.42316 -2.79146) | ||||
|     (xy 2.3749 -2.76352) (xy 2.2733 -2.69748) (xy 2.13614 -2.6035) (xy 1.97358 -2.49428) | ||||
|     (xy 1.96342 -2.48666) (xy 1.8034 -2.37744) (xy 1.67132 -2.28854) (xy 1.5748 -2.22504) | ||||
|     (xy 1.53416 -2.19964) (xy 1.52654 -2.19964) (xy 1.46304 -2.21996) (xy 1.34874 -2.25806) | ||||
|     (xy 1.20904 -2.31394) (xy 1.06172 -2.37236) (xy 0.9271 -2.42824) (xy 0.8255 -2.4765) | ||||
|     (xy 0.77724 -2.5019) (xy 0.77724 -2.50444) (xy 0.75946 -2.56286) (xy 0.73152 -2.68224) | ||||
|     (xy 0.6985 -2.84734) (xy 0.6604 -3.04292) (xy 0.65532 -3.0734) (xy 0.61976 -3.2639) | ||||
|     (xy 0.58928 -3.42138) (xy 0.56642 -3.5306) (xy 0.55372 -3.57632) (xy 0.52832 -3.5814) | ||||
|     (xy 0.43434 -3.58902) (xy 0.2921 -3.59156) (xy 0.11938 -3.5941) (xy -0.06096 -3.59156) | ||||
|     (xy -0.23622 -3.58902) (xy -0.38862 -3.58394) (xy -0.4953 -3.57632) (xy -0.54102 -3.56616) | ||||
|     (xy -0.54356 -3.56362) (xy -0.5588 -3.5052) (xy -0.5842 -3.38582) (xy -0.61976 -3.22072) | ||||
|     (xy -0.65786 -3.0226) (xy -0.66294 -2.98958) (xy -0.6985 -2.79908) (xy -0.73152 -2.64414) | ||||
|     (xy -0.75438 -2.53492) (xy -0.76708 -2.49428) (xy -0.78232 -2.48412) (xy -0.86106 -2.4511) | ||||
|     (xy -0.98806 -2.39776) (xy -1.14808 -2.33426) (xy -1.51384 -2.1844) (xy -1.96088 -2.49428) | ||||
|     (xy -2.00406 -2.52222) (xy -2.16408 -2.63144) (xy -2.2987 -2.72034) (xy -2.39014 -2.77876) | ||||
|     (xy -2.42824 -2.80162) (xy -2.43078 -2.79908) (xy -2.4765 -2.76098) (xy -2.5654 -2.67716) | ||||
|     (xy -2.68732 -2.55778) (xy -2.82702 -2.41808) (xy -2.93116 -2.31394) (xy -3.05562 -2.18694) | ||||
|     (xy -3.13436 -2.10312) (xy -3.17754 -2.04724) (xy -3.19278 -2.01422) (xy -3.1877 -1.9939) | ||||
|     (xy -3.15976 -1.94818) (xy -3.09372 -1.84912) (xy -3.00228 -1.71196) (xy -2.89306 -1.55448) | ||||
|     (xy -2.80162 -1.41986) (xy -2.7051 -1.27) (xy -2.6416 -1.16332) (xy -2.61874 -1.10998) | ||||
|     (xy -2.62382 -1.08712) (xy -2.65684 -1.00076) (xy -2.71018 -0.86614) (xy -2.77622 -0.70866) | ||||
|     (xy -2.9337 -0.35306) (xy -3.16738 -0.30988) (xy -3.30708 -0.28194) (xy -3.5052 -0.24384) | ||||
|     (xy -3.69316 -0.20828) (xy -3.9878 -0.14986) (xy -3.99796 0.93218) (xy -3.95224 0.9525) | ||||
|     (xy -3.90906 0.9652) (xy -3.79984 0.98806) (xy -3.6449 1.01854) (xy -3.45948 1.0541) | ||||
|     (xy -3.30454 1.08458) (xy -3.14452 1.11252) (xy -3.03276 1.13538) (xy -2.98196 1.14554) | ||||
|     (xy -2.96926 1.16332) (xy -2.92862 1.23952) (xy -2.87274 1.36144) (xy -2.81178 1.50876) | ||||
|     (xy -2.74828 1.65862) (xy -2.6924 1.79832) (xy -2.65176 1.905) (xy -2.63906 1.96088) | ||||
|     (xy -2.65938 2.00406) (xy -2.72034 2.0955) (xy -2.8067 2.22758) (xy -2.91338 2.38506) | ||||
|     (xy -3.0226 2.54254) (xy -3.1115 2.67716) (xy -3.175 2.77368) (xy -3.2004 2.81686) | ||||
|     (xy -3.1877 2.84734) (xy -3.12674 2.92354) (xy -3.00736 3.04546) (xy -2.8321 3.22072) | ||||
|     (xy -2.80162 3.24866) (xy -2.66192 3.38328) (xy -2.54254 3.4925) (xy -2.46126 3.56616) | ||||
|     (xy -2.42316 3.59156)) (layer F.SilkS) (width 0.00254)) | ||||
| ) | ||||
							
								
								
									
										101
									
								
								samples/KiCad Layout/Logo_Poncho.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										101
									
								
								samples/KiCad Layout/Logo_Poncho.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,101 @@ | ||||
| (module footprints:Logo_Poncho (layer F.Cu) (tedit 560DAFF4) | ||||
|   (fp_text reference G*** (at 0.127 5.588) (layer F.SilkS) hide | ||||
|     (effects (font (thickness 0.3))) | ||||
|   ) | ||||
|   (fp_text value LOGO (at 0.762 7.493) (layer F.SilkS) hide | ||||
|     (effects (font (thickness 0.3))) | ||||
|   ) | ||||
|   (fp_poly (pts (xy 4.535714 -0.627021) (xy 4.498746 -0.420109) (xy 4.405012 -0.1352) (xy 4.280272 0.162897) | ||||
|     (xy 4.150281 0.409374) (xy 4.123376 0.447413) (xy 4.123376 -0.123701) (xy 4.058326 -0.436938) | ||||
|     (xy 3.869112 -0.644378) (xy 3.564639 -0.737671) (xy 3.463636 -0.742208) (xy 3.129516 -0.681223) | ||||
|     (xy 2.908248 -0.503835) (xy 2.808734 -0.218392) (xy 2.803896 -0.123701) (xy 2.868946 0.189536) | ||||
|     (xy 3.058159 0.396975) (xy 3.362633 0.490269) (xy 3.463636 0.494805) (xy 3.797606 0.436492) | ||||
|     (xy 3.958441 0.32987) (xy 4.092315 0.09203) (xy 4.123376 -0.123701) (xy 4.123376 0.447413) | ||||
|     (xy 4.089856 0.494805) (xy 4.013749 0.621925) (xy 3.89522 0.861365) (xy 3.753792 1.172585) | ||||
|     (xy 3.672876 1.360714) (xy 3.421635 1.929272) (xy 3.149718 2.496808) (xy 2.869494 3.041693) | ||||
|     (xy 2.593334 3.542296) (xy 2.556493 3.603955) (xy 2.556493 -0.123701) (xy 2.552598 -0.439936) | ||||
|     (xy 2.534834 -0.625484) (xy 2.494089 -0.714524) (xy 2.421247 -0.741238) (xy 2.391558 -0.742208) | ||||
|     (xy 2.270831 -0.703329) (xy 2.228325 -0.558669) (xy 2.226623 -0.494805) (xy 2.206189 -0.31957) | ||||
|     (xy 2.109798 -0.254982) (xy 1.97922 -0.247402) (xy 1.803985 -0.267837) (xy 1.739397 -0.364227) | ||||
|     (xy 1.731818 -0.494805) (xy 1.705898 -0.675896) (xy 1.609459 -0.739655) (xy 1.566883 -0.742208) | ||||
|     (xy 1.482553 -0.727599) (xy 1.433074 -0.660988) (xy 1.40933 -0.508193) (xy 1.402206 -0.235036) | ||||
|     (xy 1.401948 -0.123701) (xy 1.405843 0.192533) (xy 1.423606 0.378081) (xy 1.464351 0.467122) | ||||
|     (xy 1.537193 0.493835) (xy 1.566883 0.494805) (xy 1.680559 0.462518) (xy 1.726426 0.336472) | ||||
|     (xy 1.731818 0.206169) (xy 1.745609 0.012245) (xy 1.815564 -0.067294) (xy 1.97922 -0.082467) | ||||
|     (xy 2.145441 -0.066377) (xy 2.213617 0.015237) (xy 2.226623 0.206169) (xy 2.245073 0.405103) | ||||
|     (xy 2.317099 0.48537) (xy 2.391558 0.494805) (xy 2.475887 0.480197) (xy 2.525367 0.413586) | ||||
|     (xy 2.549111 0.260791) (xy 2.556234 -0.012366) (xy 2.556493 -0.123701) (xy 2.556493 3.603955) | ||||
|     (xy 2.33361 3.976986) (xy 2.102692 4.324132) (xy 1.912952 4.562103) (xy 1.781691 4.667512) | ||||
|     (xy 1.660102 4.654002) (xy 1.438445 4.580892) (xy 1.163465 4.463746) (xy 1.154545 4.459546) | ||||
|     (xy 1.154545 0.36149) (xy 1.110706 0.268405) (xy 0.956623 0.266159) (xy 0.938776 0.269422) | ||||
|     (xy 0.717011 0.243945) (xy 0.523128 0.11531) (xy 0.417755 -0.07121) (xy 0.412337 -0.123701) | ||||
|     (xy 0.484303 -0.318602) (xy 0.658393 -0.472009) (xy 0.871896 -0.536691) (xy 0.949632 -0.528355) | ||||
|     (xy 1.105982 -0.515384) (xy 1.154279 -0.597467) (xy 1.154545 -0.609566) (xy 1.114247 -0.69528) | ||||
|     (xy 0.970303 -0.735064) (xy 0.783441 -0.742208) (xy 0.429195 -0.687347) (xy 0.198088 -0.523118) | ||||
|     (xy 0.090717 -0.250044) (xy 0.082467 -0.123701) (xy 0.144642 0.188869) (xy 0.330769 0.392787) | ||||
|     (xy 0.640252 0.487526) (xy 0.783441 0.494805) (xy 1.022962 0.480515) (xy 1.134243 0.429291) | ||||
|     (xy 1.154545 0.36149) (xy 1.154545 4.459546) (xy 1.148315 4.456614) (xy 0.592041 4.256938) | ||||
|     (xy 0.061238 4.207886) (xy -0.164935 4.249843) (xy -0.164935 -0.123701) (xy -0.168831 -0.439936) | ||||
|     (xy -0.186594 -0.625484) (xy -0.227339 -0.714524) (xy -0.300181 -0.741238) (xy -0.329871 -0.742208) | ||||
|     (xy -0.435349 -0.716231) (xy -0.483875 -0.609894) (xy -0.495586 -0.391721) (xy -0.496366 -0.041234) | ||||
|     (xy -0.706429 -0.391721) (xy -0.874005 -0.625569) (xy -1.029731 -0.729733) (xy -1.117986 -0.742208) | ||||
|     (xy -1.220495 -0.733937) (xy -1.280586 -0.685976) (xy -1.309571 -0.563603) (xy -1.318762 -0.332094) | ||||
|     (xy -1.319481 -0.123701) (xy -1.315585 0.192533) (xy -1.297822 0.378081) (xy -1.257077 0.467122) | ||||
|     (xy -1.184235 0.493835) (xy -1.154546 0.494805) (xy -1.049068 0.468829) (xy -1.000541 0.362492) | ||||
|     (xy -0.988831 0.144318) (xy -0.98805 -0.206169) (xy -0.777988 0.144318) (xy -0.610412 0.378167) | ||||
|     (xy -0.454685 0.48233) (xy -0.36643 0.494805) (xy -0.263922 0.486535) (xy -0.203831 0.438574) | ||||
|     (xy -0.174846 0.3162) (xy -0.165655 0.084692) (xy -0.164935 -0.123701) (xy -0.164935 4.249843) | ||||
|     (xy -0.48241 4.308738) (xy -0.783442 4.420415) (xy -1.059466 4.535832) (xy -1.285963 4.626797) | ||||
|     (xy -1.401948 4.669513) (xy -1.518876 4.625399) (xy -1.566884 4.584033) (xy -1.566884 -0.123701) | ||||
|     (xy -1.631934 -0.436938) (xy -1.821147 -0.644378) (xy -2.12562 -0.737671) (xy -2.226624 -0.742208) | ||||
|     (xy -2.560743 -0.681223) (xy -2.782012 -0.503835) (xy -2.881525 -0.218392) (xy -2.886364 -0.123701) | ||||
|     (xy -2.821314 0.189536) (xy -2.6321 0.396975) (xy -2.327627 0.490269) (xy -2.226624 0.494805) | ||||
|     (xy -1.892653 0.436492) (xy -1.731819 0.32987) (xy -1.597945 0.09203) (xy -1.566884 -0.123701) | ||||
|     (xy -1.566884 4.584033) (xy -1.717176 4.454536) (xy -1.98582 4.166799) (xy -2.061689 4.078924) | ||||
|     (xy -2.369861 3.70727) (xy -2.632201 3.363429) (xy -2.870341 3.013116) (xy -2.968832 2.849614) | ||||
|     (xy -2.968832 -0.32987) (xy -3.007485 -0.54598) (xy -3.140146 -0.67528) (xy -3.391869 -0.734039) | ||||
|     (xy -3.603832 -0.742208) (xy -4.04091 -0.742208) (xy -4.04091 -0.123701) (xy -4.037014 0.192533) | ||||
|     (xy -4.019251 0.378081) (xy -3.978506 0.467122) (xy -3.905664 0.493835) (xy -3.875974 0.494805) | ||||
|     (xy -3.746639 0.446485) (xy -3.711039 0.288637) (xy -3.687673 0.146227) (xy -3.584731 0.090232) | ||||
|     (xy -3.438897 0.082468) (xy -3.16065 0.034793) (xy -3.008068 -0.114765) (xy -2.968832 -0.32987) | ||||
|     (xy -2.968832 2.849614) (xy -3.105916 2.622046) (xy -3.360558 2.155935) (xy -3.6559 1.580499) | ||||
|     (xy -3.724805 1.443182) (xy -3.927446 1.040996) (xy -4.107468 0.68891) (xy -4.250627 0.414385) | ||||
|     (xy -4.342678 0.24488) (xy -4.366512 0.206169) (xy -4.479713 -0.061738) (xy -4.470402 -0.368299) | ||||
|     (xy -4.39208 -0.562072) (xy -4.211754 -0.794239) (xy -3.970771 -1.027175) (xy -3.729883 -1.205582) | ||||
|     (xy -3.628572 -1.257014) (xy -3.515586 -1.328258) (xy -3.31072 -1.481511) (xy -3.047204 -1.691308) | ||||
|     (xy -2.861153 -1.845142) (xy -2.478394 -2.151727) (xy -2.09396 -2.434151) (xy -1.735885 -2.674156) | ||||
|     (xy -1.432202 -2.853482) (xy -1.210945 -2.953871) (xy -1.135923 -2.968831) (xy -0.992755 -2.911987) | ||||
|     (xy -0.868796 -2.807085) (xy -0.798823 -2.718089) (xy -0.768465 -2.621372) (xy -0.779148 -2.476306) | ||||
|     (xy -0.832302 -2.242261) (xy -0.897248 -1.997411) (xy -1.002077 -1.614541) (xy -1.0637 -1.342913) | ||||
|     (xy -1.062894 -1.163551) (xy -0.980436 -1.05748) (xy -0.797105 -1.005726) (xy -0.493678 -0.989314) | ||||
|     (xy -0.050932 -0.989267) (xy 0.123701 -0.98961) (xy 0.616616 -0.993152) (xy 0.963601 -1.004879) | ||||
|     (xy 1.183529 -1.026446) (xy 1.295275 -1.059505) (xy 1.31948 -1.094352) (xy 1.298521 -1.22034) | ||||
|     (xy 1.243133 -1.457326) (xy 1.164548 -1.757819) (xy 1.150407 -1.809213) (xy 1.043088 -2.255847) | ||||
|     (xy 1.008894 -2.569631) (xy 1.048676 -2.765972) (xy 1.163285 -2.860279) (xy 1.208992 -2.870512) | ||||
|     (xy 1.420553 -2.83991) (xy 1.739874 -2.711189) (xy 2.149801 -2.493929) (xy 2.633175 -2.197713) | ||||
|     (xy 3.172841 -1.832122) (xy 3.525487 -1.576813) (xy 3.929546 -1.272303) (xy 4.214754 -1.04349) | ||||
|     (xy 4.398878 -0.873667) (xy 4.499689 -0.746128) (xy 4.534955 -0.644167) (xy 4.535714 -0.627021) | ||||
|     (xy 4.535714 -0.627021)) (layer F.SilkS) (width 0.1)) | ||||
|   (fp_poly (pts (xy 1.023542 -3.736319) (xy 0.895402 -3.389445) (xy 0.679417 -3.11223) (xy 0.563302 -2.982356) | ||||
|     (xy 0.508034 -2.869698) (xy 0.506066 -2.720981) (xy 0.549854 -2.48293) (xy 0.574294 -2.370022) | ||||
|     (xy 0.658312 -1.973188) (xy 0.69611 -1.709422) (xy 0.675383 -1.550382) (xy 0.583822 -1.467723) | ||||
|     (xy 0.409122 -1.433104) (xy 0.16144 -1.419187) (xy -0.12355 -1.415195) (xy -0.339882 -1.428263) | ||||
|     (xy -0.43645 -1.453549) (xy -0.490308 -1.618268) (xy -0.466441 -1.923684) (xy -0.365224 -2.365222) | ||||
|     (xy -0.360015 -2.384058) (xy -0.225225 -2.868872) (xy -0.488808 -3.104404) (xy -0.714353 -3.402585) | ||||
|     (xy -0.808424 -3.746824) (xy -0.77552 -4.096523) (xy -0.620138 -4.411085) (xy -0.346777 -4.649915) | ||||
|     (xy -0.31571 -4.666738) (xy 0.033719 -4.763905) (xy 0.380075 -4.71573) (xy 0.68714 -4.538441) | ||||
|     (xy 0.918691 -4.248265) (xy 0.989692 -4.081895) (xy 1.023542 -3.736319) (xy 1.023542 -3.736319)) (layer F.SilkS) (width 0.1)) | ||||
|   (fp_poly (pts (xy -3.320079 -0.321578) (xy -3.381169 -0.206169) (xy -3.537606 -0.087441) (xy -3.656944 -0.12265) | ||||
|     (xy -3.710414 -0.301007) (xy -3.711039 -0.32987) (xy -3.666881 -0.523821) (xy -3.553583 -0.57585) | ||||
|     (xy -3.399915 -0.47517) (xy -3.381169 -0.453571) (xy -3.320079 -0.321578) (xy -3.320079 -0.321578)) (layer F.SilkS) (width 0.1)) | ||||
|   (fp_poly (pts (xy -1.911824 -0.1467) (xy -1.935194 -0.006732) (xy -2.006645 0.114199) (xy -2.128505 0.265484) | ||||
|     (xy -2.225472 0.329848) (xy -2.226624 0.32987) (xy -2.322643 0.267542) (xy -2.444552 0.117317) | ||||
|     (xy -2.446603 0.114199) (xy -2.537406 -0.05684) (xy -2.52656 -0.197017) (xy -2.465958 -0.318756) | ||||
|     (xy -2.343482 -0.473895) (xy -2.226624 -0.536039) (xy -2.106037 -0.47051) (xy -1.987289 -0.318756) | ||||
|     (xy -1.911824 -0.1467) (xy -1.911824 -0.1467)) (layer F.SilkS) (width 0.1)) | ||||
|   (fp_poly (pts (xy 3.778435 -0.1467) (xy 3.755065 -0.006732) (xy 3.683615 0.114199) (xy 3.561755 0.265484) | ||||
|     (xy 3.464788 0.329848) (xy 3.463636 0.32987) (xy 3.367616 0.267542) (xy 3.245708 0.117317) | ||||
|     (xy 3.243657 0.114199) (xy 3.152854 -0.05684) (xy 3.163699 -0.197017) (xy 3.224301 -0.318756) | ||||
|     (xy 3.346778 -0.473895) (xy 3.463636 -0.536039) (xy 3.584223 -0.47051) (xy 3.702971 -0.318756) | ||||
|     (xy 3.778435 -0.1467) (xy 3.778435 -0.1467)) (layer F.SilkS) (width 0.1)) | ||||
| ) | ||||
| @@ -0,0 +1,24 @@ | ||||
| (module footprints:MagneticBuzzer_ProSignal_ABT-410-RC (layer F.Cu) (tedit 544E5504) | ||||
|   (descr "Buzzer, Elektromagnetic Beeper, Summer, 1,5V-DC,") | ||||
|   (tags "Pro Signal, ABT-410-RC,") | ||||
|   (fp_text reference U1 (at 3.175 -8.001) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value BUZZER (at 2.17424 8.001) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start 8.17626 -0.50038) (end 8.17626 0.50038) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 7.67588 0) (end 8.6741 0) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_circle (center 3.175 0) (end 4.17576 0) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_text user + (at 10.67562 0) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_circle (center 3.175 0) (end 9.37514 0) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole circle (at 0 0) (size 1.6002 1.6002) (drill 1.00076) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole circle (at 6.35 0) (size 1.6002 1.6002) (drill 1.00076) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model Buzzers_Beepers.3dshapes/MagneticBuzzer_ProSignal_ABT-410-RC.wrl | ||||
|     (at (xyz 0 0 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 0)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										31
									
								
								samples/KiCad Layout/Pin_Header_Straight_2x02.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										31
									
								
								samples/KiCad Layout/Pin_Header_Straight_2x02.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,31 @@ | ||||
| (module footprints:Pin_Header_Straight_2x02 (layer F.Cu) (tedit 0) | ||||
|   (descr "Through hole pin header") | ||||
|   (tags "pin header") | ||||
|   (fp_text reference P1 (at 0 -5.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value PWR_JUMPER (at 0 -3.1) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -1.75 -1.75) (end -1.75 4.3) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 4.3 -1.75) (end 4.3 4.3) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.75 -1.75) (end 4.3 -1.75) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.75 4.3) (end 4.3 4.3) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.55 0) (end -1.55 -1.55) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 0 -1.55) (end -1.55 -1.55) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.27 1.27) (end 1.27 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 1.27 1.27) (end 1.27 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 1.27 -1.27) (end 3.81 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 -1.27) (end 3.81 3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 3.81) (end -1.27 3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.27 3.81) (end -1.27 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole rect (at 0 0) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole oval (at 2.54 0) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 3 thru_hole oval (at 0 2.54) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 4 thru_hole oval (at 2.54 2.54) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model Pin_Headers.3dshapes/Pin_Header_Straight_2x02.wrl | ||||
|     (at (xyz 0.05 -0.05 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 90)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										67
									
								
								samples/KiCad Layout/Pin_Header_Straight_2x20.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										67
									
								
								samples/KiCad Layout/Pin_Header_Straight_2x20.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,67 @@ | ||||
| (module footprints:Pin_Header_Straight_2x20 (layer F.Cu) (tedit 0) | ||||
|   (descr "Through hole pin header") | ||||
|   (tags "pin header") | ||||
|   (fp_text reference XA2 (at 0 -5.1) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value Conn_Poncho2P_2x_20x2 (at 0 -3.1) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -1.75 -1.75) (end -1.75 50.05) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 4.3 -1.75) (end 4.3 50.05) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.75 -1.75) (end 4.3 -1.75) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.75 50.05) (end 4.3 50.05) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 3.81 49.53) (end 3.81 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.27 1.27) (end -1.27 49.53) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 49.53) (end -1.27 49.53) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 -1.27) (end 1.27 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 0 -1.55) (end -1.55 -1.55) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 1.27 -1.27) (end 1.27 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 1.27 1.27) (end -1.27 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.55 -1.55) (end -1.55 0) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole rect (at 0 0) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole oval (at 2.54 0) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 3 thru_hole oval (at 0 2.54) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 4 thru_hole oval (at 2.54 2.54) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 5 thru_hole oval (at 0 5.08) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 6 thru_hole oval (at 2.54 5.08) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 7 thru_hole oval (at 0 7.62) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 8 thru_hole oval (at 2.54 7.62) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 9 thru_hole oval (at 0 10.16) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 10 thru_hole oval (at 2.54 10.16) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 11 thru_hole oval (at 0 12.7) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 12 thru_hole oval (at 2.54 12.7) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 13 thru_hole oval (at 0 15.24) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 14 thru_hole oval (at 2.54 15.24) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 15 thru_hole oval (at 0 17.78) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 16 thru_hole oval (at 2.54 17.78) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 17 thru_hole oval (at 0 20.32) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 18 thru_hole oval (at 2.54 20.32) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 19 thru_hole oval (at 0 22.86) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 20 thru_hole oval (at 2.54 22.86) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 21 thru_hole oval (at 0 25.4) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 22 thru_hole oval (at 2.54 25.4) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 23 thru_hole oval (at 0 27.94) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 24 thru_hole oval (at 2.54 27.94) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 25 thru_hole oval (at 0 30.48) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 26 thru_hole oval (at 2.54 30.48) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 27 thru_hole oval (at 0 33.02) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 28 thru_hole oval (at 2.54 33.02) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 29 thru_hole oval (at 0 35.56) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 30 thru_hole oval (at 2.54 35.56) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 31 thru_hole oval (at 0 38.1) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 32 thru_hole oval (at 2.54 38.1) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 33 thru_hole oval (at 0 40.64) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 34 thru_hole oval (at 2.54 40.64) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 35 thru_hole oval (at 0 43.18) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 36 thru_hole oval (at 2.54 43.18) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 37 thru_hole oval (at 0 45.72) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 38 thru_hole oval (at 2.54 45.72) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 39 thru_hole oval (at 0 48.26) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 40 thru_hole oval (at 2.54 48.26) (size 1.7272 1.7272) (drill 1.016) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model Pin_Headers.3dshapes/Pin_Header_Straight_2x20.wrl | ||||
|     (at (xyz 0.05 -0.95 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 90)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										20
									
								
								samples/KiCad Layout/Resistor_Horizontal_RM7mm.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										20
									
								
								samples/KiCad Layout/Resistor_Horizontal_RM7mm.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,20 @@ | ||||
| (module footprints:Resistor_Horizontal_RM7mm (layer F.Cu) (tedit 569FCF07) | ||||
|   (descr "Resistor, Axial,  RM 7.62mm, 1/3W,") | ||||
|   (tags "Resistor Axial RM 7.62mm 1/3W R3") | ||||
|   (fp_text reference R18 (at 4.05892 -3.50012) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value 680 (at 3.81 3.81) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -1.25 -1.5) (end 8.85 -1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.25 1.5) (end -1.25 -1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 8.85 -1.5) (end 8.85 1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.25 1.5) (end 8.85 1.5) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 1.27 -1.27) (end 6.35 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 6.35 -1.27) (end 6.35 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 6.35 1.27) (end 1.27 1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 1.27 1.27) (end 1.27 -1.27) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole circle (at 0 0) (size 1.99898 1.99898) (drill 1.00076) (layers *.Cu *.SilkS *.Mask)) | ||||
|   (pad 2 thru_hole circle (at 7.62 0) (size 1.99898 1.99898) (drill 1.00076) (layers *.Cu *.SilkS *.Mask)) | ||||
| ) | ||||
							
								
								
									
										17
									
								
								samples/KiCad Layout/SW_PUSH_SMALL.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										17
									
								
								samples/KiCad Layout/SW_PUSH_SMALL.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,17 @@ | ||||
| (module footprints:SW_PUSH_SMALL (layer F.Cu) (tedit 0) | ||||
|   (fp_text reference SW7 (at 0 -0.762) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value SW_PUSH (at 0 1.016) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_circle (center 0 0) (end 0 -2.54) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -3.81 -3.81) (end 3.81 -3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 -3.81) (end 3.81 3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start 3.81 3.81) (end -3.81 3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -3.81 -3.81) (end -3.81 3.81) (layer F.SilkS) (width 0.15)) | ||||
|   (pad 1 thru_hole circle (at 3.81 -2.54) (size 1.397 1.397) (drill 0.8128) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole circle (at 3.81 2.54) (size 1.397 1.397) (drill 0.8128) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 1 thru_hole circle (at -3.81 -2.54) (size 1.397 1.397) (drill 0.8128) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 2 thru_hole circle (at -3.81 2.54) (size 1.397 1.397) (drill 0.8128) (layers *.Cu *.Mask F.SilkS)) | ||||
| ) | ||||
							
								
								
									
										25
									
								
								samples/KiCad Layout/TO-92_Molded_Narrow.kicad_mod
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										25
									
								
								samples/KiCad Layout/TO-92_Molded_Narrow.kicad_mod
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,25 @@ | ||||
| (module footprints:TO-92_Molded_Narrow (layer F.Cu) (tedit 54F242E1) | ||||
|   (descr "TO-92 leads molded, narrow, drill 0.6mm (see NXP sot054_po.pdf)") | ||||
|   (tags "to-92 sc-43 sc-43a sot54 PA33 transistor") | ||||
|   (fp_text reference Q5 (at 0 -4) (layer F.SilkS) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_text value BC547 (at 0 3) (layer F.Fab) | ||||
|     (effects (font (size 1 1) (thickness 0.15))) | ||||
|   ) | ||||
|   (fp_line (start -1.4 1.95) (end -1.4 -2.65) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -1.4 1.95) (end 3.9 1.95) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start -0.43 1.7) (end 2.97 1.7) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_arc (start 1.27 0) (end 1.27 -2.4) (angle -135) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_arc (start 1.27 0) (end 1.27 -2.4) (angle 135) (layer F.SilkS) (width 0.15)) | ||||
|   (fp_line (start -1.4 -2.65) (end 3.9 -2.65) (layer F.CrtYd) (width 0.05)) | ||||
|   (fp_line (start 3.9 1.95) (end 3.9 -2.65) (layer F.CrtYd) (width 0.05)) | ||||
|   (pad 2 thru_hole circle (at 1.27 -1.27 90) (size 1.00076 1.00076) (drill 0.6) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 3 thru_hole circle (at 2.54 0 90) (size 1.00076 1.00076) (drill 0.6) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (pad 1 thru_hole circle (at 0 0 90) (size 1.00076 1.00076) (drill 0.6) (layers *.Cu *.Mask F.SilkS)) | ||||
|   (model TO_SOT_Packages_THT.3dshapes/TO-92_Molded_Narrow.wrl | ||||
|     (at (xyz 0.05 0 0)) | ||||
|     (scale (xyz 1 1 1)) | ||||
|     (rotate (xyz 0 0 -90)) | ||||
|   ) | ||||
| ) | ||||
							
								
								
									
										95
									
								
								samples/KiCad Layout/filenames/fp-lib-table
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										95
									
								
								samples/KiCad Layout/filenames/fp-lib-table
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,95 @@ | ||||
| (fp_lib_table | ||||
|   (lib (name Air_Coils_SML_NEOSID)(type Github)(uri ${KIGITHUB}/Air_Coils_SML_NEOSID.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Buttons_Switches_SMD)(type Github)(uri ${KIGITHUB}/Buttons_Switches_SMD.pretty)(options "")(descr "Buttons and switches, surface mount")) | ||||
|   (lib (name Buttons_Switches_THT)(type Github)(uri ${KIGITHUB}/Buttons_Switches_THT.pretty)(options "")(descr "Buttons and switches, through hole")) | ||||
|   (lib (name Buzzers_Beepers)(type Github)(uri ${KIGITHUB}/Buzzers_Beepers.pretty)(options "")(descr "Audio signalling devices")) | ||||
|   (lib (name Capacitors_SMD)(type Github)(uri ${KIGITHUB}/Capacitors_SMD.pretty)(options "")(descr "Capacitors, surface mount")) | ||||
|   (lib (name Capacitors_Tantalum_SMD)(type Github)(uri ${KIGITHUB}/Capacitors_Tantalum_SMD.pretty)(options "")(descr "Tantalum capacitors, surface mount")) | ||||
|   (lib (name Capacitors_THT)(type Github)(uri ${KIGITHUB}/Capacitors_THT.pretty)(options "")(descr "Capacitors, through hole")) | ||||
|   (lib (name Choke_Axial_ThroughHole)(type Github)(uri ${KIGITHUB}/Choke_Axial_ThroughHole.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Choke_Common-Mode_Wurth)(type Github)(uri ${KIGITHUB}/Choke_Common-Mode_Wurth.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Choke_Radial_ThroughHole)(type Github)(uri ${KIGITHUB}/Choke_Radial_ThroughHole.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Choke_SMD)(type Github)(uri ${KIGITHUB}/Choke_SMD.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Choke_Toroid_ThroughHole)(type Github)(uri ${KIGITHUB}/Choke_Toroid_ThroughHole.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Connectors_Harwin)(type Github)(uri ${KIGITHUB}/Connectors_Harwin.pretty)(options "")(descr "Harwin connector footprints www.harwin.com")) | ||||
|   (lib (name Connectors_Hirose)(type Github)(uri ${KIGITHUB}/Connectors_Hirose.pretty)(options "")(descr "Hirose connector footprints www.hirose.com")) | ||||
|   (lib (name Connectors_JAE)(type Github)(uri ${KIGITHUB}/Connectors_JAE.pretty)(options "")(descr "JAE connector footprints http://www.jae.com/jccom/en/connectors")) | ||||
|   (lib (name Connectors_JST)(type Github)(uri ${KIGITHUB}/Connectors_JST.pretty)(options "")(descr "JST connector footprints www.jst.com")) | ||||
|   (lib (name Connectors_Mini-Universal)(type Github)(uri ${KIGITHUB}/Connectors_Mini-Universal.pretty)(options "")(descr Mate-N-Lok)) | ||||
|   (lib (name Connectors_Molex)(type Github)(uri ${KIGITHUB}/Connectors_Molex.pretty)(options "")(descr "Molex connector foottprints www.molex.com")) | ||||
|   (lib (name Connectors_Multicomp)(type Github)(uri ${KIGITHUB}/Connectors_Multicomp.pretty)(options "")(descr "Multicomp connector footprints")) | ||||
|   (lib (name Connectors_Phoenix)(type Github)(uri ${KIGITHUB}/Connectors_Phoenix.pretty)(options "")(descr "Phoenix connector footprints")) | ||||
|   (lib (name Connectors_Samtec)(type Github)(uri ${KIGITHUB}/Connectors_Samtec.pretty)(options "")(descr "Samtec connector footprints")) | ||||
|   (lib (name Connectors_TE-Connectivity)(type Github)(uri ${KIGITHUB}/Connectors_TE-Connectivity.pretty)(options "")(descr "TE Connectivity connector footprints www.te.com")) | ||||
|   (lib (name Connectors_Terminal_Blocks)(type Github)(uri ${KIGITHUB}/Connectors_Terminal_Blocks.pretty)(options "")(descr "Terminal block connectors")) | ||||
|   (lib (name Connectors_WAGO)(type Github)(uri ${KIGITHUB}/Connectors_WAGO.pretty)(options "")(descr "WAGO connector footprints www.wago.com")) | ||||
|   (lib (name Connectors)(type Github)(uri ${KIGITHUB}/Connectors.pretty)(options "")(descr "Assorted connector footprints")) | ||||
|   (lib (name Converters_DCDC_ACDC)(type Github)(uri ${KIGITHUB}/Converters_DCDC_ACDC.pretty)(options "")(descr "DC-DC and AC-DC convertor modules")) | ||||
|   (lib (name Crystals)(type Github)(uri ${KIGITHUB}/Crystals.pretty)(options "")(descr "Crystals and oscillators")) | ||||
|   (lib (name Diodes_SMD)(type Github)(uri ${KIGITHUB}/Diodes_SMD.pretty)(options "")(descr "Diodes, surface mount")) | ||||
|   (lib (name Diodes_THT)(type Github)(uri ${KIGITHUB}/Diodes_THT.pretty)(options "")(descr "Diodes, through hole")) | ||||
|   (lib (name Discret)(type Github)(uri ${KIGITHUB}/Discret.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Displays_7-Segment)(type Github)(uri ${KIGITHUB}/Displays_7-Segment.pretty)(options "")(descr "Seven segment displays")) | ||||
|   (lib (name Displays)(type Github)(uri ${KIGITHUB}/Displays.pretty)(options "")(descr "Display modules")) | ||||
|   (lib (name Divers)(type Github)(uri ${KIGITHUB}/Divers.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Enclosures)(type Github)(uri ${KIGITHUB}/Enclosures.pretty)(options "")(descr "Electronics enclosures and housings")) | ||||
|   (lib (name EuroBoard_Outline)(type Github)(uri ${KIGITHUB}/EuroBoard_Outline.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Fiducials)(type Github)(uri ${KIGITHUB}/Fiducials.pretty)(options "")(descr "Fiducial markings")) | ||||
|   (lib (name Filters_HF_Coils_NEOSID)(type Github)(uri ${KIGITHUB}/Filters_HF_Coils_NEOSID.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Fuse_Holders_and_Fuses)(type Github)(uri ${KIGITHUB}/Fuse_Holders_and_Fuses.pretty)(options "")(descr "Fuses and fuse holders")) | ||||
|   (lib (name Hall-Effect_Transducers_LEM)(type Github)(uri ${KIGITHUB}/Hall-Effect_Transducers_LEM.pretty)(options "")(descr "LEM hall effect transducers")) | ||||
|   (lib (name Heatsinks)(type Github)(uri ${KIGITHUB}/Heatsinks.pretty)(options "")(descr "Heatsinks and thermal products")) | ||||
|   (lib (name Housings_BGA)(type Github)(uri ${KIGITHUB}/Housings_BGA.pretty)(options "")(descr "Ball Grid Array (BGA)")) | ||||
|   (lib (name Housings_DFN_QFN)(type Github)(uri ${KIGITHUB}/Housings_DFN_QFN.pretty)(options "")(descr "Surface mount IC packages, DFN / LGA / QFN")) | ||||
|   (lib (name Housings_DIP)(type Github)(uri ${KIGITHUB}/Housings_DIP.pretty)(options "")(descr "Through hole IC packages, DIP")) | ||||
|   (lib (name Housings_LCC)(type Github)(uri ${KIGITHUB}/Housings_LCC.pretty)(options "")(descr "Leaded Chip Carriers (LCC)")) | ||||
|   (lib (name Housings_LGA)(type Github)(uri ${KIGITHUB}/Housings_LGA.pretty)(options "")(descr "Land Grid Array (LGA)")) | ||||
|   (lib (name Housings_PGA)(type Github)(uri ${KIGITHUB}/Housings_PGA.pretty)(options "")(descr "Pin Grid Array (PGA)")) | ||||
|   (lib (name Housings_QFP)(type Github)(uri ${KIGITHUB}/Housings_QFP.pretty)(options "")(descr "Quad Flat Package (QFP)")) | ||||
|   (lib (name Housings_SIP)(type Github)(uri ${KIGITHUB}/Housings_SIP.pretty)(options "")(descr "Single Inline Package (SIP)")) | ||||
|   (lib (name Housings_SOIC)(type Github)(uri ${KIGITHUB}/Housings_SOIC.pretty)(options "")(descr "Small Outline Integrated Circuits (SOIC)")) | ||||
|   (lib (name Housings_SSOP)(type Github)(uri ${KIGITHUB}/Housings_SSOP.pretty)(options "")(descr "SSOP, TSSOP, MSOP, QSOP, VSO packages")) | ||||
|   (lib (name Inductors_NEOSID)(type Github)(uri ${KIGITHUB}/Inductors_NEOSID.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Inductors)(type Github)(uri ${KIGITHUB}/Inductors.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Inductors_SMD)(type Github)(uri ${KIGITHUB}/Inductors_SMD.pretty)(options "")(descr "Inductors, surface mount")) | ||||
|   (lib (name Inductors_THT)(type Github)(uri ${KIGITHUB}/Inductors_THT.pretty)(options "")(descr "Inductors, through hole")) | ||||
|   (lib (name IR-DirectFETs)(type Github)(uri ${KIGITHUB}/IR-DirectFETs.pretty)(options "")(descr "DirectFet packets from International Rectifier")) | ||||
|   (lib (name Labels)(type Github)(uri ${KIGITHUB}/Labels.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name LEDs)(type Github)(uri ${KIGITHUB}/LEDs.pretty)(options "")(descr "Light emitting diodes (LEDs)")) | ||||
|   (lib (name Measurement_Points)(type Github)(uri ${KIGITHUB}/Measurement_Points.pretty)(options "")(descr "Terminals for test equipment")) | ||||
|   (lib (name Measurement_Scales)(type Github)(uri ${KIGITHUB}/Measurement_Scales.pretty)(options "")(descr "Measurement scales and gauges")) | ||||
|   (lib (name Mechanical_Sockets)(type Github)(uri ${KIGITHUB}/Mechanical_Sockets.pretty)(options "")(descr "Sockets for board to board connection")) | ||||
|   (lib (name Microwave)(type Github)(uri ${KIGITHUB}/Microwave.pretty)(options "")(descr "Microwave")) | ||||
|   (lib (name Modules)(type Github)(uri ${KIGITHUB}/Modules.pretty)(options "")(descr "Board-level devices integrating system functionality into a single module")) | ||||
|   (lib (name Mounting_Holes)(type Github)(uri ${KIGITHUB}/Mounting_Holes.pretty)(options "")(descr "Mechanical fasteners")) | ||||
|   (lib (name NF-Transformers_ETAL)(type Github)(uri ${KIGITHUB}/NF-Transformers_ETAL.pretty)(options "")(descr "Deprecated - will be deleted")) | ||||
|   (lib (name Oddities)(type Github)(uri ${KIGITHUB}/Oddities.pretty)(options "")(descr "Assorted footprints. Deprecated - will be removed")) | ||||
|   (lib (name Opto-Devices)(type Github)(uri ${KIGITHUB}/Opto-Devices.pretty)(options "")(descr "Optocouplers, light sensors, and other optical devices")) | ||||
|   (lib (name Oscillators)(type Github)(uri ${KIGITHUB}/Oscillators.pretty)(options "")(descr "Precicision oscillator modules")) | ||||
|   (lib (name PFF_PSF_PSS_Leadforms)(type Github)(uri ${KIGITHUB}/PFF_PSF_PSS_Leadforms.pretty)(options "")(descr "Allegro leadform packages")) | ||||
|   (lib (name Pin_Headers)(type Github)(uri ${KIGITHUB}/Pin_Headers.pretty)(options "")(descr "Male pin headers")) | ||||
|   (lib (name Potentiometers)(type Github)(uri ${KIGITHUB}/Potentiometers.pretty)(options "")(descr "Potentiometers / variable resistors")) | ||||
|   (lib (name Power_Integrations)(type Github)(uri ${KIGITHUB}/Power_Integrations.pretty)(options "")(descr "Power Integrations footprints")) | ||||
|   (lib (name Relays_THT)(type Github)(uri ${KIGITHUB}/Relays_THT.pretty)(options "")(descr "Through hole relay packages")) | ||||
|   (lib (name Resistors_SMD)(type Github)(uri ${KIGITHUB}/Resistors_SMD.pretty)(options "")(descr "Resistors, surface mount")) | ||||
|   (lib (name Resistors_THT)(type Github)(uri ${KIGITHUB}/Resistors_THT.pretty)(options "")(descr "Resistors, through hole")) | ||||
|   (lib (name Resistors_Universal)(type Github)(uri ${KIGITHUB}/Resistors_Universal.pretty)(options "")(descr Experimental)) | ||||
|   (lib (name RF_Modules)(type Github)(uri ${KIGITHUB}/RF_Modules.pretty)(options "")(descr "Radio-frequency / wireless modules")) | ||||
|   (lib (name Shielding_Cabinets)(type Github)(uri ${KIGITHUB}/Shielding_Cabinets.pretty)(options "")(descr "RF / EMI shields")) | ||||
|   (lib (name SMD_Packages)(type Github)(uri ${KIGITHUB}/SMD_Packages.pretty)(options "")(descr "Various SMD packages. Read only - footprints will be moved to other libraries")) | ||||
|   (lib (name Sockets_MOLEX_KK-System)(type Github)(uri ${KIGITHUB}/Sockets_MOLEX_KK-System.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Socket_Strips)(type Github)(uri ${KIGITHUB}/Socket_Strips.pretty)(options "")(descr "Female socket strips")) | ||||
|   (lib (name Sockets)(type Github)(uri ${KIGITHUB}/Sockets.pretty)(options "")(descr "IC sockets")) | ||||
|   (lib (name Symbols)(type Github)(uri ${KIGITHUB}/Symbols.pretty)(options "")(descr "PCB symbols")) | ||||
|   (lib (name TO_SOT_Packages_SMD)(type Github)(uri ${KIGITHUB}/TO_SOT_Packages_SMD.pretty)(options "")(descr "Surface mount transistor packages")) | ||||
|   (lib (name TO_SOT_Packages_THT)(type Github)(uri ${KIGITHUB}/TO_SOT_Packages_THT.pretty)(options "")(descr "Through hole transistor packages")) | ||||
|   (lib (name Transformers_CHK)(type Github)(uri ${KIGITHUB}/Transformers_CHK.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Transformers_SMD)(type Github)(uri ${KIGITHUB}/Transformers_SMD.pretty)(options "")(descr "Surface mount transformers")) | ||||
|   (lib (name Transformers_SMPS_ThroughHole)(type Github)(uri ${KIGITHUB}/Transformers_SMPS_ThroughHole.pretty)(options "")(descr "Deprecated - will be removed")) | ||||
|   (lib (name Transformers_THT)(type Github)(uri ${KIGITHUB}/Transformers_THT.pretty)(options "")(descr "Through hole transformers")) | ||||
|   (lib (name Transistors_OldSowjetAera)(type Github)(uri ${KIGITHUB}/Transistors_OldSowjetAera.pretty)(options "")(descr "Sowjet transistors")) | ||||
|   (lib (name Valves)(type Github)(uri ${KIGITHUB}/Valves.pretty)(options "")(descr "Valves")) | ||||
|   (lib (name Varistors)(type Github)(uri ${KIGITHUB}/Varistors.pretty)(options "")(descr "Varistors")) | ||||
|   (lib (name Wire_Connections_Bridges)(type Github)(uri ${KIGITHUB}/Wire_Connections_Bridges.pretty)(options "")(descr "PCB bridging points")) | ||||
|   (lib (name Wire_Pads)(type Github)(uri ${KIGITHUB}/Wire_Pads.pretty)(options "")(descr "Direct wire-to-board connection points")) | ||||
| ) | ||||
							
								
								
									
										34
									
								
								samples/KiCad Layout/kivicad.kicad_wks
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										34
									
								
								samples/KiCad Layout/kivicad.kicad_wks
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,34 @@ | ||||
| ( page_layout | ||||
|     ( setup (textsize 1.5 1.5) (linewidth 0.15) (textlinewidth 0.15) ) | ||||
|     ( rect (comment "rect around the title block") (linewidth 0.15) (start 110 34) (end 2 2) ) | ||||
|     ( rect (start 0 0 ltcorner) (end 0 0 rbcorner) (repeat 2) (incrx 2) (incry 2) ) | ||||
|     ( line (start 50 2 ltcorner) (end 50 0 ltcorner) (repeat 30) (incrx 50) ) | ||||
|     ( tbtext "1" (pos 25 1 ltcorner) (font (size 1.3 1.3))(repeat 100) (incrx 50) ) | ||||
|     ( line (start 50 2 lbcorner) (end 50 0 lbcorner) (repeat 30) (incrx 50) ) | ||||
|     ( tbtext "1" (pos 25 1 lbcorner) (font (size 1.3 1.3)) (repeat 100) (incrx 50) ) | ||||
|     ( line (start 0 50 ltcorner) (end 2 50 ltcorner) (repeat 30) (incry 50) ) | ||||
|     ( tbtext "A" (pos 1 25 ltcorner) (font (size 1.3 1.3)) | ||||
|         (justify center)(repeat 100) (incry 50) ) | ||||
|     ( line (start 0 50 rtcorner) (end 2 50 rtcorner) (repeat 30) (incry 50) ) | ||||
|     ( tbtext "A" (pos 1 25 rtcorner) (font (size 1.3 1.3)) | ||||
|         (justify center) (repeat 100) (incry 50) ) | ||||
|     ( tbtext "Date: %D" (pos 87 6.9) ) | ||||
|     ( line (start 110 5.5) (end 2 5.5) ) | ||||
|     ( tbtext "%K" (pos 109 4.1) (comment "Kicad version" ) ) | ||||
|     ( line (start 110 8.5) (end 2 8.5) ) | ||||
|     ( tbtext "Rev: %R" (pos 24 6.9)(font bold)(justify left) ) | ||||
|     ( tbtext "Size: %Z" (comment "Paper format name")(pos 109 6.9) ) | ||||
|     ( tbtext "Id: %S/%N" (comment "Sheet id")(pos 24 4.1) ) | ||||
|     ( line (start 110 12.5) (end 2 12.5) ) | ||||
|     ( tbtext "Title: %T" (pos 109 10.7)(font bold (size 2 2)) ) | ||||
|     ( tbtext "File: %F" (pos 109 14.3) ) | ||||
|     ( line (start 110 18.5) (end 2 18.5) ) | ||||
|     ( tbtext "Sheet: %P" (pos 109 17) ) | ||||
|     ( tbtext "%Y" (comment "Company name") (pos 109 20)(font bold) ) | ||||
|     ( tbtext "%C0" (comment "Comment 0") (pos 109 23) ) | ||||
|     ( tbtext "%C1" (comment "Comment 1") (pos 109 26) ) | ||||
|     ( tbtext "%C2" (comment "Comment 2") (pos 109 29) ) | ||||
|     ( tbtext "%C3" (comment "Comment 3") (pos 109 32) ) | ||||
|     ( line (start 90 8.5) (end 90 5.5) ) | ||||
|     ( line (start 26 8.5) (end 26 2) ) | ||||
| ) | ||||
							
								
								
									
										2567
									
								
								samples/KiCad Layout/simonShield.kicad_pcb
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										2567
									
								
								samples/KiCad Layout/simonShield.kicad_pcb
									
									
									
									
									
										Normal file
									
								
							
										
											
												File diff suppressed because it is too large
												Load Diff
											
										
									
								
							
							
								
								
									
										519
									
								
								samples/KiCad Schematic/buttons.sch
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										519
									
								
								samples/KiCad Schematic/buttons.sch
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,519 @@ | ||||
| EESchema Schematic File Version 2 | ||||
| LIBS:simonLib | ||||
| LIBS:power | ||||
| LIBS:simonShield-cache | ||||
| EELAYER 25 0 | ||||
| EELAYER END | ||||
| $Descr A4 11693 8268 | ||||
| encoding utf-8 | ||||
| Sheet 2 4 | ||||
| Title "Poncho Simon EDU-CIAA" | ||||
| Date "2016-07-26" | ||||
| Rev "1.0" | ||||
| Comp "Proyecto CIAA" | ||||
| Comment1 "Juan Agustin Bassi" | ||||
| Comment2 "CESE - Diseño PCB" | ||||
| Comment3 "Licencia BSD" | ||||
| Comment4 "" | ||||
| $EndDescr | ||||
| $Comp | ||||
| L SW_PUSH SW1 | ||||
| U 1 1 5777DBBB | ||||
| P 3500 3000 | ||||
| F 0 "SW1" H 3650 3110 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 3500 2920 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 3500 3000 50  0001 C CNN | ||||
| F 3 "" H 3500 3000 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 3500 3000 60  0001 C CNN "Digikey#" | ||||
| 	1    3500 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R1 | ||||
| U 1 1 5777DBC2 | ||||
| P 3150 2750 | ||||
| F 0 "R1" V 3230 2750 50  0000 C CNN | ||||
| F 1 "3K3" V 3150 2750 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 3080 2750 50  0001 C CNN | ||||
| F 3 "" H 3150 2750 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 3150 2750 60  0001 C CNN "Digikey#" | ||||
| 	1    3150 2750 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR05 | ||||
| U 1 1 5777DBC9 | ||||
| P 3900 3100 | ||||
| F 0 "#PWR05" H 3900 2850 50  0001 C CNN | ||||
| F 1 "GND" H 3900 2950 50  0000 C CNN | ||||
| F 2 "" H 3900 3100 50  0000 C CNN | ||||
| F 3 "" H 3900 3100 50  0000 C CNN | ||||
| 	1    3900 3100 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	3150 2450 3150 2600 | ||||
| Wire Wire Line | ||||
| 	3150 2900 3150 3000 | ||||
| Wire Wire Line | ||||
| 	3800 3000 3900 3000 | ||||
| Wire Wire Line | ||||
| 	3900 3000 3900 3100 | ||||
| Connection ~ 3150 3000 | ||||
| $Comp | ||||
| L SW_PUSH SW3 | ||||
| U 1 1 5777DBDD | ||||
| P 5050 3000 | ||||
| F 0 "SW3" H 5200 3110 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 5050 2920 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 5050 3000 50  0001 C CNN | ||||
| F 3 "" H 5050 3000 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 5050 3000 60  0001 C CNN "Digikey#" | ||||
| 	1    5050 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR06 | ||||
| U 1 1 5777DBEB | ||||
| P 5450 3100 | ||||
| F 0 "#PWR06" H 5450 2850 50  0001 C CNN | ||||
| F 1 "GND" H 5450 2950 50  0000 C CNN | ||||
| F 2 "" H 5450 3100 50  0000 C CNN | ||||
| F 3 "" H 5450 3100 50  0000 C CNN | ||||
| 	1    5450 3100 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	4700 2450 4700 2600 | ||||
| Wire Wire Line | ||||
| 	4700 2900 4700 3000 | ||||
| Wire Wire Line | ||||
| 	5350 3000 5450 3000 | ||||
| Wire Wire Line | ||||
| 	5450 3000 5450 3100 | ||||
| Connection ~ 4700 3000 | ||||
| $Comp | ||||
| L SW_PUSH SW5 | ||||
| U 1 1 5777DBFF | ||||
| P 6600 3000 | ||||
| F 0 "SW5" H 6750 3110 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 6600 2920 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 6600 3000 50  0001 C CNN | ||||
| F 3 "" H 6600 3000 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 6600 3000 60  0001 C CNN "Digikey#" | ||||
| 	1    6600 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR07 | ||||
| U 1 1 5777DC0D | ||||
| P 7000 3100 | ||||
| F 0 "#PWR07" H 7000 2850 50  0001 C CNN | ||||
| F 1 "GND" H 7000 2950 50  0000 C CNN | ||||
| F 2 "" H 7000 3100 50  0000 C CNN | ||||
| F 3 "" H 7000 3100 50  0000 C CNN | ||||
| 	1    7000 3100 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	6250 2450 6250 2600 | ||||
| Wire Wire Line | ||||
| 	6250 2900 6250 3000 | ||||
| Wire Wire Line | ||||
| 	6900 3000 7000 3000 | ||||
| Wire Wire Line | ||||
| 	7000 3000 7000 3100 | ||||
| Connection ~ 6250 3000 | ||||
| $Comp | ||||
| L SW_PUSH SW7 | ||||
| U 1 1 5777DC21 | ||||
| P 8150 3000 | ||||
| F 0 "SW7" H 8300 3110 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 8150 2920 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 8150 3000 50  0001 C CNN | ||||
| F 3 "" H 8150 3000 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 8150 3000 60  0001 C CNN "Digikey#" | ||||
| 	1    8150 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR08 | ||||
| U 1 1 5777DC2F | ||||
| P 8550 3100 | ||||
| F 0 "#PWR08" H 8550 2850 50  0001 C CNN | ||||
| F 1 "GND" H 8550 2950 50  0000 C CNN | ||||
| F 2 "" H 8550 3100 50  0000 C CNN | ||||
| F 3 "" H 8550 3100 50  0000 C CNN | ||||
| 	1    8550 3100 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	7800 2450 7800 2600 | ||||
| Wire Wire Line | ||||
| 	7800 2900 7800 3000 | ||||
| Wire Wire Line | ||||
| 	8450 3000 8550 3000 | ||||
| Wire Wire Line | ||||
| 	8550 3000 8550 3100 | ||||
| Connection ~ 7800 3000 | ||||
| $Comp | ||||
| L SW_PUSH SW2 | ||||
| U 1 1 5777DC43 | ||||
| P 3550 4350 | ||||
| F 0 "SW2" H 3700 4460 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 3550 4270 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 3550 4350 50  0001 C CNN | ||||
| F 3 "" H 3550 4350 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 3550 4350 60  0001 C CNN "Digikey#" | ||||
| 	1    3550 4350 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR09 | ||||
| U 1 1 5777DC51 | ||||
| P 3950 4450 | ||||
| F 0 "#PWR09" H 3950 4200 50  0001 C CNN | ||||
| F 1 "GND" H 3950 4300 50  0000 C CNN | ||||
| F 2 "" H 3950 4450 50  0000 C CNN | ||||
| F 3 "" H 3950 4450 50  0000 C CNN | ||||
| 	1    3950 4450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	3200 3800 3200 3950 | ||||
| Wire Wire Line | ||||
| 	3200 4250 3200 4350 | ||||
| Wire Wire Line | ||||
| 	3850 4350 3950 4350 | ||||
| Wire Wire Line | ||||
| 	3950 4350 3950 4450 | ||||
| Connection ~ 3200 4350 | ||||
| $Comp | ||||
| L SW_PUSH SW4 | ||||
| U 1 1 5777DC65 | ||||
| P 5100 4350 | ||||
| F 0 "SW4" H 5250 4460 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 5100 4270 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 5100 4350 50  0001 C CNN | ||||
| F 3 "" H 5100 4350 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 5100 4350 60  0001 C CNN "Digikey#" | ||||
| 	1    5100 4350 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR010 | ||||
| U 1 1 5777DC73 | ||||
| P 5500 4450 | ||||
| F 0 "#PWR010" H 5500 4200 50  0001 C CNN | ||||
| F 1 "GND" H 5500 4300 50  0000 C CNN | ||||
| F 2 "" H 5500 4450 50  0000 C CNN | ||||
| F 3 "" H 5500 4450 50  0000 C CNN | ||||
| 	1    5500 4450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	4750 4250 4750 4350 | ||||
| Wire Wire Line | ||||
| 	5400 4350 5500 4350 | ||||
| Wire Wire Line | ||||
| 	5500 4350 5500 4450 | ||||
| Connection ~ 4750 4350 | ||||
| $Comp | ||||
| L SW_PUSH SW6 | ||||
| U 1 1 5777DC87 | ||||
| P 6650 4350 | ||||
| F 0 "SW6" H 6800 4460 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 6650 4270 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 6650 4350 50  0001 C CNN | ||||
| F 3 "" H 6650 4350 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 6650 4350 60  0001 C CNN "Digikey#" | ||||
| 	1    6650 4350 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR011 | ||||
| U 1 1 5777DC95 | ||||
| P 7050 4450 | ||||
| F 0 "#PWR011" H 7050 4200 50  0001 C CNN | ||||
| F 1 "GND" H 7050 4300 50  0000 C CNN | ||||
| F 2 "" H 7050 4450 50  0000 C CNN | ||||
| F 3 "" H 7050 4450 50  0000 C CNN | ||||
| 	1    7050 4450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	6300 3800 6300 3950 | ||||
| Wire Wire Line | ||||
| 	6300 4250 6300 4350 | ||||
| Wire Wire Line | ||||
| 	6950 4350 7050 4350 | ||||
| Wire Wire Line | ||||
| 	7050 4350 7050 4450 | ||||
| Connection ~ 6300 4350 | ||||
| $Comp | ||||
| L SW_PUSH SW8 | ||||
| U 1 1 5777DCA9 | ||||
| P 8200 4350 | ||||
| F 0 "SW8" H 8350 4460 50  0000 C CNN | ||||
| F 1 "SW_PUSH" H 8200 4270 50  0000 C CNN | ||||
| F 2 "simonShield:SW_PUSH_SMALL" H 8200 4350 50  0001 C CNN | ||||
| F 3 "" H 8200 4350 50  0000 C CNN | ||||
| F 4 "450-1804-ND" H 8200 4350 60  0001 C CNN "Digikey#" | ||||
| 	1    8200 4350 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR012 | ||||
| U 1 1 5777DCB7 | ||||
| P 8600 4450 | ||||
| F 0 "#PWR012" H 8600 4200 50  0001 C CNN | ||||
| F 1 "GND" H 8600 4300 50  0000 C CNN | ||||
| F 2 "" H 8600 4450 50  0000 C CNN | ||||
| F 3 "" H 8600 4450 50  0000 C CNN | ||||
| 	1    8600 4450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	7850 3800 7850 3950 | ||||
| Wire Wire Line | ||||
| 	7850 4250 7850 4350 | ||||
| Wire Wire Line | ||||
| 	8500 4350 8600 4350 | ||||
| Wire Wire Line | ||||
| 	8600 4350 8600 4450 | ||||
| Connection ~ 7850 4350 | ||||
| Wire Notes Line | ||||
| 	2400 1850 2400 4700 | ||||
| Wire Notes Line | ||||
| 	2400 4700 8800 4700 | ||||
| Wire Notes Line | ||||
| 	8800 4700 8800 1850 | ||||
| Wire Notes Line | ||||
| 	8800 2150 2400 2150 | ||||
| Text HLabel 2950 2800 0    60   Input ~ 0 | ||||
| BTN_LED_1 | ||||
| Wire Wire Line | ||||
| 	2950 3000 3200 3000 | ||||
| Wire Wire Line | ||||
| 	2950 3000 2950 2800 | ||||
| Text HLabel 4500 2800 0    60   Input ~ 0 | ||||
| BTN_LED_2 | ||||
| Text HLabel 6050 2800 0    60   Input ~ 0 | ||||
| BTN_LED_3 | ||||
| Text HLabel 7600 2800 0    60   Input ~ 0 | ||||
| BTN_LED_4 | ||||
| Wire Wire Line | ||||
| 	4500 3000 4750 3000 | ||||
| Wire Wire Line | ||||
| 	4500 3000 4500 2800 | ||||
| Wire Wire Line | ||||
| 	6050 3000 6300 3000 | ||||
| Wire Wire Line | ||||
| 	6050 3000 6050 2800 | ||||
| Wire Wire Line | ||||
| 	7600 3000 7850 3000 | ||||
| Wire Wire Line | ||||
| 	7600 3000 7600 2800 | ||||
| Text HLabel 3000 4150 0    60   Input ~ 0 | ||||
| BTN_CFG_1 | ||||
| Wire Wire Line | ||||
| 	3000 4350 3250 4350 | ||||
| Wire Wire Line | ||||
| 	3000 4350 3000 4150 | ||||
| Text HLabel 4550 4150 0    60   Input ~ 0 | ||||
| BTN_CFG_2 | ||||
| Text HLabel 6100 4150 0    60   Input ~ 0 | ||||
| BTN_CFG_3 | ||||
| Text HLabel 7650 4150 0    60   Input ~ 0 | ||||
| BTN_CFG_4 | ||||
| Wire Wire Line | ||||
| 	4550 4150 4550 4350 | ||||
| Wire Wire Line | ||||
| 	4550 4350 4800 4350 | ||||
| Wire Wire Line | ||||
| 	6100 4150 6100 4350 | ||||
| Wire Wire Line | ||||
| 	6100 4350 6350 4350 | ||||
| Wire Wire Line | ||||
| 	7650 4150 7650 4350 | ||||
| Wire Wire Line | ||||
| 	7650 4350 7900 4350 | ||||
| $Comp | ||||
| L R R3 | ||||
| U 1 1 577967E7 | ||||
| P 4700 2750 | ||||
| F 0 "R3" V 4780 2750 50  0000 C CNN | ||||
| F 1 "3K3" V 4700 2750 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 4630 2750 50  0001 C CNN | ||||
| F 3 "" H 4700 2750 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 4700 2750 60  0001 C CNN "Digikey#" | ||||
| 	1    4700 2750 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R5 | ||||
| U 1 1 57796847 | ||||
| P 6250 2750 | ||||
| F 0 "R5" V 6330 2750 50  0000 C CNN | ||||
| F 1 "3K3" V 6250 2750 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 6180 2750 50  0001 C CNN | ||||
| F 3 "" H 6250 2750 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 6250 2750 60  0001 C CNN "Digikey#" | ||||
| 	1    6250 2750 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R7 | ||||
| U 1 1 577968BC | ||||
| P 7800 2750 | ||||
| F 0 "R7" V 7880 2750 50  0000 C CNN | ||||
| F 1 "3K3" V 7800 2750 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 7730 2750 50  0001 C CNN | ||||
| F 3 "" H 7800 2750 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 7800 2750 60  0001 C CNN "Digikey#" | ||||
| 	1    7800 2750 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R2 | ||||
| U 1 1 5779693E | ||||
| P 3200 4100 | ||||
| F 0 "R2" V 3280 4100 50  0000 C CNN | ||||
| F 1 "3K3" V 3200 4100 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 3130 4100 50  0001 C CNN | ||||
| F 3 "" H 3200 4100 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 3200 4100 60  0001 C CNN "Digikey#" | ||||
| 	1    3200 4100 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R4 | ||||
| U 1 1 577969F3 | ||||
| P 4750 4100 | ||||
| F 0 "R4" V 4830 4100 50  0000 C CNN | ||||
| F 1 "3K3" V 4750 4100 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 4680 4100 50  0001 C CNN | ||||
| F 3 "" H 4750 4100 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 4750 4100 60  0001 C CNN "Digikey#" | ||||
| 	1    4750 4100 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R6 | ||||
| U 1 1 57796A6F | ||||
| P 6300 4100 | ||||
| F 0 "R6" V 6380 4100 50  0000 C CNN | ||||
| F 1 "3K3" V 6300 4100 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 6230 4100 50  0001 C CNN | ||||
| F 3 "" H 6300 4100 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 6300 4100 60  0001 C CNN "Digikey#" | ||||
| 	1    6300 4100 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R8 | ||||
| U 1 1 57796AEC | ||||
| P 7850 4100 | ||||
| F 0 "R8" V 7930 4100 50  0000 C CNN | ||||
| F 1 "3K3" V 7850 4100 50  0000 C CNN | ||||
| F 2 "simonShield:Resistor_Horizontal_RM7mm" V 7780 4100 50  0001 C CNN | ||||
| F 3 "" H 7850 4100 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 7850 4100 60  0001 C CNN "Digikey#" | ||||
| 	1    7850 4100 | ||||
| 	-1   0    0    1    | ||||
| $EndComp | ||||
| Text Notes 5400 2050 0    60   ~ 12 | ||||
| BUTTONS\n | ||||
| Wire Notes Line | ||||
| 	8800 1850 2400 1850 | ||||
| Wire Wire Line | ||||
| 	4750 3950 4750 3800 | ||||
| $Comp | ||||
| L VCC #PWR013 | ||||
| U 1 1 5798AF98 | ||||
| P 4750 3800 | ||||
| F 0 "#PWR013" H 4750 3650 50  0001 C CNN | ||||
| F 1 "VCC" H 4750 3950 50  0000 C CNN | ||||
| F 2 "" H 4750 3800 50  0000 C CNN | ||||
| F 3 "" H 4750 3800 50  0000 C CNN | ||||
| 	1    4750 3800 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR014 | ||||
| U 1 1 5798B8B6 | ||||
| P 3200 3800 | ||||
| F 0 "#PWR014" H 3200 3650 50  0001 C CNN | ||||
| F 1 "VCC" H 3200 3950 50  0000 C CNN | ||||
| F 2 "" H 3200 3800 50  0000 C CNN | ||||
| F 3 "" H 3200 3800 50  0000 C CNN | ||||
| 	1    3200 3800 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR015 | ||||
| U 1 1 5798B8F1 | ||||
| P 6300 3800 | ||||
| F 0 "#PWR015" H 6300 3650 50  0001 C CNN | ||||
| F 1 "VCC" H 6300 3950 50  0000 C CNN | ||||
| F 2 "" H 6300 3800 50  0000 C CNN | ||||
| F 3 "" H 6300 3800 50  0000 C CNN | ||||
| 	1    6300 3800 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR016 | ||||
| U 1 1 5798B9EC | ||||
| P 7850 3800 | ||||
| F 0 "#PWR016" H 7850 3650 50  0001 C CNN | ||||
| F 1 "VCC" H 7850 3950 50  0000 C CNN | ||||
| F 2 "" H 7850 3800 50  0000 C CNN | ||||
| F 3 "" H 7850 3800 50  0000 C CNN | ||||
| 	1    7850 3800 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR017 | ||||
| U 1 1 5798BB07 | ||||
| P 7800 2450 | ||||
| F 0 "#PWR017" H 7800 2300 50  0001 C CNN | ||||
| F 1 "VCC" H 7800 2600 50  0000 C CNN | ||||
| F 2 "" H 7800 2450 50  0000 C CNN | ||||
| F 3 "" H 7800 2450 50  0000 C CNN | ||||
| 	1    7800 2450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR018 | ||||
| U 1 1 5798BB42 | ||||
| P 6250 2450 | ||||
| F 0 "#PWR018" H 6250 2300 50  0001 C CNN | ||||
| F 1 "VCC" H 6250 2600 50  0000 C CNN | ||||
| F 2 "" H 6250 2450 50  0000 C CNN | ||||
| F 3 "" H 6250 2450 50  0000 C CNN | ||||
| 	1    6250 2450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR019 | ||||
| U 1 1 5798BB7D | ||||
| P 4700 2450 | ||||
| F 0 "#PWR019" H 4700 2300 50  0001 C CNN | ||||
| F 1 "VCC" H 4700 2600 50  0000 C CNN | ||||
| F 2 "" H 4700 2450 50  0000 C CNN | ||||
| F 3 "" H 4700 2450 50  0000 C CNN | ||||
| 	1    4700 2450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR020 | ||||
| U 1 1 5798BBB8 | ||||
| P 3150 2450 | ||||
| F 0 "#PWR020" H 3150 2300 50  0001 C CNN | ||||
| F 1 "VCC" H 3150 2600 50  0000 C CNN | ||||
| F 2 "" H 3150 2450 50  0000 C CNN | ||||
| F 3 "" H 3150 2450 50  0000 C CNN | ||||
| 	1    3150 2450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $EndSCHEMATC | ||||
							
								
								
									
										195
									
								
								samples/KiCad Schematic/buzzer.sch
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										195
									
								
								samples/KiCad Schematic/buzzer.sch
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,195 @@ | ||||
| EESchema Schematic File Version 2 | ||||
| LIBS:simonShield-rescue | ||||
| LIBS:simonLib | ||||
| LIBS:74xgxx | ||||
| LIBS:74xx | ||||
| LIBS:ac-dc | ||||
| LIBS:actel | ||||
| LIBS:adc-dac | ||||
| LIBS:Altera | ||||
| LIBS:analog_devices | ||||
| LIBS:analog_switches | ||||
| LIBS:atmel | ||||
| LIBS:audio | ||||
| LIBS:brooktre | ||||
| LIBS:cmos4000 | ||||
| LIBS:cmos_ieee | ||||
| LIBS:conn | ||||
| LIBS:contrib | ||||
| LIBS:cypress | ||||
| LIBS:dc-dc | ||||
| LIBS:device | ||||
| LIBS:digital-audio | ||||
| LIBS:diode | ||||
| LIBS:display | ||||
| LIBS:dsp | ||||
| LIBS:elec-unifil | ||||
| LIBS:ESD_Protection | ||||
| LIBS:ftdi | ||||
| LIBS:gennum | ||||
| LIBS:graphic | ||||
| LIBS:hc11 | ||||
| LIBS:intel | ||||
| LIBS:interface | ||||
| LIBS:ir | ||||
| LIBS:Lattice | ||||
| LIBS:linear | ||||
| LIBS:logo | ||||
| LIBS:maxim | ||||
| LIBS:memory | ||||
| LIBS:microchip | ||||
| LIBS:microchip_dspic33dsc | ||||
| LIBS:microchip_pic10mcu | ||||
| LIBS:microchip_pic12mcu | ||||
| LIBS:microchip_pic16mcu | ||||
| LIBS:microchip_pic18mcu | ||||
| LIBS:microchip_pic32mcu | ||||
| LIBS:microcontrollers | ||||
| LIBS:motor_drivers | ||||
| LIBS:motorola | ||||
| LIBS:msp430 | ||||
| LIBS:nordicsemi | ||||
| LIBS:nxp_armmcu | ||||
| LIBS:onsemi | ||||
| LIBS:opto | ||||
| LIBS:Oscillators | ||||
| LIBS:philips | ||||
| LIBS:power | ||||
| LIBS:powerint | ||||
| LIBS:Power_Management | ||||
| LIBS:pspice | ||||
| LIBS:references | ||||
| LIBS:regul | ||||
| LIBS:relays | ||||
| LIBS:rfcom | ||||
| LIBS:sensors | ||||
| LIBS:silabs | ||||
| LIBS:siliconi | ||||
| LIBS:stm8 | ||||
| LIBS:stm32 | ||||
| LIBS:supertex | ||||
| LIBS:switches | ||||
| LIBS:texas | ||||
| LIBS:transf | ||||
| LIBS:transistors | ||||
| LIBS:ttl_ieee | ||||
| LIBS:valves | ||||
| LIBS:video | ||||
| LIBS:Worldsemi | ||||
| LIBS:Xicor | ||||
| LIBS:xilinx | ||||
| LIBS:Zilog | ||||
| LIBS:simonShield-cache | ||||
| EELAYER 25 0 | ||||
| EELAYER END | ||||
| $Descr A4 11693 8268 | ||||
| encoding utf-8 | ||||
| Sheet 3 5 | ||||
| Title "Poncho Simon EDU-CIAA" | ||||
| Date "2016-07-26" | ||||
| Rev "1.0" | ||||
| Comp "Proyecto CIAA" | ||||
| Comment1 "Juan Agustin Bassi" | ||||
| Comment2 "CESE - Diseño PCB" | ||||
| Comment3 "Licencia BSD" | ||||
| Comment4 "" | ||||
| $EndDescr | ||||
| $Comp | ||||
| L BUZZER U1 | ||||
| U 1 1 5777FCBE | ||||
| P 5600 4150 | ||||
| F 0 "U1" H 5600 4150 60  0000 C CNN | ||||
| F 1 "BUZZER" H 5600 4150 60  0000 C CNN | ||||
| F 2 "footprints:MagneticBuzzer_ProSignal_ABT-410-RC" H 5600 4150 60  0001 C CNN | ||||
| F 3 "" H 5600 4150 60  0000 C CNN | ||||
| F 4 "445-2525-1-ND" H 5600 4150 60  0001 C CNN "Digikey#" | ||||
| 	1    5600 4150 | ||||
| 	0    1    1    0    | ||||
| $EndComp | ||||
| $Comp | ||||
| L BC547 Q1 | ||||
| U 1 1 5777FCC6 | ||||
| P 5500 3350 | ||||
| F 0 "Q1" H 5700 3425 50  0000 L CNN | ||||
| F 1 "BC547" H 5700 3350 50  0000 L CNN | ||||
| F 2 "simonShield:TO-92_Molded_Narrow" H 5700 3275 50  0000 L CIN | ||||
| F 3 "" H 5500 3350 50  0000 L CNN | ||||
| F 4 "BC33725TACT-ND" H 5500 3350 60  0001 C CNN "Digikey#" | ||||
| 	1    5500 3350 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L R R9 | ||||
| U 1 1 5777FCCD | ||||
| P 5050 3350 | ||||
| F 0 "R9" V 5130 3350 50  0000 C CNN | ||||
| F 1 "3K3" V 5050 3350 50  0000 C CNN | ||||
| F 2 "footprints:Resistor_Horizontal_RM7mm" V 4980 3350 50  0001 C CNN | ||||
| F 3 "" H 5050 3350 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 5050 3350 60  0001 C CNN "Digikey#" | ||||
| 	1    5050 3350 | ||||
| 	0    1    1    0    | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR017 | ||||
| U 1 1 5777FCDA | ||||
| P 5600 4850 | ||||
| F 0 "#PWR017" H 5600 4600 50  0001 C CNN | ||||
| F 1 "GND" H 5600 4700 50  0000 C CNN | ||||
| F 2 "" H 5600 4850 50  0000 C CNN | ||||
| F 3 "" H 5600 4850 50  0000 C CNN | ||||
| 	1    5600 4850 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	5600 2600 5600 3150 | ||||
| Wire Wire Line | ||||
| 	5600 3550 5600 3700 | ||||
| Wire Wire Line | ||||
| 	5600 4700 5600 4850 | ||||
| Wire Wire Line | ||||
| 	5200 3350 5300 3350 | ||||
| Text HLabel 4700 3050 0    60   Input ~ 0 | ||||
| PWM | ||||
| Wire Wire Line | ||||
| 	4700 3050 4700 3350 | ||||
| Wire Wire Line | ||||
| 	4700 3350 4900 3350 | ||||
| $Comp | ||||
| L R R10 | ||||
| U 1 1 577960FD | ||||
| P 5600 2450 | ||||
| F 0 "R10" V 5680 2450 50  0000 C CNN | ||||
| F 1 "1K" H 5600 2450 50  0000 C CNN | ||||
| F 2 "footprints:Resistor_Horizontal_RM7mm" V 5530 2450 50  0001 C CNN | ||||
| F 3 "" H 5600 2450 50  0000 C CNN | ||||
| F 4 "680EBK-ND" H 5600 2450 60  0001 C CNN "Digikey#" | ||||
| 	1    5600 2450 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	5600 2100 5600 2300 | ||||
| Wire Notes Line | ||||
| 	3800 1000 3800 5450 | ||||
| Wire Notes Line | ||||
| 	3800 5450 7650 5450 | ||||
| Wire Notes Line | ||||
| 	7650 5450 7650 1000 | ||||
| Wire Notes Line | ||||
| 	7650 1350 3800 1350 | ||||
| Wire Notes Line | ||||
| 	7650 1000 3800 1000 | ||||
| Text Notes 5350 1250 0    60   ~ 12 | ||||
| BUZZER CIRCUIT | ||||
| $Comp | ||||
| L VDD-RESCUE-simonShield #PWR018 | ||||
| U 1 1 5777FCD4 | ||||
| P 5600 2100 | ||||
| F 0 "#PWR018" H 5600 1950 50  0001 C CNN | ||||
| F 1 "VDD" H 5600 2250 50  0000 C CNN | ||||
| F 2 "" H 5600 2100 50  0000 C CNN | ||||
| F 3 "" H 5600 2100 50  0000 C CNN | ||||
| 	1    5600 2100 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $EndSCHEMATC | ||||
							
								
								
									
										260
									
								
								samples/KiCad Schematic/ciaaConector.sch
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										260
									
								
								samples/KiCad Schematic/ciaaConector.sch
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,260 @@ | ||||
| EESchema Schematic File Version 2 | ||||
| LIBS:simonLib | ||||
| LIBS:power | ||||
| LIBS:simonShield-cache | ||||
| EELAYER 25 0 | ||||
| EELAYER END | ||||
| $Descr A4 11693 8268 | ||||
| encoding utf-8 | ||||
| Sheet 4 4 | ||||
| Title "Poncho Simon EDU-CIAA" | ||||
| Date "2016-07-26" | ||||
| Rev "1.0" | ||||
| Comp "Proyecto CIAA" | ||||
| Comment1 "Juan Agustin Bassi" | ||||
| Comment2 "CESE - Diseño PCB" | ||||
| Comment3 "Licencia BSD" | ||||
| Comment4 "" | ||||
| $EndDescr | ||||
| $Comp | ||||
| L GND #PWR029 | ||||
| U 1 1 57781CE9 | ||||
| P 3200 3000 | ||||
| F 0 "#PWR029" H 3200 2750 50  0001 C CNN | ||||
| F 1 "GND" H 3200 2850 50  0000 C CNN | ||||
| F 2 "" H 3200 3000 50  0000 C CNN | ||||
| F 3 "" H 3200 3000 50  0000 C CNN | ||||
| 	1    3200 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L Conn_Poncho2P_2x_20x2 XA? | ||||
| U 2 1 57781CEF | ||||
| P 3900 3050 | ||||
| AR Path="/57781CEF" Ref="XA?"  Part="2"  | ||||
| AR Path="/57781B52/57781CEF" Ref="XA1"  Part="2"  | ||||
| F 0 "XA1" H 4200 3450 60  0000 C CNN | ||||
| F 1 "Conn_Poncho2P_2x_20x2" H 4250 1350 60  0000 C CNN | ||||
| F 2 "simonShield:Conn_Poncho_SinBorde" H 3900 3050 60  0001 C CNN | ||||
| F 3 "" H 3900 3050 60  0000 C CNN | ||||
| F 4 "952-2121-ND" H 3900 3050 60  0001 C CNN "Digikey#" | ||||
| 	2    3900 3050 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L PWR_JUMPER P1 | ||||
| U 1 1 57781CF6 | ||||
| P 4250 2250 | ||||
| F 0 "P1" H 4250 2400 50  0000 C CNN | ||||
| F 1 "PWR_JUMPER" H 4250 2100 50  0000 C CNN | ||||
| F 2 "simonShield:Pin_Header_Straight_2x02" H 4250 1050 50  0001 C CNN | ||||
| F 3 "" H 4250 1050 50  0000 C CNN | ||||
| F 4 "952-2121-ND" H 4250 2250 60  0001 C CNN "Digikey#" | ||||
| 	1    4250 2250 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| NoConn ~ 4850 2850 | ||||
| NoConn ~ 4850 2950 | ||||
| NoConn ~ 4850 3050 | ||||
| NoConn ~ 4850 3150 | ||||
| NoConn ~ 4850 3250 | ||||
| NoConn ~ 4850 3350 | ||||
| NoConn ~ 4850 3450 | ||||
| NoConn ~ 3650 4050 | ||||
| NoConn ~ 3650 3950 | ||||
| NoConn ~ 3650 3850 | ||||
| NoConn ~ 3650 3750 | ||||
| NoConn ~ 3650 3650 | ||||
| NoConn ~ 3650 3550 | ||||
| NoConn ~ 3650 3450 | ||||
| NoConn ~ 3650 3350 | ||||
| NoConn ~ 3650 3250 | ||||
| NoConn ~ 3650 3050 | ||||
| NoConn ~ 3650 2950 | ||||
| Text HLabel 4850 3750 2    60   Input ~ 0 | ||||
| BTN_CFG_1 | ||||
| Text HLabel 4850 3850 2    60   Input ~ 0 | ||||
| BTN_CFG_2 | ||||
| Text HLabel 4850 4450 2    60   Input ~ 0 | ||||
| BTN_CFG_3 | ||||
| Text HLabel 4850 4650 2    60   Input ~ 0 | ||||
| BTN_CFG_4 | ||||
| Text HLabel 3650 4350 0    60   Input ~ 0 | ||||
| LED_4 | ||||
| Text HLabel 4850 4350 2    60   Input ~ 0 | ||||
| LED_3 | ||||
| Text HLabel 4850 4050 2    60   Input ~ 0 | ||||
| LED_2 | ||||
| Text HLabel 4850 3550 2    60   Input ~ 0 | ||||
| LED_1 | ||||
| Text HLabel 3650 4450 0    60   Input ~ 0 | ||||
| BTN_LED_4 | ||||
| Text HLabel 4850 4550 2    60   Input ~ 0 | ||||
| BTN_LED_3 | ||||
| Text HLabel 4850 3950 2    60   Input ~ 0 | ||||
| BTN_LED_2 | ||||
| Text HLabel 4850 3650 2    60   Input ~ 0 | ||||
| BTN_LED_1 | ||||
| Text HLabel 3650 3150 0    60   Input ~ 0 | ||||
| PWM | ||||
| $Comp | ||||
| L Conn_Poncho2P_2x_20x2 XA1 | ||||
| U 1 1 577946F6 | ||||
| P 7400 3000 | ||||
| F 0 "XA1" H 7700 3400 60  0000 C CNN | ||||
| F 1 "Conn_Poncho2P_2x_20x2" H 7750 1300 60  0000 C CNN | ||||
| F 2 "simonShield:Conn_Poncho_SinBorde" H 7400 3000 60  0001 C CNN | ||||
| F 3 "" H 7400 3000 60  0000 C CNN | ||||
| F 4 "952-2121-ND" H 7400 3000 60  0001 C CNN "Digikey#" | ||||
| 	1    7400 3000 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| NoConn ~ 7150 2700 | ||||
| NoConn ~ 7150 2800 | ||||
| NoConn ~ 7150 2900 | ||||
| NoConn ~ 7150 3000 | ||||
| NoConn ~ 7150 3100 | ||||
| NoConn ~ 7150 3200 | ||||
| NoConn ~ 7150 3300 | ||||
| NoConn ~ 7150 3400 | ||||
| NoConn ~ 7150 3500 | ||||
| NoConn ~ 7150 3600 | ||||
| NoConn ~ 7150 3700 | ||||
| NoConn ~ 7150 3800 | ||||
| NoConn ~ 7150 3900 | ||||
| NoConn ~ 7150 4000 | ||||
| NoConn ~ 7150 4100 | ||||
| NoConn ~ 7150 4200 | ||||
| NoConn ~ 7150 4300 | ||||
| NoConn ~ 7150 4400 | ||||
| NoConn ~ 7150 4500 | ||||
| NoConn ~ 7150 4600 | ||||
| NoConn ~ 8350 4600 | ||||
| NoConn ~ 8350 4500 | ||||
| NoConn ~ 8350 4400 | ||||
| NoConn ~ 8350 4300 | ||||
| NoConn ~ 8350 4200 | ||||
| NoConn ~ 8350 4100 | ||||
| NoConn ~ 8350 4000 | ||||
| NoConn ~ 8350 3900 | ||||
| NoConn ~ 8350 3800 | ||||
| NoConn ~ 8350 3700 | ||||
| NoConn ~ 8350 3600 | ||||
| NoConn ~ 8350 3500 | ||||
| NoConn ~ 8350 3400 | ||||
| NoConn ~ 8350 3300 | ||||
| NoConn ~ 8350 3200 | ||||
| NoConn ~ 8350 3100 | ||||
| NoConn ~ 8350 3000 | ||||
| NoConn ~ 8350 2900 | ||||
| NoConn ~ 8350 2800 | ||||
| NoConn ~ 8350 2700 | ||||
| Text Notes 5450 1150 0    60   ~ 12 | ||||
| EDU-CIAA NXP CONNECTORS | ||||
| Text Notes 4100 1300 0    60   ~ 12 | ||||
| P2 | ||||
| Text Notes 7700 1300 0    60   ~ 12 | ||||
| P1 | ||||
| $Comp | ||||
| L GND #PWR030 | ||||
| U 1 1 578F601E | ||||
| P 3400 4750 | ||||
| F 0 "#PWR030" H 3400 4500 50  0001 C CNN | ||||
| F 1 "GND" H 3400 4600 50  0000 C CNN | ||||
| F 2 "" H 3400 4750 50  0000 C CNN | ||||
| F 3 "" H 3400 4750 50  0000 C CNN | ||||
| 	1    3400 4750 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L GND #PWR031 | ||||
| U 1 1 57781D17 | ||||
| P 5150 2900 | ||||
| F 0 "#PWR031" H 5150 2650 50  0001 C CNN | ||||
| F 1 "GND" H 5150 2750 50  0000 C CNN | ||||
| F 2 "" H 5150 2900 50  0000 C CNN | ||||
| F 3 "" H 5150 2900 50  0000 C CNN | ||||
| 	1    5150 2900 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L C_100nF C1 | ||||
| U 1 1 57781D10 | ||||
| P 5150 2550 | ||||
| F 0 "C1" H 5150 2650 40  0000 L CNN | ||||
| F 1 "C_100nF" H 5156 2465 40  0000 L CNN | ||||
| F 2 "simonShield:C_Disc_D3_P2.5" H 5188 2400 30  0001 C CNN | ||||
| F 3 "" H 5150 2550 60  0000 C CNN | ||||
| F 4 "BC1160TRND" H 5150 2550 60  0001 C CNN "Digikey#" | ||||
| 	1    5150 2550 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| $Comp | ||||
| L VCC #PWR032 | ||||
| U 1 1 5798B140 | ||||
| P 4800 2050 | ||||
| F 0 "#PWR032" H 4800 1900 50  0001 C CNN | ||||
| F 1 "VCC" H 4800 2200 50  0000 C CNN | ||||
| F 2 "" H 4800 2050 50  0000 C CNN | ||||
| F 3 "" H 4800 2050 50  0000 C CNN | ||||
| 	1    4800 2050 | ||||
| 	1    0    0    -1   | ||||
| $EndComp | ||||
| Wire Wire Line | ||||
| 	4850 2750 4900 2750 | ||||
| Wire Wire Line | ||||
| 	4900 2750 4900 2500 | ||||
| Wire Wire Line | ||||
| 	4900 2500 3800 2500 | ||||
| Wire Wire Line | ||||
| 	3800 2500 3800 2300 | ||||
| Wire Wire Line | ||||
| 	3800 2300 4000 2300 | ||||
| Wire Wire Line | ||||
| 	3650 2750 3600 2750 | ||||
| Wire Wire Line | ||||
| 	3600 2750 3600 2200 | ||||
| Wire Wire Line | ||||
| 	3600 2200 4000 2200 | ||||
| Wire Wire Line | ||||
| 	3200 2850 3200 3000 | ||||
| Wire Wire Line | ||||
| 	3650 2850 3200 2850 | ||||
| Wire Notes Line | ||||
| 	1950 1050 1950 5450 | ||||
| Wire Notes Line | ||||
| 	1950 5450 9850 5450 | ||||
| Wire Notes Line | ||||
| 	9850 5450 9850 1050 | ||||
| Wire Notes Line | ||||
| 	9850 1050 1950 1050 | ||||
| Wire Notes Line | ||||
| 	1950 1200 9850 1200 | ||||
| Wire Notes Line | ||||
| 	9850 1350 1950 1350 | ||||
| Wire Notes Line | ||||
| 	6050 1200 6050 5450 | ||||
| Wire Wire Line | ||||
| 	3650 4650 3400 4650 | ||||
| Wire Wire Line | ||||
| 	3400 4550 3400 4750 | ||||
| Wire Wire Line | ||||
| 	3650 4550 3400 4550 | ||||
| Connection ~ 3400 4650 | ||||
| Wire Wire Line | ||||
| 	5150 2750 5150 2900 | ||||
| Wire Wire Line | ||||
| 	4500 2200 4800 2200 | ||||
| Wire Wire Line | ||||
| 	4800 2300 4800 2050 | ||||
| Wire Wire Line | ||||
| 	4500 2300 5150 2300 | ||||
| Connection ~ 4800 2200 | ||||
| Wire Wire Line | ||||
| 	5150 2300 5150 2350 | ||||
| Connection ~ 4800 2300 | ||||
| NoConn ~ 3650 4250 | ||||
| NoConn ~ 3650 4150 | ||||
| NoConn ~ 4850 4150 | ||||
| NoConn ~ 4850 4250 | ||||
| $EndSCHEMATC | ||||
							
								
								
									
										137
									
								
								samples/KiCad Schematic/gedda-junk.sch
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										137
									
								
								samples/KiCad Schematic/gedda-junk.sch
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,137 @@ | ||||
| v 20080706 2 | ||||
| T 10000 20000 9 10 1 0 0 0 1 | ||||
| _0_0_   0.sym | ||||
| T 10000 19800 9 10 1 0 0 0 1 | ||||
| _1_1_   1.sym | ||||
| T 10000 19600 9 10 1 0 0 0 1 | ||||
| _2_2_   2.sym | ||||
| T 10000 19400 9 10 1 0 0 0 1 | ||||
| _3_3_   3.sym | ||||
| T 10000 19200 9 10 1 0 0 0 1 | ||||
| _4_4_   4.sym | ||||
| T 10000 19000 9 10 1 0 0 0 1 | ||||
| _5_5_   5.sym | ||||
| T 10000 18800 9 10 1 0 0 0 1 | ||||
| _6_6_   6.sym | ||||
| T 10000 18600 9 10 1 0 0 0 1 | ||||
| _7_7_   7.sym | ||||
| T 10000 18400 9 10 1 0 0 0 1 | ||||
| _8_8_   8.sym | ||||
| T 10000 18200 9 10 1 0 0 0 1 | ||||
| _9_9_   9.sym | ||||
| T 18000 17200 9 10 1 0 0 0 1 | ||||
| _q_q_   q_.sym | ||||
| v 20130925 2 | ||||
| C 40000 40000 0 0 0 title-B.sym | ||||
| N 43500 47000 44200 47000 4 | ||||
| N 44200 47000 44200 49400 4 | ||||
| N 44200 49400 41800 49400 4 | ||||
| N 41800 47300 41800 49400 4 | ||||
| N 41800 47300 41500 47300 4 | ||||
| N 41500 47300 41500 45600 4 | ||||
| N 41500 45600 41600 45600 4 | ||||
| N 41600 45600 41600 44600 4 | ||||
| N 41100 44600 41600 44600 4 | ||||
| N 41100 44600 41100 42900 4 | ||||
| N 41100 42900 42400 42900 4 | ||||
| N 42400 42900 42400 43600 4 | ||||
| N 42400 43600 41000 43600 4 | ||||
| N 41000 43600 41000 41300 4 | ||||
| U 45300 49600 45300 43900 10 0 | ||||
| U 45300 43900 53800 43900 10 0 | ||||
| U 53800 43900 53800 45900 10 0 | ||||
| U 53800 45900 53100 45900 10 0 | ||||
| U 53100 45900 53100 47300 10 0 | ||||
| U 53100 47300 50500 47300 10 0 | ||||
| V 48500 47400 900 3 0 0 0 -1 -1 0 -1 -1 -1 -1 -1 | ||||
| P 47300 49100 50100 49100 1 0 0 | ||||
| { | ||||
| T 47300 49100 5 10 0 0 0 0 1 | ||||
| pintype=unknown | ||||
| T 50155 49095 5 10 1 1 0 0 1 | ||||
| pinlabel=unknown | ||||
| T 50005 49145 5 10 1 1 0 6 1 | ||||
| pinnumber=0 | ||||
| T 47300 49100 5 10 0 0 0 0 1 | ||||
| pinseq=0 | ||||
| } | ||||
| P 51800 50000 51800 48500 1 0 0 | ||||
| { | ||||
| T 51800 50000 5 10 0 0 0 0 1 | ||||
| pintype=unknown | ||||
| T 51800 48445 5 10 1 1 90 6 1 | ||||
| pinlabel=unknown | ||||
| T 51750 48595 5 10 1 1 90 0 1 | ||||
| pinnumber=0 | ||||
| T 51800 50000 5 10 0 0 0 0 1 | ||||
| pinseq=0 | ||||
| } | ||||
| P 54500 48500 54500 47900 1 0 0 | ||||
| { | ||||
| T 54500 48500 5 10 0 0 0 0 1 | ||||
| pintype=unknown | ||||
| T 54500 47845 5 10 1 1 90 6 1 | ||||
| pinlabel=unknown | ||||
| T 54450 47995 5 10 1 1 90 0 1 | ||||
| pinnumber=0 | ||||
| T 54500 48500 5 10 0 0 0 0 1 | ||||
| pinseq=0 | ||||
| } | ||||
| C 46700 49800 1 0 0 af_output_transformer-1.sym | ||||
| { | ||||
| T 48000 52200 5 10 0 0 0 0 1 | ||||
| device=AF_OUTPUT_TRANSFORMER | ||||
| T 48000 51900 5 10 1 1 0 0 1 | ||||
| refdes=U? | ||||
| } | ||||
| C 42900 41300 1 0 0 af_output_transformer-1.sym | ||||
| { | ||||
| T 44200 43700 5 10 0 0 0 0 1 | ||||
| device=AF_OUTPUT_TRANSFORMER | ||||
| T 44200 43400 5 10 1 1 0 0 1 | ||||
| refdes=U? | ||||
| } | ||||
| T 48100 42000 9 10 1 0 0 0 1 | ||||
| NFI_LOL | ||||
| C 42200 44500 1 0 0 ssrelay-spdt-lcc110-1.sym | ||||
| { | ||||
| T 42500 47100 5 10 0 0 0 0 1 | ||||
| device=LCC110 | ||||
| T 42500 46700 5 10 0 0 0 0 1 | ||||
| symversion=0.1 | ||||
| T 42500 46250 5 10 1 1 0 0 1 | ||||
| refdes=U? | ||||
| T 42500 46900 5 10 0 0 0 0 1 | ||||
| footprint=DIP8 | ||||
| } | ||||
| U 53200 50000 53200 47900 10 0 | ||||
| U 53200 47900 53700 47900 10 0 | ||||
| U 53700 47900 53700 46500 10 0 | ||||
| U 53700 46500 54200 46500 10 0 | ||||
| U 54200 46500 54200 43800 10 0 | ||||
| U 54200 43800 45500 43800 10 0 | ||||
| U 45500 43800 45500 42600 10 0 | ||||
| U 45500 42600 49200 42600 10 0 | ||||
| U 49200 42600 49200 41500 10 0 | ||||
| U 49200 41500 47700 41500 10 0 | ||||
| U 47700 41500 47700 42200 10 0 | ||||
| U 47700 42200 45300 42200 10 0 | ||||
| U 45300 42200 45300 40500 10 0 | ||||
| U 45300 40500 40900 40500 10 0 | ||||
| U 40900 40500 40900 41000 10 0 | ||||
| U 40900 41000 40500 41000 10 0 | ||||
| U 40500 41000 40500 50300 10 0 | ||||
| U 40500 50300 45800 50300 10 0 | ||||
| U 45800 50300 45800 49700 10 0 | ||||
| U 45800 49700 45300 49700 10 0 | ||||
| U 45300 49700 45300 48100 10 0 | ||||
| U 45300 48100 43600 48100 10 0 | ||||
| C 42500 47400 1 0 0 switch-dip12.sym | ||||
| { | ||||
| T 42800 51700 5 10 1 1 0 0 1 | ||||
| footprint=SWITCH_DIP12 | ||||
| T 42800 51975 5 8 0 0 0 0 1 | ||||
| device=SWITCH_DIP12 | ||||
| T 42800 51350 5 10 1 1 0 0 1 | ||||
| refdes=S? | ||||
| } | ||||
							
								
								
									
										784
									
								
								samples/Scheme/sboyer.sch
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										784
									
								
								samples/Scheme/sboyer.sch
									
									
									
									
									
										Normal file
									
								
							| @@ -0,0 +1,784 @@ | ||||
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
| ; File:         sboyer.sch | ||||
| ; Description:  The Boyer benchmark | ||||
| ; Author:       Bob Boyer | ||||
| ; Created:      5-Apr-85 | ||||
| ; Modified:     10-Apr-85 14:52:20 (Bob Shaw) | ||||
| ;               22-Jul-87 (Will Clinger) | ||||
| ;               2-Jul-88 (Will Clinger -- distinguished #f and the empty list) | ||||
| ;               13-Feb-97 (Will Clinger -- fixed bugs in unifier and rules, | ||||
| ;                          rewrote to eliminate property lists, and added | ||||
| ;                          a scaling parameter suggested by Bob Boyer) | ||||
| ;               19-Mar-99 (Will Clinger -- cleaned up comments) | ||||
| ;               4-Apr-01 (Will Clinger -- changed four 1- symbols to sub1) | ||||
| ; Language:     Scheme | ||||
| ; Status:       Public Domain | ||||
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
|  | ||||
| ;;; SBOYER -- Logic programming benchmark, originally written by Bob Boyer. | ||||
| ;;; Much less CONS-intensive than NBOYER because it uses Henry Baker's | ||||
| ;;; "sharing cons". | ||||
|  | ||||
| ; Note:  The version of this benchmark that appears in Dick Gabriel's book | ||||
| ; contained several bugs that are corrected here.  These bugs are discussed | ||||
| ; by Henry Baker, "The Boyer Benchmark Meets Linear Logic", ACM SIGPLAN Lisp | ||||
| ; Pointers 6(4), October-December 1993, pages 3-10.  The fixed bugs are: | ||||
| ; | ||||
| ;    The benchmark now returns a boolean result. | ||||
| ;    FALSEP and TRUEP use TERM-MEMBER? rather than MEMV (which is called MEMBER | ||||
| ;         in Common Lisp) | ||||
| ;    ONE-WAY-UNIFY1 now treats numbers correctly | ||||
| ;    ONE-WAY-UNIFY1-LST now treats empty lists correctly | ||||
| ;    Rule 19 has been corrected (this rule was not touched by the original | ||||
| ;         benchmark, but is used by this version) | ||||
| ;    Rules 84 and 101 have been corrected (but these rules are never touched | ||||
| ;         by the benchmark) | ||||
| ; | ||||
| ; According to Baker, these bug fixes make the benchmark 10-25% slower. | ||||
| ; Please do not compare the timings from this benchmark against those of | ||||
| ; the original benchmark. | ||||
| ; | ||||
| ; This version of the benchmark also prints the number of rewrites as a sanity | ||||
| ; check, because it is too easy for a buggy version to return the correct | ||||
| ; boolean result.  The correct number of rewrites is | ||||
| ; | ||||
| ;     n      rewrites       peak live storage (approximate, in bytes) | ||||
| ;     0         95024 | ||||
| ;     1        591777 | ||||
| ;     2       1813975 | ||||
| ;     3       5375678 | ||||
| ;     4      16445406 | ||||
| ;     5      51507739 | ||||
|  | ||||
| ; Sboyer is a 2-phase benchmark. | ||||
| ; The first phase attaches lemmas to symbols.  This phase is not timed, | ||||
| ; but it accounts for very little of the runtime anyway. | ||||
| ; The second phase creates the test problem, and tests to see | ||||
| ; whether it is implied by the lemmas. | ||||
|  | ||||
| (define (sboyer-benchmark . args) | ||||
|   (let ((n (if (null? args) 0 (car args)))) | ||||
|     (setup-boyer) | ||||
|     (run-benchmark (string-append "sboyer" | ||||
|                                   (number->string n)) | ||||
|                    1 | ||||
|                    (lambda () (test-boyer n)) | ||||
|                    (lambda (rewrites) | ||||
|                      (and (number? rewrites) | ||||
|                           (case n | ||||
|                            ((0)  (= rewrites 95024)) | ||||
|                            ((1)  (= rewrites 591777)) | ||||
|                            ((2)  (= rewrites 1813975)) | ||||
|                            ((3)  (= rewrites 5375678)) | ||||
|                            ((4)  (= rewrites 16445406)) | ||||
|                            ((5)  (= rewrites 51507739)) | ||||
|                            ; If it works for n <= 5, assume it works. | ||||
|                            (else #t))))))) | ||||
|  | ||||
| (define (setup-boyer) #t) ; assigned below | ||||
| (define (test-boyer) #t)  ; assigned below | ||||
|  | ||||
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
| ; | ||||
| ; The first phase. | ||||
| ; | ||||
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
|  | ||||
| ; In the original benchmark, it stored a list of lemmas on the | ||||
| ; property lists of symbols. | ||||
| ; In the new benchmark, it maintains an association list of | ||||
| ; symbols and symbol-records, and stores the list of lemmas | ||||
| ; within the symbol-records. | ||||
|  | ||||
| (let () | ||||
|    | ||||
|   (define (setup) | ||||
|     (add-lemma-lst | ||||
|      (quote ((equal (compile form) | ||||
|                     (reverse (codegen (optimize form) | ||||
|                                       (nil)))) | ||||
|              (equal (eqp x y) | ||||
|                     (equal (fix x) | ||||
|                            (fix y))) | ||||
|              (equal (greaterp x y) | ||||
|                     (lessp y x)) | ||||
|              (equal (lesseqp x y) | ||||
|                     (not (lessp y x))) | ||||
|              (equal (greatereqp x y) | ||||
|                     (not (lessp x y))) | ||||
|              (equal (boolean x) | ||||
|                     (or (equal x (t)) | ||||
|                         (equal x (f)))) | ||||
|              (equal (iff x y) | ||||
|                     (and (implies x y) | ||||
|                          (implies y x))) | ||||
|              (equal (even1 x) | ||||
|                     (if (zerop x) | ||||
|                         (t) | ||||
|                         (odd (sub1 x)))) | ||||
|              (equal (countps- l pred) | ||||
|                     (countps-loop l pred (zero))) | ||||
|              (equal (fact- i) | ||||
|                     (fact-loop i 1)) | ||||
|              (equal (reverse- x) | ||||
|                     (reverse-loop x (nil))) | ||||
|              (equal (divides x y) | ||||
|                     (zerop (remainder y x))) | ||||
|              (equal (assume-true var alist) | ||||
|                     (cons (cons var (t)) | ||||
|                           alist)) | ||||
|              (equal (assume-false var alist) | ||||
|                     (cons (cons var (f)) | ||||
|                           alist)) | ||||
|              (equal (tautology-checker x) | ||||
|                     (tautologyp (normalize x) | ||||
|                                 (nil))) | ||||
|              (equal (falsify x) | ||||
|                     (falsify1 (normalize x) | ||||
|                               (nil))) | ||||
|              (equal (prime x) | ||||
|                     (and (not (zerop x)) | ||||
|                          (not (equal x (add1 (zero)))) | ||||
|                          (prime1 x (sub1 x)))) | ||||
|              (equal (and p q) | ||||
|                     (if p (if q (t) | ||||
|                                 (f)) | ||||
|                           (f))) | ||||
|              (equal (or p q) | ||||
|                     (if p (t) | ||||
|                           (if q (t) | ||||
|                                 (f)))) | ||||
|              (equal (not p) | ||||
|                     (if p (f) | ||||
|                           (t))) | ||||
|              (equal (implies p q) | ||||
|                     (if p (if q (t) | ||||
|                                 (f)) | ||||
|                           (t))) | ||||
|              (equal (fix x) | ||||
|                     (if (numberp x) | ||||
|                         x | ||||
|                         (zero))) | ||||
|              (equal (if (if a b c) | ||||
|                         d e) | ||||
|                     (if a (if b d e) | ||||
|                           (if c d e))) | ||||
|              (equal (zerop x) | ||||
|                     (or (equal x (zero)) | ||||
|                         (not (numberp x)))) | ||||
|              (equal (plus (plus x y) | ||||
|                           z) | ||||
|                     (plus x (plus y z))) | ||||
|              (equal (equal (plus a b) | ||||
|                            (zero)) | ||||
|                     (and (zerop a) | ||||
|                          (zerop b))) | ||||
|              (equal (difference x x) | ||||
|                     (zero)) | ||||
|              (equal (equal (plus a b) | ||||
|                            (plus a c)) | ||||
|                     (equal (fix b) | ||||
|                            (fix c))) | ||||
|              (equal (equal (zero) | ||||
|                            (difference x y)) | ||||
|                     (not (lessp y x))) | ||||
|              (equal (equal x (difference x y)) | ||||
|                     (and (numberp x) | ||||
|                          (or (equal x (zero)) | ||||
|                              (zerop y)))) | ||||
|              (equal (meaning (plus-tree (append x y)) | ||||
|                              a) | ||||
|                     (plus (meaning (plus-tree x) | ||||
|                                    a) | ||||
|                           (meaning (plus-tree y) | ||||
|                                    a))) | ||||
|              (equal (meaning (plus-tree (plus-fringe x)) | ||||
|                              a) | ||||
|                     (fix (meaning x a))) | ||||
|              (equal (append (append x y) | ||||
|                             z) | ||||
|                     (append x (append y z))) | ||||
|              (equal (reverse (append a b)) | ||||
|                     (append (reverse b) | ||||
|                             (reverse a))) | ||||
|              (equal (times x (plus y z)) | ||||
|                     (plus (times x y) | ||||
|                           (times x z))) | ||||
|              (equal (times (times x y) | ||||
|                            z) | ||||
|                     (times x (times y z))) | ||||
|              (equal (equal (times x y) | ||||
|                            (zero)) | ||||
|                     (or (zerop x) | ||||
|                         (zerop y))) | ||||
|              (equal (exec (append x y) | ||||
|                           pds envrn) | ||||
|                     (exec y (exec x pds envrn) | ||||
|                             envrn)) | ||||
|              (equal (mc-flatten x y) | ||||
|                     (append (flatten x) | ||||
|                             y)) | ||||
|              (equal (member x (append a b)) | ||||
|                     (or (member x a) | ||||
|                         (member x b))) | ||||
|              (equal (member x (reverse y)) | ||||
|                     (member x y)) | ||||
|              (equal (length (reverse x)) | ||||
|                     (length x)) | ||||
|              (equal (member a (intersect b c)) | ||||
|                     (and (member a b) | ||||
|                          (member a c))) | ||||
|              (equal (nth (zero) | ||||
|                          i) | ||||
|                     (zero)) | ||||
|              (equal (exp i (plus j k)) | ||||
|                     (times (exp i j) | ||||
|                            (exp i k))) | ||||
|              (equal (exp i (times j k)) | ||||
|                     (exp (exp i j) | ||||
|                          k)) | ||||
|              (equal (reverse-loop x y) | ||||
|                     (append (reverse x) | ||||
|                             y)) | ||||
|              (equal (reverse-loop x (nil)) | ||||
|                     (reverse x)) | ||||
|              (equal (count-list z (sort-lp x y)) | ||||
|                     (plus (count-list z x) | ||||
|                           (count-list z y))) | ||||
|              (equal (equal (append a b) | ||||
|                            (append a c)) | ||||
|                     (equal b c)) | ||||
|              (equal (plus (remainder x y) | ||||
|                           (times y (quotient x y))) | ||||
|                     (fix x)) | ||||
|              (equal (power-eval (big-plus1 l i base) | ||||
|                                 base) | ||||
|                     (plus (power-eval l base) | ||||
|                           i)) | ||||
|              (equal (power-eval (big-plus x y i base) | ||||
|                                 base) | ||||
|                     (plus i (plus (power-eval x base) | ||||
|                                   (power-eval y base)))) | ||||
|              (equal (remainder y 1) | ||||
|                     (zero)) | ||||
|              (equal (lessp (remainder x y) | ||||
|                            y) | ||||
|                     (not (zerop y))) | ||||
|              (equal (remainder x x) | ||||
|                     (zero)) | ||||
|              (equal (lessp (quotient i j) | ||||
|                            i) | ||||
|                     (and (not (zerop i)) | ||||
|                          (or (zerop j) | ||||
|                              (not (equal j 1))))) | ||||
|              (equal (lessp (remainder x y) | ||||
|                            x) | ||||
|                     (and (not (zerop y)) | ||||
|                          (not (zerop x)) | ||||
|                          (not (lessp x y)))) | ||||
|              (equal (power-eval (power-rep i base) | ||||
|                                 base) | ||||
|                     (fix i)) | ||||
|              (equal (power-eval (big-plus (power-rep i base) | ||||
|                                           (power-rep j base) | ||||
|                                           (zero) | ||||
|                                           base) | ||||
|                                 base) | ||||
|                     (plus i j)) | ||||
|              (equal (gcd x y) | ||||
|                     (gcd y x)) | ||||
|              (equal (nth (append a b) | ||||
|                          i) | ||||
|                     (append (nth a i) | ||||
|                             (nth b (difference i (length a))))) | ||||
|              (equal (difference (plus x y) | ||||
|                                 x) | ||||
|                     (fix y)) | ||||
|              (equal (difference (plus y x) | ||||
|                                 x) | ||||
|                     (fix y)) | ||||
|              (equal (difference (plus x y) | ||||
|                                 (plus x z)) | ||||
|                     (difference y z)) | ||||
|              (equal (times x (difference c w)) | ||||
|                     (difference (times c x) | ||||
|                                 (times w x))) | ||||
|              (equal (remainder (times x z) | ||||
|                                z) | ||||
|                     (zero)) | ||||
|              (equal (difference (plus b (plus a c)) | ||||
|                                 a) | ||||
|                     (plus b c)) | ||||
|              (equal (difference (add1 (plus y z)) | ||||
|                                 z) | ||||
|                     (add1 y)) | ||||
|              (equal (lessp (plus x y) | ||||
|                            (plus x z)) | ||||
|                     (lessp y z)) | ||||
|              (equal (lessp (times x z) | ||||
|                            (times y z)) | ||||
|                     (and (not (zerop z)) | ||||
|                          (lessp x y))) | ||||
|              (equal (lessp y (plus x y)) | ||||
|                     (not (zerop x))) | ||||
|              (equal (gcd (times x z) | ||||
|                          (times y z)) | ||||
|                     (times z (gcd x y))) | ||||
|              (equal (value (normalize x) | ||||
|                            a) | ||||
|                     (value x a)) | ||||
|              (equal (equal (flatten x) | ||||
|                            (cons y (nil))) | ||||
|                     (and (nlistp x) | ||||
|                          (equal x y))) | ||||
|              (equal (listp (gopher x)) | ||||
|                     (listp x)) | ||||
|              (equal (samefringe x y) | ||||
|                     (equal (flatten x) | ||||
|                            (flatten y))) | ||||
|              (equal (equal (greatest-factor x y) | ||||
|                            (zero)) | ||||
|                     (and (or (zerop y) | ||||
|                              (equal y 1)) | ||||
|                          (equal x (zero)))) | ||||
|              (equal (equal (greatest-factor x y) | ||||
|                            1) | ||||
|                     (equal x 1)) | ||||
|              (equal (numberp (greatest-factor x y)) | ||||
|                     (not (and (or (zerop y) | ||||
|                                   (equal y 1)) | ||||
|                               (not (numberp x))))) | ||||
|              (equal (times-list (append x y)) | ||||
|                     (times (times-list x) | ||||
|                            (times-list y))) | ||||
|              (equal (prime-list (append x y)) | ||||
|                     (and (prime-list x) | ||||
|                          (prime-list y))) | ||||
|              (equal (equal z (times w z)) | ||||
|                     (and (numberp z) | ||||
|                          (or (equal z (zero)) | ||||
|                              (equal w 1)))) | ||||
|              (equal (greatereqp x y) | ||||
|                     (not (lessp x y))) | ||||
|              (equal (equal x (times x y)) | ||||
|                     (or (equal x (zero)) | ||||
|                         (and (numberp x) | ||||
|                              (equal y 1)))) | ||||
|              (equal (remainder (times y x) | ||||
|                                y) | ||||
|                     (zero)) | ||||
|              (equal (equal (times a b) | ||||
|                            1) | ||||
|                     (and (not (equal a (zero))) | ||||
|                          (not (equal b (zero))) | ||||
|                          (numberp a) | ||||
|                          (numberp b) | ||||
|                          (equal (sub1 a) | ||||
|                                 (zero)) | ||||
|                          (equal (sub1 b) | ||||
|                                 (zero)))) | ||||
|              (equal (lessp (length (delete x l)) | ||||
|                            (length l)) | ||||
|                     (member x l)) | ||||
|              (equal (sort2 (delete x l)) | ||||
|                     (delete x (sort2 l))) | ||||
|              (equal (dsort x) | ||||
|                     (sort2 x)) | ||||
|              (equal (length (cons x1 | ||||
|                                   (cons x2 | ||||
|                                         (cons x3 (cons x4 | ||||
|                                                        (cons x5 | ||||
|                                                              (cons x6 x7))))))) | ||||
|                     (plus 6 (length x7))) | ||||
|              (equal (difference (add1 (add1 x)) | ||||
|                                 2) | ||||
|                     (fix x)) | ||||
|              (equal (quotient (plus x (plus x y)) | ||||
|                               2) | ||||
|                     (plus x (quotient y 2))) | ||||
|              (equal (sigma (zero) | ||||
|                            i) | ||||
|                     (quotient (times i (add1 i)) | ||||
|                               2)) | ||||
|              (equal (plus x (add1 y)) | ||||
|                     (if (numberp y) | ||||
|                         (add1 (plus x y)) | ||||
|                         (add1 x))) | ||||
|              (equal (equal (difference x y) | ||||
|                            (difference z y)) | ||||
|                     (if (lessp x y) | ||||
|                         (not (lessp y z)) | ||||
|                         (if (lessp z y) | ||||
|                             (not (lessp y x)) | ||||
|                             (equal (fix x) | ||||
|                                    (fix z))))) | ||||
|              (equal (meaning (plus-tree (delete x y)) | ||||
|                              a) | ||||
|                     (if (member x y) | ||||
|                         (difference (meaning (plus-tree y) | ||||
|                                              a) | ||||
|                                     (meaning x a)) | ||||
|                         (meaning (plus-tree y) | ||||
|                                  a))) | ||||
|              (equal (times x (add1 y)) | ||||
|                     (if (numberp y) | ||||
|                         (plus x (times x y)) | ||||
|                         (fix x))) | ||||
|              (equal (nth (nil) | ||||
|                          i) | ||||
|                     (if (zerop i) | ||||
|                         (nil) | ||||
|                         (zero))) | ||||
|              (equal (last (append a b)) | ||||
|                     (if (listp b) | ||||
|                         (last b) | ||||
|                         (if (listp a) | ||||
|                             (cons (car (last a)) | ||||
|                                   b) | ||||
|                             b))) | ||||
|              (equal (equal (lessp x y) | ||||
|                            z) | ||||
|                     (if (lessp x y) | ||||
|                         (equal (t) z) | ||||
|                         (equal (f) z))) | ||||
|              (equal (assignment x (append a b)) | ||||
|                     (if (assignedp x a) | ||||
|                         (assignment x a) | ||||
|                         (assignment x b))) | ||||
|              (equal (car (gopher x)) | ||||
|                     (if (listp x) | ||||
|                         (car (flatten x)) | ||||
|                         (zero))) | ||||
|              (equal (flatten (cdr (gopher x))) | ||||
|                     (if (listp x) | ||||
|                         (cdr (flatten x)) | ||||
|                         (cons (zero) | ||||
|                               (nil)))) | ||||
|              (equal (quotient (times y x) | ||||
|                               y) | ||||
|                     (if (zerop y) | ||||
|                         (zero) | ||||
|                         (fix x))) | ||||
|              (equal (get j (set i val mem)) | ||||
|                     (if (eqp j i) | ||||
|                         val | ||||
|                         (get j mem))))))) | ||||
|    | ||||
|   (define (add-lemma-lst lst) | ||||
|     (cond ((null? lst) | ||||
|            #t) | ||||
|           (else (add-lemma (car lst)) | ||||
|                 (add-lemma-lst (cdr lst))))) | ||||
|    | ||||
|   (define (add-lemma term) | ||||
|     (cond ((and (pair? term) | ||||
|                 (eq? (car term) | ||||
|                      (quote equal)) | ||||
|                 (pair? (cadr term))) | ||||
|            (put (car (cadr term)) | ||||
|                 (quote lemmas) | ||||
|                 (cons | ||||
|                  (translate-term term) | ||||
|                  (get (car (cadr term)) (quote lemmas))))) | ||||
|           (else (error "ADD-LEMMA did not like term:  " term)))) | ||||
|    | ||||
|   ; Translates a term by replacing its constructor symbols by symbol-records. | ||||
|    | ||||
|   (define (translate-term term) | ||||
|     (cond ((not (pair? term)) | ||||
|            term) | ||||
|           (else (cons (symbol->symbol-record (car term)) | ||||
|                       (translate-args (cdr term)))))) | ||||
|    | ||||
|   (define (translate-args lst) | ||||
|     (cond ((null? lst) | ||||
|            '()) | ||||
|           (else (cons (translate-term (car lst)) | ||||
|                       (translate-args (cdr lst)))))) | ||||
|    | ||||
|   ; For debugging only, so the use of MAP does not change | ||||
|   ; the first-order character of the benchmark. | ||||
|    | ||||
|   (define (untranslate-term term) | ||||
|     (cond ((not (pair? term)) | ||||
|            term) | ||||
|           (else (cons (get-name (car term)) | ||||
|                       (map untranslate-term (cdr term)))))) | ||||
|    | ||||
|   ; A symbol-record is represented as a vector with two fields: | ||||
|   ; the symbol (for debugging) and | ||||
|   ; the list of lemmas associated with the symbol. | ||||
|    | ||||
|   (define (put sym property value) | ||||
|     (put-lemmas! (symbol->symbol-record sym) value)) | ||||
|    | ||||
|   (define (get sym property) | ||||
|     (get-lemmas (symbol->symbol-record sym))) | ||||
|    | ||||
|   (define (symbol->symbol-record sym) | ||||
|     (let ((x (assq sym *symbol-records-alist*))) | ||||
|       (if x | ||||
|           (cdr x) | ||||
|           (let ((r (make-symbol-record sym))) | ||||
|             (set! *symbol-records-alist* | ||||
|                   (cons (cons sym r) | ||||
|                         *symbol-records-alist*)) | ||||
|             r)))) | ||||
|    | ||||
|   ; Association list of symbols and symbol-records. | ||||
|    | ||||
|   (define *symbol-records-alist* '()) | ||||
|    | ||||
|   ; A symbol-record is represented as a vector with two fields: | ||||
|   ; the symbol (for debugging) and | ||||
|   ; the list of lemmas associated with the symbol. | ||||
|    | ||||
|   (define (make-symbol-record sym) | ||||
|     (vector sym '())) | ||||
|    | ||||
|   (define (put-lemmas! symbol-record lemmas) | ||||
|     (vector-set! symbol-record 1 lemmas)) | ||||
|    | ||||
|   (define (get-lemmas symbol-record) | ||||
|     (vector-ref symbol-record 1)) | ||||
|    | ||||
|   (define (get-name symbol-record) | ||||
|     (vector-ref symbol-record 0)) | ||||
|    | ||||
|   (define (symbol-record-equal? r1 r2) | ||||
|     (eq? r1 r2)) | ||||
|    | ||||
|   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
|   ; | ||||
|   ; The second phase. | ||||
|   ; | ||||
|   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; | ||||
|    | ||||
|   (define (test n) | ||||
|     (let ((term | ||||
|            (apply-subst | ||||
|             (translate-alist | ||||
|              (quote ((x f (plus (plus a b) | ||||
|                                 (plus c (zero)))) | ||||
|                      (y f (times (times a b) | ||||
|                                  (plus c d))) | ||||
|                      (z f (reverse (append (append a b) | ||||
|                                            (nil)))) | ||||
|                      (u equal (plus a b) | ||||
|                               (difference x y)) | ||||
|                      (w lessp (remainder a b) | ||||
|                               (member a (length b)))))) | ||||
|             (translate-term | ||||
|              (do ((term | ||||
|                    (quote (implies (and (implies x y) | ||||
|                                         (and (implies y z) | ||||
|                                              (and (implies z u) | ||||
|                                                   (implies u w)))) | ||||
|                                    (implies x w))) | ||||
|                    (list 'or term '(f))) | ||||
|                   (n n (- n 1))) | ||||
|                  ((zero? n) term)))))) | ||||
|     (tautp term))) | ||||
|    | ||||
|   (define (translate-alist alist) | ||||
|     (cond ((null? alist) | ||||
|            '()) | ||||
|           (else (cons (cons (caar alist) | ||||
|                             (translate-term (cdar alist))) | ||||
|                       (translate-alist (cdr alist)))))) | ||||
|    | ||||
|   (define (apply-subst alist term) | ||||
|     (cond ((not (pair? term)) | ||||
|            (let ((temp-temp (assq term alist))) | ||||
|              (if temp-temp | ||||
|                  (cdr temp-temp) | ||||
|                  term))) | ||||
|           (else (cons (car term) | ||||
|                       (apply-subst-lst alist (cdr term)))))) | ||||
|    | ||||
|   (define (apply-subst-lst alist lst) | ||||
|     (cond ((null? lst) | ||||
|            '()) | ||||
|           (else (cons (apply-subst alist (car lst)) | ||||
|                       (apply-subst-lst alist (cdr lst)))))) | ||||
|    | ||||
|   (define (tautp x) | ||||
|     (tautologyp (rewrite x) | ||||
|                 '() '())) | ||||
|    | ||||
|   (define (tautologyp x true-lst false-lst) | ||||
|     (cond ((truep x true-lst) | ||||
|            #t) | ||||
|           ((falsep x false-lst) | ||||
|            #f) | ||||
|           ((not (pair? x)) | ||||
|            #f) | ||||
|           ((eq? (car x) if-constructor) | ||||
|            (cond ((truep (cadr x) | ||||
|                          true-lst) | ||||
|                   (tautologyp (caddr x) | ||||
|                               true-lst false-lst)) | ||||
|                  ((falsep (cadr x) | ||||
|                           false-lst) | ||||
|                   (tautologyp (cadddr x) | ||||
|                               true-lst false-lst)) | ||||
|                  (else (and (tautologyp (caddr x) | ||||
|                                         (cons (cadr x) | ||||
|                                               true-lst) | ||||
|                                         false-lst) | ||||
|                             (tautologyp (cadddr x) | ||||
|                                         true-lst | ||||
|                                         (cons (cadr x) | ||||
|                                               false-lst)))))) | ||||
|           (else #f))) | ||||
|    | ||||
|   (define if-constructor '*) ; becomes (symbol->symbol-record 'if) | ||||
|    | ||||
|   (define rewrite-count 0) ; sanity check | ||||
|    | ||||
|   ; The next procedure is Henry Baker's sharing CONS, which avoids | ||||
|   ; allocation if the result is already in hand. | ||||
|   ; The REWRITE and REWRITE-ARGS procedures have been modified to | ||||
|   ; use SCONS instead of CONS. | ||||
|    | ||||
|   (define (scons x y original) | ||||
|     (if (and (eq? x (car original)) | ||||
|              (eq? y (cdr original))) | ||||
|         original | ||||
|         (cons x y))) | ||||
|    | ||||
|   (define (rewrite term) | ||||
|     (set! rewrite-count (+ rewrite-count 1)) | ||||
|     (cond ((not (pair? term)) | ||||
|            term) | ||||
|           (else (rewrite-with-lemmas (scons (car term) | ||||
|                                             (rewrite-args (cdr term)) | ||||
|                                             term) | ||||
|                                      (get-lemmas (car term)))))) | ||||
|    | ||||
|   (define (rewrite-args lst) | ||||
|     (cond ((null? lst) | ||||
|            '()) | ||||
|           (else (scons (rewrite (car lst)) | ||||
|                        (rewrite-args (cdr lst)) | ||||
|                        lst)))) | ||||
|    | ||||
|   (define (rewrite-with-lemmas term lst) | ||||
|     (cond ((null? lst) | ||||
|            term) | ||||
|           ((one-way-unify term (cadr (car lst))) | ||||
|            (rewrite (apply-subst unify-subst (caddr (car lst))))) | ||||
|           (else (rewrite-with-lemmas term (cdr lst))))) | ||||
|    | ||||
|   (define unify-subst '*) | ||||
|    | ||||
|   (define (one-way-unify term1 term2) | ||||
|     (begin (set! unify-subst '()) | ||||
|            (one-way-unify1 term1 term2))) | ||||
|    | ||||
|   (define (one-way-unify1 term1 term2) | ||||
|     (cond ((not (pair? term2)) | ||||
|            (let ((temp-temp (assq term2 unify-subst))) | ||||
|              (cond (temp-temp | ||||
|                     (term-equal? term1 (cdr temp-temp))) | ||||
|                    ((number? term2)          ; This bug fix makes | ||||
|                     (equal? term1 term2))    ; nboyer 10-25% slower! | ||||
|                    (else | ||||
|                     (set! unify-subst (cons (cons term2 term1) | ||||
|                                             unify-subst)) | ||||
|                     #t)))) | ||||
|           ((not (pair? term1)) | ||||
|            #f) | ||||
|           ((eq? (car term1) | ||||
|                 (car term2)) | ||||
|            (one-way-unify1-lst (cdr term1) | ||||
|                                (cdr term2))) | ||||
|           (else #f))) | ||||
|    | ||||
|   (define (one-way-unify1-lst lst1 lst2) | ||||
|     (cond ((null? lst1) | ||||
|            (null? lst2)) | ||||
|           ((null? lst2) | ||||
|            #f) | ||||
|           ((one-way-unify1 (car lst1) | ||||
|                            (car lst2)) | ||||
|            (one-way-unify1-lst (cdr lst1) | ||||
|                                (cdr lst2))) | ||||
|           (else #f))) | ||||
|    | ||||
|   (define (falsep x lst) | ||||
|     (or (term-equal? x false-term) | ||||
|         (term-member? x lst))) | ||||
|    | ||||
|   (define (truep x lst) | ||||
|     (or (term-equal? x true-term) | ||||
|         (term-member? x lst))) | ||||
|    | ||||
|   (define false-term '*)  ; becomes (translate-term '(f)) | ||||
|   (define true-term '*)   ; becomes (translate-term '(t)) | ||||
|    | ||||
|   ; The next two procedures were in the original benchmark | ||||
|   ; but were never used. | ||||
|    | ||||
|   (define (trans-of-implies n) | ||||
|     (translate-term | ||||
|      (list (quote implies) | ||||
|            (trans-of-implies1 n) | ||||
|            (list (quote implies) | ||||
|                  0 n)))) | ||||
|    | ||||
|   (define (trans-of-implies1 n) | ||||
|     (cond ((equal? n 1) | ||||
|            (list (quote implies) | ||||
|                  0 1)) | ||||
|           (else (list (quote and) | ||||
|                       (list (quote implies) | ||||
|                             (- n 1) | ||||
|                             n) | ||||
|                       (trans-of-implies1 (- n 1)))))) | ||||
|    | ||||
|   ; Translated terms can be circular structures, which can't be | ||||
|   ; compared using Scheme's equal? and member procedures, so we | ||||
|   ; use these instead. | ||||
|    | ||||
|   (define (term-equal? x y) | ||||
|     (cond ((pair? x) | ||||
|            (and (pair? y) | ||||
|                 (symbol-record-equal? (car x) (car y)) | ||||
|                 (term-args-equal? (cdr x) (cdr y)))) | ||||
|           (else (equal? x y)))) | ||||
|    | ||||
|   (define (term-args-equal? lst1 lst2) | ||||
|     (cond ((null? lst1) | ||||
|            (null? lst2)) | ||||
|           ((null? lst2) | ||||
|            #f) | ||||
|           ((term-equal? (car lst1) (car lst2)) | ||||
|            (term-args-equal? (cdr lst1) (cdr lst2))) | ||||
|           (else #f))) | ||||
|    | ||||
|   (define (term-member? x lst) | ||||
|     (cond ((null? lst) | ||||
|            #f) | ||||
|           ((term-equal? x (car lst)) | ||||
|            #t) | ||||
|           (else (term-member? x (cdr lst))))) | ||||
|    | ||||
|   (set! setup-boyer | ||||
|         (lambda () | ||||
|           (set! *symbol-records-alist* '()) | ||||
|           (set! if-constructor (symbol->symbol-record 'if)) | ||||
|           (set! false-term (translate-term '(f))) | ||||
|           (set! true-term  (translate-term '(t))) | ||||
|           (setup))) | ||||
|    | ||||
|   (set! test-boyer | ||||
|         (lambda (n) | ||||
|           (set! rewrite-count 0) | ||||
|           (let ((answer (test n))) | ||||
|             (write rewrite-count) | ||||
|             (display " rewrites") | ||||
|             (newline) | ||||
|             (if answer | ||||
|                 rewrite-count | ||||
|                 #f))))) | ||||
							
								
								
									
										3
									
								
								vendor/README.md
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										3
									
								
								vendor/README.md
									
									
									
									
										vendored
									
									
								
							| @@ -178,6 +178,9 @@ This is a list of grammars that Linguist selects to provide syntax highlighting | ||||
| - **JSX:** [github-linguist/language-babel](https://github.com/github-linguist/language-babel) | ||||
| - **Julia:** [JuliaEditorSupport/Julia.tmbundle](https://github.com/JuliaEditorSupport/Julia.tmbundle) | ||||
| - **Jupyter Notebook:** [textmate/json.tmbundle](https://github.com/textmate/json.tmbundle) | ||||
| - **KiCad Board:** [Alhadis/language-pcb](https://github.com/Alhadis/language-pcb) | ||||
| - **KiCad Layout:** [Alhadis/language-pcb](https://github.com/Alhadis/language-pcb) | ||||
| - **KiCad Schematic:** [Alhadis/language-pcb](https://github.com/Alhadis/language-pcb) | ||||
| - **Kit:** [textmate/html.tmbundle](https://github.com/textmate/html.tmbundle) | ||||
| - **Kotlin:** [vkostyukov/kotlin-sublime-package](https://github.com/vkostyukov/kotlin-sublime-package) | ||||
| - **LabVIEW:** [textmate/xml.tmbundle](https://github.com/textmate/xml.tmbundle) | ||||
|   | ||||
		Reference in New Issue
	
	Block a user