From 09e41db6b19e42dc173edca858515f78f0444cce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20B=C3=BChler?= Date: Fri, 18 Jun 2010 22:46:49 +0200 Subject: [PATCH] Add circuit_delay.png --- Circuit.hs | 5 +++-- circuit_delay.png | Bin 0 -> 4455 bytes 2 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 circuit_delay.png diff --git a/Circuit.hs b/Circuit.hs index 8a6e6f3..9442819 100644 --- a/Circuit.hs +++ b/Circuit.hs @@ -33,11 +33,14 @@ key_circuit_str = "19L:12R13R0#1R12R,14R0L0#4R9L,9R10R0#3L8L,2L17R0#5L9R,15R1L0# -- goal: Find a circuit with test_key_circ circ == True test_key_circ :: Circuit -> Bool test_key_circ circ = (key == execcirc circ) +-- key: 11021210112101221 factory0 = parseCircuit "0L:X0R0#X0R:0L" fact0_output = readstream "02120112100002120" test0 = fact0_output == execcirc factory0 +-- known server input stream (from factory "X::X") +input = readstream "01202101210201202" data Circuit = Circuit { outPin :: Int, inPins :: [Int] } deriving (Eq) @@ -123,7 +126,5 @@ execcirc circ = execfactory (circfactory circ) input readstream :: String -> [Int] readstream = map (\c -> read [c] :: Int) -input = readstream "01202101210201202" - key_input = [0,2,2,2,2,2,2,0,2,1,0,1,1,0,0,1,1] key = execfactory (circfactory key_circuit) key_input diff --git a/circuit_delay.png b/circuit_delay.png new file mode 100644 index 0000000000000000000000000000000000000000..adc7073b026749a60eca16387fc84c99d228aa71 GIT binary patch literal 4455 zcmcgwc{E$=yWUdAaB2!irBo?xRcTSJnum%~)tD-%c_@w|Rr46bEs3GD=9;TY(V{JC zjGmYsQztaYK_e<6<{={aZD-xP?mBnfwSLoG_m6Mwd^Gs>PGqUD)_!1F-8FGqk9btxb{mkT(376M?gfUfJmz198ctc*x$EWzkd&CO2$%h$Z?p8L#(WZV79Itk{3imsEnrBw+!oaHlUvVp8tBLYmyV)jf+( zoG%QS$!q8Nnx6&Sc6N1@>gnlmrOmYaQ(iUoOib9An3&wwk{5iCbWYb535FVmh_T8K zE4B1UzECNanjjLRG+M)MW6^ZO5jf^aFyll*0T}215N-On_wqDX>U&IOoUPZ5qKktXNK-t32vd5#$ zR)nB6{Lsbt8r-TadgY<~_Edj~$v_>k%W{HwKW0RihcZPg7nQPofo;x{OPt@B%=# zXJn-2HjOBO>e%zpWUS($Q2+Js{Yi!f!AOWO>;>RXoVWWi!uo25GI%?gqCsm@<~ynR z{+NFC?QLSR`Wo^h#f!Oy=1*@!6sSTqf|oHzIQedC{qjU8Ht3Q`1gmDo(o{>>FzsaO zQ2teG@cu?Yr@8>3o|=}{+YzW8HhOi zf@)j4{!m&<18SoW(X9w>6;IQqFBS|w9r7?Ji)Hx-kBSa#UaPCYT_29K&81pM6bac# z=RttaIe5K$?#z>;bwwx72jk1fym*FaXWOBmQyZO6^Db*mEY&KisKjrP!+c9+dZD8s8p##oEaC`lu&=Qc0WUG-n2jZdsmo9XRVrTpxiz~XTV9(n z#whNGH`VzOx>ejpv7PC*)vzFh#|Cls36m4{HJNMl3j^ybfYgld3tRh~#Z_1NaGUu9 z!BZ&)bv8fyW=1|R)P$$$f(RIy{Nr02 zLv73n*k!3Y1UmqOYuoyWb9LUg>p!4;>V^FR(xoOKZncw>BQ>j2RB4Y~U$8%3m9FP@ zrjCOhs5~kctDTRl7_ZgB`6<0=3~R&zyu^7Ufj}I1;#Oq^lv$qnJ+hfPr(0Mw&|YY^MN@hgtvGd+>TSPi2}* zJ8IaSV@{|Cp1W>nST^a?vohW4=IZ)v>6FrU(eAgI4VT`IQ~jzd{C0@DyP;E|^Qi$B z3C#hXCv>9Q*6XdpK$yv~!35^#=j+idX6VMy)%n>(iANYrhKwmv^L#>KmhR95zN*QQ zhHIJ$mjjtU6-F-fU;X357VK%3t_2dJ81q-{Nhsjz1j3hIR?IDqmDPuBEL0`_mM+8w zQ#`bRB6du4L`9rXd+>Z|R`Giq0^sOt-KP74{Je@oV(RENW_@$Q3<`kPV%!b=pFutn>44_kPx_ z-pY%q8r##`P~?FF$Uee#Wgd8m2ZzgCy$lZ?FNFU`^>>HQwYx1*;B)aIrjZbNf@E8U z?5M=QDB%B7k!_r$M!hZ{V+0IdXsTHX521b&9(RoJ)k#qGv_G1cn~QO14estq6`Nnk zM?ISFO;ez^w=dpZzM1-Kvt#61_j@Lta!4pc9s1ZVUV>S-OtI6!s`T-W?S|0pNl!Ph)q~9& zMm$&vu?~u8PiZGgOhkjebt#W%3RNHqlaxJ&yOI?;-Y-)YgG@rEgT|MM`+u4gz&ZE%#c9D#E zi8LV@MAsKT*Usqo_+X_awv3-tiw_RCCbg+{WM5x69i&=Q+X&si>}Q5vLOpj6XQt zSj+?RG}A3j>zKrDC+A$E4#Q<+{D44Ys%SH2`Fmw__WIQlQ412;lr|qGPG`MOy8iB9 z_U_D1N7Em{%}Z6)9=M&p$I@$56k6jj5eBG=fT=*%~YF%MMdZjv~Gt z(YBL%<}>-GoJ?VE)uJ8vPN28%`R=DrpGa>8FUmp9`NY*PYjA6>b{-*Z z6tfsCj#XC95aamq<6)@#S_tnA9F5vUyod&4Z)LK&+crPmBv}^IZ(}hJz<#n5*m^TH zYB2l48L0sR3Kum)eYMcS0?&~Tcev?W=E$TT8hM4RW*pGaPGeMgvP!J?CdquaOUU&1 zyvsLbNqgjCh5W0ii#od>_>JM2J0M<3`Vw?A@cgxIksJxuZf|*}#nYjMIH5bTa``?* z5i89P_DDH7B95UhwonXa9n5{Eh4J1vjtSPtXX<@D#dk}6JMT;POUsIuXrl4!Rst#Y zx|jq@3*j14z*fVO;Vh*V=Xm(d#pdr%)|aYlvqOkcO(!&h zYnCVK%MKRyC`*>a&uisA@L%$Eq zGxur5?U5e*kuSOILAsMRe|#c=Jrm56r_TPQ8jDt%c=9}yCO)?qwCqIxm;=U6L$mft z6ZLK+5Vm&fo_B_WZI{>6BEL(6KPqN!RtVP$GS_o(nb*tA{aUGw>)`XPnHB?meSOb} z#KGB;@|B~`2Q_r__aU^INzP4%j&fpTFm1*`d%Hd@%fh&su|7Bm26+g1+49UoSc4*& zl`3{MoASE#bsLBtme_>U_~ZqMas**#D!?@C`(wiak&e}eAH5qE*h>lQ^r?W6EP`L_ zE1!wFQhW5l)*)Yt0uG!Qb0ULRaeG6PT6D+WX!_=lH{hGo8y9@SI@UDu8JNiBHd;O_ zsCIl>jhUwd5)AaaHhQc2qmRmVJSoYO-IT;K@k%)K#!1&jb8Wf* h4`1m2ACKBbrzewr%zi812md(%ZWtioudg}B{SE9WFR}mt literal 0 HcmV?d00001