From 0ee29ba83f3a27d4e57634326427c4365cbdaeba Mon Sep 17 00:00:00 2001 From: elvis Date: Mon, 27 Jan 2025 20:08:02 +0100 Subject: [PATCH] Fixing wrong name for renamed function in report --- report/document.pdf | Bin 223964 -> 224009 bytes report/report.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/report/document.pdf b/report/document.pdf index 7833181459cffef3ddff06313aa0f815f59b4719..7ff15f5270e2f5ece1a484bf9f0bad5ae91f83ea 100644 GIT binary patch delta 7672 zcmai1MNk}oqQeUmceet?WpTH~78a+tySvLmad%ss;_gt~DORkw7K*z&{P*V1{Og~| zA(=@Ixh3lh=uwO4^z|;>)&!HAeY{m&>huJ5H+I%sS|+Rwp{Ln$Jb6)+3iLehXulDV#-+3M+o; zB}SpJ+G9B(Q^kLPhy(&R_(9^c9r>l(2=@39T{g!^#@mXwmTB=kT#9jj^837zenxG_p;sB73j()c-XVNfw2Cc>>%4nSscVHiaBhN}0M`GF!TBS6ZJA z`XeS*6bVx{D>;1ax9^$lpioi^i&&zfOJSX32!5)FZ~i6Ts90D~^Um}z>47DW0+}+v zj@NpFV57wjf5CkbF)5rES0v7g8XvYgjJ0*}R)L5f{0}Qoy%M>_%4jZqY$AX7Kg9hXOWYFz#|^SgN1pBe&?* zdoMDZ0Inl)N|njMms1Y3iF&0}>cU$S^4sC6ZP$?U_$Sc}y;h0rmU=w8XzHS&5LLe% zW;E$Di^y;U;GrldX}LnGTyXmi1=p+@L1UE+BRB$bqNDG4i_xkKo*slIO9!n-EKp5V zNSaeE%T+%RMPu%U`mF4eE~xg#e8GwOyFRd_bwMF~bx-o!vOfUtH50>@9JAcI#aVfNxpYWB{XKD z|9lI{^cB}31kK4QNcD4;%{Fc>Ok1`Q7BSz1yRWa;cy z63&q+e+x+{j$?EVh<>~>Zdmg*VZcXHA{0DD8bL%RT`WHZNnRrt<54=^SDy2p7hKPH zwynTf;NggL1pXuPS6uTZTR(Aq+CjMqg_VWqJ#SmPQh6Ja(?efPV4n|+-rd-RW&eq> zF)_lWQodgwa@2PVvMs}n70}D!{Ip|xP?{;$39g!?+ z(l(0Z^Fhf1h;Z4791;WHpPK7;q<==V1)`W@MU!|Rtn55|c|eQT%_Q zG(wa~?UQ;&&x?<6z11uSX}&VguS`y>^99UYvD{jARu$A1UOFBTVHrh6hE+Kb_vrR? zyL<$=*ky8=_|u;)=}pE4`&o4oEHM}?hs>C`AjUap_4hqn8XoUaZ+&+}s&864N1f23 z&b)uM_xR^GMx}9#oQ@6-wyIK{w)sD;Cej)m#5T}8&pPSqp`B{-Tr(*Q^wL>8=fo;i zEY|xzCt{yJ*?tY^reHYvYy%4evF6FHVm;6-I2rDq!+Qvi{gSj}KS5~Tm(EIXxh}l< zL~xfLU~%zT7HHN~OP5v)iUG-?s=YKyF}932^R%i47pG$NDFzI?CZ?L3CB6m`lVUrh zV<$C!NPa@Y2jRCa91Uq$K?}k(#-GPeVEnKW8?0?KOmdV*AvYmM05C43V+eIBCb1fo zAXvB5X0Mz12W*rBA-1BVdZVHfuB0hqfdNsnhvFfiH=|$I5cm^0HTjnxVDZM-nnj+i6~ z4A+hgiQj{vY9)(vuiZW?1X&J&R&L3ct^hwb`Wcv? z>xl9M5@})w=`=q#!k))mkgRV&P*}c{%s1ODMIpMEWaY@y&}06K0oU zc37H$@Cn12T1}4_5#QmtICxS_5Evje#AEThBX^rd{a+A)3)Q(~pOA9oEoWq6`*y?G zTQSKRXgN#e!W0sOjPf6j@#R%5+2y9?Te^H-KyU{>! zu9EtgrpvQ|xv z_Qc=U32=AFXT`oYL~yDmw$xfue0w#EG|m z3r^NdmM|Tb&$I8Jr6IXm2?j^lF5{No>lhw=2KTYw6G$%s#x^E}ofHM_QF@<%uei%t zu8zCxqouCyo)VutarLTxQ{faCPsVUE!m@D{3<8_*{I6K=6Ulajr1c5ZVgnfI!*Y_x zp@;N=AFx&Zva6?S`#_Sc^NeSPYtgT)pR*-}k4n<>wFrHa{UOq~Zn1&RdMPe5;Q?l- zA&1jggnxEp#p>9GlYz>Nr~b7dcYTXL8r*hEVJSN7?I)zq4hEd3`usxS(s9ZW^D@O( zR^k#3smuzK;Ncha+@xvKr6;1qZ|7Bl~%}Ss^DCEk0WXgW^@< zYY7EEc}FdGDtJFB<{kf>QWYE$Wh>>CwV`OEf-YT`soM37O7Q373!}lnEaQ|GcT%t+ zbLI=?EQpR29Pg2dY&Jq1%?kc1G{>VU7ie^|w)Q_J{)M1#<6!A|(h3WXM(?9xEpWw{ zy_l#W`~Qpun^PJL92$FSE9TjBTj^e8c?ai3^&UnycU-F4paq3cip?$55(^jgRAXu( zbjWs$NlbMHt>Uhpg|~X#{l@MjFW=Zm|4320$Q}^K#e_ElmXH3Y<_Ucz_n%re|oy z4X#PE3ob?>hy{pDz$C9lB+z#-mJ7Yd&UP=Z;!opfzx=6f?qV1`SBbRce>GN7;8&Sz znu{4<&tmxJS{F(g5%siQr!{F@J^+!DgZ9{B+6Hsus! zwdX%VQ4?BAka7KF%s>p1xQ}u#5T2kGgKyJ>-Kn6LzxjzVhxhh#Rue0E$u+aLGq;@a z0#@r&WF|tyaG1wsAW*JSF9nB-m2o)H>pYyviE-}w-4cjyLoOTG#F1NDzOd1aB_X_UdnP7*5ppa^nIbHhOsJX_70XO(*NR< z`la*a@?oxt9}SaNvE))-KUQtnze$*1%H=S4huh644U#p;dCDw1NKIZ``M4Q0Lj-vp zV(S>$9FXONSH*g}O@80J1Sj&HNmF|5MTj={E(YD>#>+T0Sx?=yTaeu$op$Hv45~j- z{_@+Qh7o4vse@xlf^bPN7Q65Z<1jw%3qG`gK@uAZFn8J~_Ke|6-Kn0@p2S_6@f9ki z)J!Tz&0Bjs5}~)s*^Zap%A7_eqEZjCzMA2(21c<8`C8jcU%{{FkKK=#&B(WIkr4Uj zfS^?|Y?w73ls3#NDN?k&C}>1$%{QFXhQc})nIiV%*X@&ZSKV97jFYGqow%V&}H;MpXSQ4YycYS;jhW0l6U z%s5s}cw0&%N5ZkI8ZXD@z*nd3XeCMHwFV}g>Uhoatl-M-_~UbOV_2iN7Zssu2jT>X z^Id~IiUg5JO@g0$8;b-1#Zfxkcqt*Q1*dU`XdTl9Z+!s6O$+e0uBlFo1F{*&7*MVw zdOcMJY~24e2N-@5)}|(zYWaE+P+JthY5d-gzfWNuqDsGh&Jk9lLmn=iwmh-@UH*lF zbwknKWUj|FouzOVCzJP5WyrusFeJm9J%fziB=9a6&GPAvF?+@QxsiL~(x;EUkm*~@ zkB@iGrkZxi)(TJYLu$s}0tjmGJaiDlxl3;zfVM7}w&c$c`jDWtT(2?`*0nPT86G~W zW97i~WrNdmyBc^|on^e|{cPBPFMlAo8Wy!Kmsz)P;y#`Ql?q&}fRBU2Y<{xSQReQU z(`j3CZmIJJ4RcXqc}G4~S9CgQS)FLqvrG|eEe7rVspsw_aT4=>fI!E6FbsFU^>Sy& zGF~NPsh_y4c(R18q&I))FSczsn?4o~g%29Fx>pR`2e%5#%ONCEbzbk*_Xz(F3rD=%9!3#;kY85ysieOY1HC7%BIvQs?|s4)8t$s#x4FU$7{Ru@&o$5 z0Zm0W;^pZfh}Sy@7b=<>AT{jqgKyW1%fau4#%;S+tq7iK5`4$RmONS zsy$3HN`07`$Q|5BQ_7 zk*X9+!Ig}3~9UsBvw^$vJnIy-k<(2i57dYfz7? zgoBBwlnlK|@iWOmW-Iq^F7h*R!KqjoNb@9d-1{&8p;rd&=0xJFlz|_?^5YVwLkwT2 z0Yyu?uY{aia}Z9zQ7jolunXG^(Q6l~qWl1yGf3_gMju5QnVcl3(x4dPSXzB;tsR7M zi_!~21Y+vTa4aa6f#<-(vX)xnQRd(rHhr5bS&P) zZThSGzk^6EYkr*RT9QKuXj2zwky>O!EG38+cMF?=A%Di~hwkwQtxmHH#jC!MZ0i$` zby3a5N{0Nw@HaF)8Q116@V5{qQHh5G8%h|Aqwez@A=>%D2ceSQFVBgaU^_*5pUeb# zpTeRO#Wr$a$ohrCb-87p*Oz}qG}YSl1Msqt$gvv}yMyLvNsu5NA@NdSGYSO7#o?wB zKGpGA61e%BMG{Omd58cmL_16*HF?8bCtuX~RU7z3EK;#5Yu=Nf~Snp-0^#)5})b^L&ash(LR;(8gG`s5C{n@)Yv|;H7 z7WjcYGdmKL0d*v1!&dtQsa_hkDbbr8x+Brj0B>FiVm8vK93sG;-kMn)Rfu za!Wxi4;E6jkC}`)Z<>m~5Pi+|(;ukz<9Nn<_&VW)`MG;nnE2pfOkH%WF3)moWpMXyVTu?+ z()+1)uz>pAEd*IZN(#7xcN71KRg8=@EHpATghljsT**4I_ibt}JfR^aTCJGPs;hi@ z7aRct!Lk|bnt~2%nx?52Jl!BZx(a^~hX#o}8$yZ9bVvbF?N4>s!IZT;S_oFHC&F?~ z!$jns@e{^M-Mlt#5|$vkri?SlK{hrtJIR4-M~BJ(n<}=)6jLp=*P5XTSpG@4TD9dq zyuLKmpJ1u{m{v~1oo%ZlF#Flzr0oQMONG!?;wL;)O8U6UKi9+Gf@9rY-LHS?{XkzW zL~|alwH>xAbor3c-^&D#mLbS~K%uyz((jh&IRs94L~tm-_=$e{2@Sa?$3v!Wd|dO= zj|RP;W!d4-^(Vh{*Ujksi?cpcoxPLC$NAU4(+pS-272Sdp(}B(x_uq!eBM2HQA(hCqTJU$Mr%q>F4Y-+cGfWQXsen!Cl9HZ*Dl0vH7IM~ zPj(Id;+xS>K8v+06dxCDx1d_Rz3PE?qJlT(D0NjjzMa|fB-6SwsdO^gB&L2=F@*`% z)a{ki)V&95_9#i4Jbm*RSNlKI1}@$FvE6jdc7K_vGtXErFn?gkLaX17?59)9@v6_D zpxfmCNFs+YLjQ9cE0{w`;=h)N2o4yk5@Uow2Q|Zl40Hu*w=b0B@$Mt6HfTs$!&f}+ zGpGNGh}dvLWsgW>H5ens;7u_pz6{V(kqj|)(5UKCxAS*+4>nvoMD2>^S92Kl=f>zH z{YA;?mP>_=mT}p(_vle!Fkpd8y$V)r66$lZ5Xgpn(8-rJ-9{-#9L;Ac$BZIi-v~+0 z2ouN8>&!_l@qe1dFOqRDU6WwlW|E-6M8rDUjCX6!G=B|DN{|&%vH9Cx`gs$dsZqS% zi=%SXUHCVlvT%N1%#&2o>w^g|>x3|Ka+&=#EBkZM9lvcBI_i(n*|}So?2Ijf2Y>zm zQ1lC=nFvgnmX0Z_y}&m_gXr9WxQG2-%}PFN;iT?Q%I0|0wyz|8PHVsbAEWMG7VkSS ztI4_9Szyq$I|fO=4`X6Ch@BV@ezL#4q|iQ^3CzveivCB#e$lERTGNr?uV<#^6~q4) zGQwu2I=RC^CluELawZf+=Yg~0b^D|KW(kHgzl3gm!)Y+Tf8>CG4z@z{Hgo+Y{XAl> zU4oYda}V~|)Abv-ZIf=>@`$9@hMq}W&325Yl`@)sD_x;u3CZ$?-f1H)VbC#j#BOqENnVzW8CreANcvXAL;x&Jy8X@r0hzgEfKL;bEZhYVR(qHn2G8cN3*R zbl(J~S2YHO9$(EJ&&hT2-G4dc9w3@Ip@D&e_9&c7S^KnVKHHPTtBQ^eC`~-v`s;c z+L6JW=fq6q0JlYv!S9d`&Q|ShHCsAa89r0n@M&s`a4=l@)&_U^;`vLTboZ^buDNiz za6TcfkCHvMZMyLe8mNq+E1(dt9v}E&Rdy|6rnORiqg&}eH53sS+H&iky=5xaYmy*V z^ErB~>Gc`zt&Q*%Bj4pC@KQ{jO8PJZmKz>7M7lUax)`=ix)_e70U5vt;Nai`05W_u z;Yt5bwdH8SZ(*rQ@p4FUN%3*W063(0__+mm`2ORR;QLPo$iu-Y%_mAF{Qp`EP}vnN z9If1~sRVcdDcEp~5b{3)_WB-JqgPpNn;!O~hLlmeapVzq*pw^F4ZB0}3B#i!R{oT< z)KMW{q>IF{8RV!EC4;SLg4L+lR1u`%NAp|<=85rx?C;@u!ij&Bvg z_B6V`qzH42zbV||X_9M--Ackf7m)iFz$>{qK3vR{g=r?MW z9BAfyY{l!Wt4NeMFIjyxiq{dlt+?&|+tee(Ng6cI6!PHD>&$0qWvsGyIx0%qLD|&A zQ4F}Au^PM>wI}*r5gYKgX;zl=3pfiqt?0>q$7OQF7@}cu?3WJ?#BD+$(qeo&Z_3Iy zz30Z$+<(7WInC$H{w|+Z;+xNEY03*f&%|8j-BBhsaSOS|o;}rNWaAFlmUsGW|AYC-Uo;>$E5&SjPWWa{YYZqEG%u3clVY_RKVN z6}ctJz%HC%J1@?en7UaetG50 z$YvwIBbH2o!ruFh3r~@il=${385S3*mCw7%7l^>O;@lD%ZeDo>gxIcSZilGoa_uPI zN`CWnPbkx3c3Ir~uW;5mCA9{RGa3i|5bb4Dhooo+Tf1f#sZ-6h0`f8%aI3V!V;uJi zhJ(L#RGvXmTmm~v6La$w@2@n2lDMzENJ}=m4p@wx5~NO%`YRL;T`k!fMHS>d?7Av) zRFMB|KL}eM1S38z?L={Do}>o4?f1H;^P71ruN=lp zfBK6C6epl+Y(T({v4{j#ONN?|(|pRt!d_nd|7?(XjHl;ZC0?i6<$oWW&^ON-m!uEkvjDAwXGgB2;xzHGAZca!^h zeok_ed*fFyHkL6OdyxRYs$DcyV{-q!Ca2+O0dWU0WT;EiVUAFUfXegfNx0Hg!0ki4 z9}|ij1Vk6s&(h}TuR3M;_qUpoxA`Tk{Y9#qz`G;ip1EWozZ(Z1e4yuU z5V&@r&0A)zpyq<3k7Bb>2Du*Ol&j(8-qUmi-gvD)zIV$diU(M6#^dla+U?4Vav74X zmnb<6A`!qK%t=70xOeSR;>vEJsu`+l|VH=0w?vn)4 z=wn$U43UK!eDSoi#|mPydsPkpLSHx4Ra?DaBO%brrb8y#>k1)1FWDn@3cf(}57( z;6Av(u8^)~570lJT1BRS!fgC+3BMq`ZZAzpZ4(B)AbtzH*km7Do&JnRjK%qGbhWa- z@x@TYo5h`z`re{QREnd4A}LH*MSb7w1H&m5KL3(HCE}( z${A=BXAaS;;c6|g@eJZUO2J7uGWbPIDsK&u%?ej|MSG8x*lGH&T><+WVEg!eCHq;# zx<4g7esv{zbKTU75c`tK8}>5V@V3TLznn0X;j(!0NDvv0?yA(0!mk#$D0$VAZ;(3D zrmv*40I8?e!Ao5X17;T)S=Ao~uEMQER!WVk2J~I$vW;#mCDa~p!5wK{^XT8lj{kfR z4Kg?kVOV(yKtrM_Vy#G4;(6)6eFjJM2N0OLVK4J+AA3y;I<^pImB{kQehc7sPW6r{ zuIfWyNDD{aWU`0%jmKrdHrTLX44RSlTV^gl1$am#PA6{-K2)Cu8tOD7r@b_imWk*A z(Gkev?@}=Jh2vbQhex%Q9Y6;ja404`MOQ&ojRRO%KZC!hyZgd-6BKln7EszUi6p6f z2T(56KPs9HOi#f0whPw@&n;6<^`gjVx0vx=jfb!r zQ0xu|G69v=tqj(Vze|>rUD&T!!Q4c_@KfEKH^hm|L18o%DI>n^4bPe{Z;nyuQvSXa zH2IMvU81m>N*xjneu7nVch~{2@rby z8UXy4C5DhDL9SMLe^Ey1{yLzR^6%}^N-%k;be;blp&N>wg4DmgS)uNM!6HkPZr8({ zTx~;oZRACT1|$#S`n;AO5Da7Mlu-5t%*^wmc{zDG@12Y?9Z*jMNqd|tYbhH{^#HF& zqaZoI+GD?pv$?Ely-c+*o~z~-08YIaoTpn%ck?+md)n}IUE?MocSR2Gx8UoTfQmA$ z@xuJYWvS7e*rl<>tt{jpH>F+I@0Ts_oIl#IfgJr_ef(hU+VIgFG#!>2eLfr}Qytr5 zI^68QbCqpUi=FJu!(Q!q#qSn}YQdyFcCqP4&KK+gWl+xA%f@T%yJ?q907xBY)$0QE zB^;+`cp_b*W5tUQJS~1J0JK|(_!N3*CCwsd4AN^fRVzchB2G=LhZ#9zWeYXX@mU3J zEcXwEzE8LEFpSmJsc|?v8eH)GbM4Y@zo^U~tPkx#(DycAbwUin9W7&S8Iyo_&iphh z?*8Vm`{kmnVHMskl!gNa08?l0-FDcE>eJV0khiy$=1H$z@bxJYeXV&Et|)(8Y`bKu zxd9rw3v_f{X)9aQbJ9Xll5)22V=iAIt{)R*P5Xumms8zfh?$Y$ik?BmZ9`Ww%S)^M zU~v*&EL}a+E?Ss#ri#~^rfg&pNMVTu$4khO%$jt2`sg0UZC2p~kj^$N4#dgO8>H2o z=CAAZx8tX7x}c3za#YSb{VJ^phG|8UX-+{gJNn0KIGxB$6rqh9s4*5qiLQZ=E_WgG zp=YplYs6^l5y8F0*4<>;_K3K7Ai;$h*HoInk$Aah?v)cf8F4v!mC*UD62r@6tf=7O zoG82cfvlA%Da{N8Xcg4I;Wj@MVb92h2i8#AtcCK#h03sY;kOXR=kzi)k=gU`PDrVD zh)o3MXx98P&ig6E^@p})_R3Wq*Id0~;M}VA^l|g$avHi!!C6e4!2zA(wXNwxabSG2 zdBfsyy>QQ-d1JGFrU_;~FL7Co?J(o(Ik8Xv>8r%bKi2l4>{}9aB+?q&{1gvtB8~+; z68;5kY|c-b{q`XsEuW9AD5^is-vlYI8A5R@!+24p`94GkGZCWLUdGc`f}8@;-yJYY zrreENa`amsG2866y-3{xTB;dm@*!N8;AIQd-iL-D) zvlyFeD!-!4i2r5kBzuj!Nky1Q^u0J}Ly5A-jJ7TXuyx4F`CQXkyV(eMxp;Uv$4XEr zXfbusU{A)SAr{Iy*=X&NbtFs0N+JANVY;igmeYy&duZ(P*o={|23(EO=BQ#U9;ZLs z8hi}gv2y-rv)m^01AYVZ?L>2P|0*)7y6>? zon@?+BsGswZ#X1i0&a9=+$JW9OJFYneS>IRTsuKWR&kQ%b!pl1w$;#Xgdl#<68%+y`L%y_I5G6c&$%{5fjv9m|Q!>XUtSE)3Q} zQ2g$R;hl}#g?hK220t4L?E%z^m9p0X=D?py@se2cR}$@h1(`gYS__q!;Wq>}#ODhf zK}i5RLej4re_u8Hxv$X%&tKN{2FfIRwh5Ebd_v1%$rU#dswS*Al{>CIl3lvrQN$eP zjkU}MRrpk>%~vV3AE5*s@uCE+-d}6|c7+omYWr{|)wH3JQXbbCl8LH>rXw#$uRBRD zW=Z?5@u57O91L;wQmzm;jehOeIs@FW#Ad)<(5_dRg*6P?YAoKB)-jXj&DBc@3M3_r zCi_0K^dKlgW6nUs%48;5$tCbX)8{iDea`}Bi`lXp%juiHp2W_0JIs+KZ zU3l_T1)Pt|7CpVjhmo{ncy`g;cD*B~?gUL_p{Kp}A}dB<&4ocQHEqJLxd)kL#*|e;})Re9~87G_kweE@T zDv%ton*^*Y`|Q zPWu73w-93q3m)cs|L*FPBkq=>$&FZX#xKoati(N*(jQ11-(QvZqB+9MHUuaEBUbTb zAF7P#CYc5t-xpS!eU`)6V-N7TZ0pyzSGM69pVmA;cft)h*iO zwNtU_0dseYeDq5do*p#v@MeU# zkjiR|HZnX&RKEAz#!TNHF7qodrfM%aV0Z-*E>VB6d@ zBCkjH8sWryh9fC1Ic&hWZtr!kFT!ZQJ%h_({$qJcY(JHzSuIN?yVSE3@YfLaIwosc<|Q?mQckQW+MXUyD;93{%A+Y{>D8hY>a=WV-RMVZe=(OFBzvO@~22}KCm&Ch3^lL{vVS5^s0qK zV8Cak9B-~T*=LG)I6;nQCS#rA6C|)N8waF`g~O59tj*LUI?|f6X-(&eJdui;`#lcg zQ#i|l*!;@hp~G*TRv_S+CUoYZuP^Zn)%ELhrT^MnZjPCIh?)*dfH8fm6~wgn)t8yT z`OVkyD|_A@1_Z9O`kH4}#mB5$hG%(Spu5;V)!_pnA)tbqNU92LGB@|*ZqmHh=LwDU z9jmsZz6-=-fd}f%69Um-v4F_)g#Z&I7!FrPEmwStNQ^mm=_JFp*z5@W8A^4Ky&KFr zdu1zqZdH*y`&>f)d7iIMMGm6BBYg5ml5ZSy`AGNEpOBxK4O@3eZWMPHVAH*Jh|==CTLs{)J;7n)!w zPVkCgh?Q9fvfX}^$s=*&V>>G0D>Bx|giG)s5e46pRBfto<5yCIZAM_e zMM7FJaB`#$>59?lN%O!t={q%FobVCqzD3MnKv<@e=zOMl_9fIFW=5Rj2f)BP7T#J{ zVrGsUvwFLnHc0GZmQkE9GN9ZS61PZ6Q4+}uUL624h-%X10nONsN=Ee;gkg(tD3Hxb zCVQz-$YL<7$%gK6#q?p$%HfUobD0X6fs<^GN=Add`oCbi2DMSi9>%2n2@eQ|G*^n@ z>!%_&h9Fb<~(yi#&Ek%T>aVxHZxz66E(|fIq+*xfEp!h8QY_ z(2Pp#gM5I|c!Evw@CgrvM_Yjp27w?+awu}alieAYf}X4`J_-bq@|ttATK4F2$$GuD z_=qj)q+>!(!CSE90Z?vZguPrWcWrs_Ua5N*?oIg|xO_5bqO+jrT%mYk9rrz%Fd)Ue zIuSHrcH7}FJCYx)gO05rxorv>WEH55FYVc9Ve$#9$=!%>OoMX2KD#zd_y>k>hl>Q;Nh`-V}@Z(vdzUaqBE0Hks3WhSBF3%`T<&^mMP ztOd|+7P*KJ_YS;yD7I`FdOpqEqGg3lhGl`*|7BaWBwb6|!$V!P?Ll5CJ7>U$TZZK=hKN)@rnO?61P2!`w*IsJ?nP0g~ zj5=!EvZVtN0pJoUda8<1X0{rFL$kmC4p>Eosa&5^xG|eVWOXQaqSOu5b6JrucjMI& z-S}a9j5e|@b3g49)6?=2yGU?AZ-2MQ zzQ+E)0bgSN5r7+ZhqEJ4aU<47dKzn7o`#0@kUG&@!iL2kky66$cpzpKDe9by|7#b$ zia9JAJ{q(s{DQz}HdD{lAD&^D07FwaoLiSviIe$?bUx|_aebE#>=Fp|`+r8W-Vb4| zu4@{2X!(S>-mqkfmyRu}rYC<5Z1fmW>?Bziq$?^Pav&hkS_SWsPI3HU1GBJvj}xd_ z*}`7=mNCCas#k~*pD<@vd%p6kuFhnYt-qM_Akqs-mysj0c;XOJ=$jFI74$T$_V7)8 zDn$6|u<7@JPMaHcN#5b$V<~_RigUrAkcXNl;9=a#%#DDHo$%#y;}1;*$mi9iXdZOi zs!BDsBpHMP85k8`d_kp9wo{LJ;#s&?BETJr8g;VkjKbbkL*^G=aGdwt6E^%=3Z?mO zTe`hOt8q2H-s|uiGVy{TpFH)8*7*&EScoA$M`;{VZxtMT$=h#?Uk>omKI1oVjQ+an z#FwwUDXlA65K;w7;h#EDWV6TY(K zl2GpTe5V75Y4fKSfwT>f1;{m&gMFg=N}7+1Ny#~@JcRUgEB5nsaAV$fjXEae6RrFT zC62rU=6n4)-0w(BS1>Eju9+;MG!sB!7A;(A!v%`?Mbw4Sg;}z>O!sN>e^0hCH>mHX zGYRPKJ5UBW5^Pc}3SkopZhU8=L}a@V>OWA-Ym@(+wj+R2#wmN~-jdZb|IyMOkJQ9# z3NgP%?7mOdou(kBv`<_WPSI(QCfcKNnxZUhq>uZ!h_Nbf*w2aaQp&1U4-dRPdApM} zdn|?foRsmWz4&9iP96Yr#>eNG3cFkfxxe4k`VZx(8Yvw(T4;t&Jlpvt296FpMkT1! zzh?mUK6A(~$(0`t^#Ziu@#)lr!J@x*B5a+wjzWRL@D| z`5H&uGb1OExbzLmzsfpjcEZ1m9BuFY%jOMWuhsej+}6iyvVC~u1}GnIN12!xg-8Q@ zlmB`~tceyLA97`xHt#rR-I?IYFUT8i%eY~`-$Q+reEkwMi0csJPQ5&G>XEWla#k2- z++2$@xuNvmq}#NViyzXu{T4S%M!Fg@brU4YDhhu=X)rFzf=9}JkCr_EmD&=OE^q)K zHzLp$9pfe^W1oU*x0z~CYL048&I~0_t{+dXgmv?Ub#uOT4ebywyRNDI=)OeHS2%62 zqPGbx1oN;?8{g}-Zs)oyqwEgwRloDq^<#rHkSxgVE~vynxdEk5Iq2|?bkXHK?0V`` z{l@6C&alO`R2ph;u{ zE<_UX4R`q1UQ({*HSd1ER(p9|AN2W)8V9<+>yxuduu;pC(bBYENT^)L(IKrv^4SU- z!R%UqP9f2(;{8SHta~CFChqJ6%Smi*gv!{m+PrCRzBfF^DjfYg%zAM0+bc;J= zChxo|;-Bj-L37)V0$0D8Thw%WOwYriQ;*$xy>-8vpx@HKpCRMwk7hd_-!*FvQ-9%c z7mrlzPn**O^Bn|ff)VbiDg}bm6|-QAKTYTN&^^EE%ii@r!|kT4`WJ9rMlid12xjn8x0r8!2HQ4wZi;Yz)@Hx5hOgvm!d%V0Y^%i!3W*m#7vx%q{8 zxY@XQn7Fx_SWvmt+-+s8eC(*1Wkq?pc?Gz6{txLG*Mr~2)|3_Ik&))+mzUy|;+Gc? z7Lk<~;NumMmKG5dmY3n@mibIA{{JFos9dUcZVo<<)FOh}3yScp0E%BKjs?E>W4qq{ zxvF{R^tpm+dHkmbi>7%dORY-Yd}R)MjCvb^xNbaxr2^83OX=z|+7%@Jp zy*B4X`hh-G498lGiaA766*sI|nL(1$qbnnbb1^MLM9x%eB|4@%&5zs%L4t>1NEG)?Aia8Y3|**XiczQ|j(105Ev7zQ1yO{zHAn{cz1a4GLiox{F`ynH^d4eQd; z`Y(fYwSms5E`WtZ{u4_xOO7tf>;C!%Rk{TH5-Xa9L_Pp_T_i`#sQT7b1aF;urUrZ; z+@6;T701^VoDXjI6m0&KW3aw;?^;W|j>|sO(g@ZLk)T|Q{Aw7Zq8ZKRk$H<#*b8pv zBQg+2THO(q3}I@O5?aSti^#tghYoSLjbfue9&D5Co1 zn4;D)2jJ5p&9^FtleciqY8#N%0}qhuh}#wUX0cp$Opsmo)O}A|axiQ98;O=^mV=XdmTTX0<4+qIPpNF2A@m>is>yk({v$rJph634=f#7< zm7F|*r&lLc1%W3kfeJ#k_fTS;+KRvKPjQz4P@gyG-Ls@x&4<5(<2;Gnq(~{++#`j< znTx}bd*yXsOTf0#Zo<8?!|l(`Q|^LD<_TO`A$@A+Ce#I>FOb(&`py!q1TLGu?QP`h d)w<;si*IgwK6}R*o*IQ;7?puRPD38`e*h(;t~3Au diff --git a/report/report.tex b/report/report.tex index 29a147a..a7f8964 100644 --- a/report/report.tex +++ b/report/report.tex @@ -408,7 +408,7 @@ output := y; \end{section} \begin{section}{Target Code Generation} - In the files \href{../lib/miniImp/reduceRegisters.ml}{reduceRegisters.ml} and \href{../lib/miniImp/reduceRegisters.mli}{reduceRegisters.mli} the function \texttt{reduceregisters} reduces the number of used registers by counting the syntactic occurrence of each variable and partitioning the set keeping the most used as registers. All registers are either renamed or put into memory. It is allowed for the input or output registers to be put in memory, in the latter case some code is added at the end of the program to retrieve the value and put into a register (in particular register \texttt{2}). + In the files \href{../lib/miniImp/reduceRegisters.ml}{reduceRegisters.ml} and \href{../lib/miniImp/reduceRegisters.mli}{reduceRegisters.mli} the function \texttt{reduce_registers} reduces the number of used registers by counting the syntactic occurrence of each variable and partitioning the set keeping the most used as registers. All registers are either renamed or put into memory. It is allowed for the input or output registers to be put in memory, in the latter case some code is added at the end of the program to retrieve the value and put into a register (in particular register \texttt{2}). \begin{subsection}{MiniImp to MiniRISC compiler} The file \href{../bin/miniImpInterpreterReg.ml}{miniImpInterpreterReg.ml} compiles from MiniImp to MiniRISC or execute the MiniRISC code. It uses the package \href{https://opam.ocaml.org/packages/clap/}{Clap} to parse command line arguments and generate help pages.