From fb2c471172cbf778b283c1d2294cf6cd5a533d5c Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Thu, 30 Nov 2023 00:04:24 +0000 Subject: [PATCH] update squiggle.c --- squiggle.c/samples | Bin 27360 -> 27544 bytes squiggle.c/samples.c | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/squiggle.c/samples b/squiggle.c/samples index 61eb37e3c0fe1d89739dde9ad39967a5e414cae8..409e05f14e1cc0d135f5195e272b8750ae053cfa 100755 GIT binary patch delta 8323 zcmai33s{uZx?cZWaE4$mTpG}fkwzSp%b+6iD8-MU|KxzEfSBk&2x6fk4&9D9w9#_H zF>JNl)>F@B_nh;bJau*&b+)>9TkuL{J2f*kEi^AfnHRJZmG+-^{TC$KoxPst|G)LU z-?zTCzO}w@tu_Dje9CS9jBAUtk{BYDT$zyLo09)CeDWPKH~EfDC)2`zpCog?Pohy= z8sBb|S(Ort%yS@NtXe4ZWZ^HVMJw}h^eN6}wJ2H^Max3Ba37Cq;ANemw4ND9si!Y# zW+nbs4@BvKXlb~1QOxJ(9{uvU$Q0wbPZxE5k&)Q_-iNan($!jLY&* zZ-D7Ux=j;9ujxO!XH{d>^2MZ~$+wDly{mjx)en2C>mK&jRxPb(XmwpxBmGC1jeZlh z@=l_G2h0a8(Gfi+Q%8oumu167q|2Uh&}e|1&A1ECp?i{agcwO0x@1_cgYkNjMYj!0 z78R%Z=s^~?50b{x97yjRB<&s~wb5naHZHDXQ}`#k=Pii_ z%`8It#L?Q0v6kUnW}Owy`g#xlEQ)Q{&3FG;7bWps13c@ruXmfuqvexD^n|t5kJ>Wi znmHk#5Y`fW%@BU!5WaK>UpRy>7{cca;WG#E6|BS5K>*`N58+1+;bRB$e8~>?PEp+H z{;MeNBJb?gl?pAF9;-Dw^^2%KDu;8?_o7yM{tVA|G{3l+>|}}H30xEc`-H&$&;?A? z-x)3hu7rL-K<;8;Bm^`06hgMMdY^fbz7kC6-(Z4ibIsILH(y$x-qG(RYr7PlcH97tCT6_|Bp2iJNfR)L^|64QcdwOwrmge5? zseQy~ZXTUJ!p*%(+eZ8s_con!*JQ4@!*^F67d`0)8-+FBVS$tR4nt`44f_7b9!>Oh z`o`U3t@EynV(-(pBpnZ=f9SYyccPZ_QDfqNa2x4ci6=GM%e3{L1)8$UbZcS`9qmY` zYaLO>|M^xF1N%bWZ|NT$*Zh1LU&@!1&TaXcGq3##Ymo7Nt@+C5p6ZhY8AtleV^0Xd zMFw*MX6H)h{lSzkih_<~eBcnD+>KEclKentS12K$>pa{K<<35H`JO&=N~f?{21wCm7zNM3sY{HyTXz4V#v-dZBh(_qaY%OHnSUDa6nX@LA4;G8r zhkdDVrZ)$HB-!VK0_Ukd%>01NZ)M&xKYQ*KX>3}>D>E+cimzNLf}heX}J*aIV=H>BW|(K8Z+7{ z2}&G7#*vpifvFDudohsjxXa6%-#UOwM5yc=q_~uySe$q;h3iCLt~+qW6HFN=jeHk7 ze%vhw456_Qy8|=&Lz`Ho_0fKzx?2cz3tc@40>_9(2!s`8Uuil>-$+l;T)RmRrVp=< zg>q}YBd*owh{(RWCcP!Z3Dw7vuNDSVjtShM!k}+IRvKHS(E23$*=OLzqii}0`U|ta zYx-Jfnd%_Ek?z1Hf%`_%bGJ@)xLfubLVxWQMNjruO_!zZJ6>xpIazB?yZ%UapMZd3s|5J# zzI-J7TQ-)hr6EYhLecqCpLutG7%KZ}d2@*$ky!C%t+@=5IR6aLgRu1hY+ZX~0<#74 zR}kaQQ|L0aMmBYnnL`15rxd~|~^cZ*n z{)6dWh}S;80vn!xP?(fRJ_l};GM5#P(XDbtz&)R}G?*jBK_bwXgZ!y;7wjQm9O zAytH~i&`)qhn){rILycoosu8~a`0V4$0FPJ8035M}VFMr`x^Fo`E+E^c_%OAWz>0`L|FHEhBFhuFjED-QW9pR1k|M+s8VSS`xFT_e(0%9G8E3&6 zhj$5P8`D$1SePKkOj9(Xunq&-t?t;ocTecv1!y#6`w_Ok{1Pi$?qf^ZDQvHm%4Lb| z?selRm979-S?W*C)jWBgcBL-TjAY~2qsuRG^!+InbF^4&(0 zWHj=9Gi^%V&Y5W1*zL0x0hG;Epaye&=4W1G_fu>Z4eZRQ^TI4HSY#)t>;^o@==205 z*GJ+49MrD@kvt2zzo41p-kr*R|MiYk?*O+g6*FA_YkWDwzeT5^?Wbu{ii& zM3~Am;cT&>u>d>JXJC{&OYfA|KWDd{K?l)1PcY{ze9Pc5vSWOyJMbMliEox-5Jv&e z^(0HDacI|xj<;N0#^-Y|}H;Sx67&&hfjZ4P=p$KJPuW#5ia6 zkN3e_l&ib&>Ji0{4=8j7Ls`Kjvx2QbF5C$16!vWcKR?LUe~4l`>g13pc7s|#dq9g1 zi(-X_khUYDxE_47{}WN{N2Luk0)lo>J7_29M9>~k0hAoYk44Z1(0>PQ|5Ow^K`qBb z@hE8VXQFr&wCy}|JHLnn&qO?ik3_MUewugBd>7V15-~9f`%K}(;{=|IX;%x=*?^}R z7L`w8(npwfV5@;4{iMS5-of)2ojol&c`YRB2M#7Vg{KV|t}0S-;e8d)B^sPIA+`>Z z2W0`lHHl0{|9k1JX}0(h)Q%$}9v&pE12&PS=G#WCMXemm&h&|3a%sK{HyPY_5Ifj* zV5@0OenQw@)cTLnXYMa zvEZ~L*&de=A`P?w*al!zV3%k|awhwH6T7;5@N9r=E1g|1!zh3|1+I<0TQI}#Lo&o{ZA4&zOeTZYXtwQ<@>Ffx%h9F;=`)7eMqxo%53B*$JO->V*{d<5 z3||X;`#-^70Zx#5OPRiaQB|4@F~p8&grFP($qi>qFMAN1aX0 zM$P?fDX|oTmr}FHI~`Rx z%esCNvrmYcP=r2Jn7|q6p9<4Qu?>S2g%Gx3v4SH)Dv#1@h3QtiSLP6eQt6=?MG4k& zC7-c%NM$pvDw@TG=(eH+ZYw=pv;>DfKPQ@YYIL-C)_Q9$`#OhGtkBAi!?O~&cy$P} zP=0HP0l`0NcC6M&LZCKoGo3vBq9sq<=SYoWiTa^hZbC@4 zq=tD>K47c3{9glH9fJEMJJCe_Z$j07Ua}KM)KF6KKOmblBmy7a*d{rsyp9G@0GpNQ zMHWeAyY#oiQTEQbpy;%ZkYy!G^j=qROQwuh$%KT_Kb6_^BM`=R{Phsc{f%17Y+M#Y zz;rUt zDLN!s){!=TRB!x7Uu@%-mcwsD&8mqfhDy1m`gSlJ?vY#>0V|aWsIVoo+htx^Ig+d5 zi87v|_&iI&T|<`GE8&D*EVpJfs%?i%d{DtH%CgtUrpc@HOu3EQM)~t3rEPJV40I@Xr#e$HGN3FGIi&W*jt`WOOvq^k?^J?C4T@_r9z`ncvZi{+xJkJO zZ1L=rV$;;A?2=QJn2e-Vkd9HL1S!bMI%TpZNzxgLv{}id^|BI~%cSlaNZEo}Div5E zD<%BbVYTiz@Rw=V12+8@NaeiT!>n_kO7Cy!s0Fsn?;&G8kOaAl0;MM{4laflXUG7{ z8&;x$v%eRk`s!+GSD4Mcp ze&SGr13fRP@p-dd-s+`v?V|m9>5o)8)thIoYHX}}+{l@Kz6RXk1ZUvuc&M zrm=BFBe|^w1J71^#!ButO6{tbl2uEW|6*KOG@}aE!7-Kt(0RN6`Tx^&~fkw+h|%QC75rh)DNryi3Q`a@mTz`e;nOZKaW@=L|YxCogW e36f0<9~x&YuaJ=k=~EA78FxM?bHg!j3I7LB4kXV2 delta 6374 zcmZ`-3v^V~x!z}zNoGPak35)}gpf%bAiR=EAdnQ%nJ|PibOHgwJ1_}hh6Dl$c__48 zgGC;*V!YAc+Z$K)3a;96DXyZiT|iq%t5@e zZ~x!_?|;Ak{Wz!dw9x;y&|x+2PGWL$MS$5K9sB#Zj<|@_5%=iXoH%V}MABwbqLAZ0 zpo@qqGE+nr05N#1r4iY>;>S3kiO7r|6fEX!#VT8|%BKGnUe7FaM{I^-1$T~AK~HGr zX8lwRVWoz!hT@`DCZ|=tx>$P8+OTRwO8ffRLH|z2*Q04mRCda6cv4%-*n_g?;dCf! zjBtrQh_VPH=#6L#Wk*|uFUTD|i^9=X+8yl_;yC}9Rus;2Gpf|?)qah_S@gUnnTldw zo8b31HCI)y^H)86Ly1M#m27W_BW9^3KAXl-CP4$h0qLJf<8gD4iw zv>3Z+7K^+Vj1H)g-#o8}CJHUqumZb;qA)osl1DN zbmN66x~8+(lo*l?!~TdpkB@jt*IV)uBZT}O7^LNMqoy*2j|Cynb9xJH(Z?rL4q~I} z9N7I}8wRm4ln`g3_rY!*#Oi1|*!Z~kgpNV%Fj^mHu_dTg0(TG68t5sMsY96qgIE*2 z2KLFgc%hqmkkbu|weujZ8o>1xyuiE4@=Tv z?_VV8C`AG8JMx_*9dZ>L*jaW1#om(dy z9l>FGCrqT2L?2_HcR(ycMr_ySb0`{UP7&L*pZ*;A?cL3Kso$8f74F$F1!1q3?F%$M zs!L82PSCF8kz-Gw0BaeKPECJ?XT{LP=6JDf`tKlw-~C3C!mCl|N$pegdU8?g>hZF} z$Q&6>2^ElU8ckY`m#1Q_DwWA|2)$3yPvCmXkM-`h`7SYZ+uPn~_k~Vh=1~_kW<12( zEcJ?U zYe~9kT&le@maeDTX#4O)p@lk!uhE>l(tEjSSM*-y-hQ$b;3kCV0}vP(;V9* zp^biJ8y)-G0ZB4uxTxOh(p>wBZrDZ(&yqDYL)cD*sn2O%{*pdUovQitOR}ep5@M+& z%`22rN7_E2k*19(6rSj69#JeLeR+$w!t8OFFjyXkE`0G8y^`LqdFv+qVdOY-EYz2G zd@I}dpq}$E>rOx2{p!UCT8wpVEP>=`_lbn+{J#JTV6`JyOt^ z+jGA@uN&BF{O|5#w6P$W7COxODc2+^bRvBHD%Cq~wDM7MFLEz*mwQ9s9AyRZ2d5XL0uRj^ z#AJBeCz1p%XuOUlTz}=J+qi6p>q$P3=yW_6A34}L>|QSO4$g%6Eu#rpykQ`2J8oLO zB4~V|*InUWfoVs!+r1K#Zx{7_LD9H@Pqc^T)V5IkQu2 zh}U@dl^0kz3%T%9S4hYmt+&cCnsUiT&fH%KR_e-q9BG2CG4?KOWr|YIOXIYoI3?% z#NA}%;O?ez=QDg&w^ukCFvz-^Zn#A_vBP}j%iTZ^^16NP3A<7-s_oh)fZVgN?GhDC z`qSO}VR$(mQ!MX=KX`hc^V)ysU+4TaJ|~+l(&))f;W90rJYA!^NWX>m-mvfiL^!!d*ipIZ?$Mh02xo|xQv#mon4$xD0@zJt6x)tJm5);XMILz~cmLr`8M z)|Ig3aJ3Hk0mU*|mEcil&zM`*N zE_&dy(ANgPR5B(-^TOw}VoYi^H*NDctZhC=d{OTM&TU~qtbW56`f_YPFu-jW62ph!3!!i_W!Nr?X?S zJU99=%@aTcbJW2PcF6m|Vqg38wh4^67kNYPxEFduU%1QNp>Gz7?Gv|vUf>)1Esx#s z-1A-cPU+Ei9hlOgeatmEYU@KeG}ZOE!041~K9#r=TmQCpjeh>TJNF7{QPcPxbsQgy ze@apZ^141r;^&93~(z@ zcS@2T2NnYN0{5PhTBW~ogSRE=3{ZSWlCA=Got7jW?v=e~;0RcA7Bj}>bEp_-{g)(l z0yhB<0>i+60JG0aQa^An@N>>%08O}3S`l)UKpyAKz$I8Z-JHLOgOXoY&s>zGyMflQ zBsBmBuD}tn23t}*u6$>Jg+LJ-ZUt~Juo7bx9hv28(a0D-V>kd_BcIhA@WnfsC3glXn}nP_lo&c_*a-eJrRu@~Hv zwB3^ta}_!3Y1-!*ryaqkpWgMPY41jE6W#Wtt*AimAf`T`RKYvf0517GN#aAt6XzZR z=K{A`X5bRo32r~QX}keZ>4L$&)F7XN5MP9@k2cPnmCj2?BTx><>UJ=i=y? z_mSJ9d4^bD6x<^hNdWdh%Tedc_~qPwhL%UEmT|%wv1xK*np1a z&nppJ^gN7>tPE&LtsMNpr<90dW;WoY59j3wg=C&@v2_*?_7%xTu@q({_k0Wb>Ykqx zWntO05mF(A=HHKR5n+L4_HKEG8B^Ex7!=hYxDP12I%YhiINvvf7Zv`qWLmW#C$CTW zClYA@W3`H!DaBNNi^AipcR?t?LMX6+dlRbp+x9!& z0u2wLAKSFbHoqZZv8C!+#s7hvh>g5>kv*>PE`?Xy^O3@D#Wk2Gc?SmGPieIZM;n+c!eFZ9bPhakncW_dCr5x?QTeP0F+u6) zZH0FZnLj-o!cQV|DP2^Lz+`eSwd9S7s9C=fB=VjM&&3MARhhbgQvG~hN(j=PrIyy` zP^F2bGHa!xRN#K4Y{#ewA)hVCKBn+xqa%EmV*d-J>FS?O`5FP;ZpGd-q~(8z@QG~e zkVYS+yk(ZWzeCNNH8e8cQQTE38{OT?T)!uG2|p6iu^4)AxdmThHOf;)O>I+ips~DkMqT}eKzY@wx`6V3)wwd6e!nuoSdDU3jRF7a`W7gg zsB7gia{5ou(^WBKsLUZ><+`{{^^Hw6wZY~olj+Zut0%1qH2aI3{_6S-!P?b<4b=fZ z{@n%|@2jd~4UP5Hfu<&Zps}&Ok*Vb-<%QegAEuP`e&&kgzpnX+6rlI}l zTDxkW&}Cg+Dd5E29LP1Rhpmch=@8gu%0aDS4&4sq>USyZF3Jl|)vE_^A#Ds!{r-ek zPx?+e6l~Sml`y0af)-l5#;kYYlawbHZCo?eTBb-Us&{AE{PY@gq8iRB{?|ylvnD4_ z-E(n#=hu|rFy35)n}<8%TEz-F1XexNRkYIWnq0klXjv(*cB)=I^6az`l6uf()AO}c szrW8E&W(8QrQ5Yq!tP-a34aT5m(i{pukT+TVMbHYx~W)d8`q8bKk4INTL1t6 diff --git a/squiggle.c/samples.c b/squiggle.c/samples.c index 02ed6cda..a385cb07 100644 --- a/squiggle.c/samples.c +++ b/squiggle.c/samples.c @@ -22,7 +22,7 @@ int main() return sample_mixture(samplers, weights, n_dists, seed); } - int n_samples = 1000 * 1000, n_threads = 16; + int n_samples = 1000000, n_threads = 16; double* results = malloc(n_samples * sizeof(double)); sampler_parallel(sampler_result, results, n_threads, n_samples); printf("Avg: %f\n", array_sum(results, n_samples) / n_samples);