From a3d99d79a2ed644aba650b1fd01428c44d95afdf Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 26 Sep 2025 16:17:36 +0000 Subject: [PATCH] fixup! AE results; migrate orgs --- artifact-evaluation/artifact-eval.md | 2 +- artifact-evaluation/artifact-eval.pdf | Bin 183757 -> 183742 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/artifact-evaluation/artifact-eval.md b/artifact-evaluation/artifact-eval.md index e98218c..0afa963 100644 --- a/artifact-evaluation/artifact-eval.md +++ b/artifact-evaluation/artifact-eval.md @@ -55,7 +55,7 @@ nix develop # or nix-shell for older Nix versions 1. Clone the repository: ```bash -git clone --recursive https://git.cs.tu-dortmund.de/alwin.berger/FRET +git clone --recursive https://git.cs.tu-dortmund.de/SYS-OSS/FRET cd FRET git checkout RTSS25-AE git submodule update --init diff --git a/artifact-evaluation/artifact-eval.pdf b/artifact-evaluation/artifact-eval.pdf index de671977ba51cb4bd7707ed1cb9a837ccc000d55..73b6f65e4eac79305a788e6fbb0900428a6dfa3c 100644 GIT binary patch delta 2180 zcmV-~2z&Rz2(kgrF7^?P@Wk~Ait*!M_D~$t zW1M}ANNAjT_2DCU5QP>Vz$v{C=e{YQ!2UuyFaYal12%o?S=$%dZVjOBOhO@V4?z6zvm>PJ&_|w3BeHD1&?SLADqp9N2(ZDP+e-cx6-faBbBq_(Z6tVP|? zNw!5JPi`*=Q3%baaA&Z)w_=lzvBD2g43Re6(?`kcDk=GyS-^rm2q7Xt)GZM5i@4zu ziFz{zScn**-CP?yA5^?0e^P!`z==8obVk1e8x80^-?ui0 zyh@?9&udYsURm{6*UG%wj39`826p|a4=A{#lee-QKlALsxC9Wx6% zJVZg2-x!k_-}6H3PM;1XC{jVH(fRRA!!SW1oSD{&c_mw=R5Xg6+bO}0XiaCEOyMN= zYRJCUh^j`NZ?C@|jIp;VQMFwcl3QbaBg11ru@}OV zp(qYI-s`lXdF_J?FpQlgZ`z#+fXitdIJGFPK&Ft*Qw7>qJLxGm5s6}B>qE_J{zse3 zyy0>L&;XKZOpY|?ZLT@p-WXEfM8WSSYY<1?%7&Mw{WWj4e05LopPjVCo&8ICM8zk{R9g~QOg;olwbu^);t#t+rpHqB0+&1NtYr4lu*n~Az9 z+bTmDpDlk~f4c9N%bq|X4;YD<`hk{ltUm&d>2vJqR+^3Z&^P(uUJoYO>3!W334ilv z#-qi21PlQffw8MUG8kDLjNHZ5ceVAgaP$w>^2;CP*PBWzh8kiWh^tnx%zD-59i_@3>G7@`(E$O< z(St3HP{ozb;`$J`8Gpuo)j}jGv56RST=9!cA_uiUrkOcjKbSxNW}c{Meh6El*Vs zuKn7*$&T1$cVVwjDyv@bZ_Io9(0w*$JtN+xv%h+$MCKt2w ztBZay``up{a9LEhRk$q@iWm;(q zgP9M9nGXTCnGXV-yHPSTF*QawL`FG5H8VLjG&40gHZU|qLPIz>Mm9M&H$^@mJTfye zHAXl@Mma$>GdVUiGc`CiFf>F$LpV4_HaRypMLt~$FHB`_XLM*FG&wn!V7US*e;v}v zPE=78h2g!gC<02+2%=JSf{HXYsDO$J_Mq5dN7?%ZzQUTC=!h2}(S(7C0|zAd0vbn7 zoe<-5;QiO+%ieWwoqNvNDn>L}Gd*bfJw8>-L; zez`ZJ^4^Q~!vGwFLGYeAN8xjLL&F&zzx)q>!`m2#Nf^thZu;qQI047tBuv05I1OiD z8qUIXn93Mx_X6kOJj}oaxCobE7UtkGT!E`_4Q_A;u5Q9St)DKyEn5HMe>N=AdX+nH zm)0xagZs4p+5=dk^$s4wBUI`2L%F(G-wGkwkIrB90=C;!frG5Jz#(B9n3^xqCT|BvH&mjw4AFGZJwWaTLQ7 znG~56163=u0aF#}l;cPQe?%Nbd_*SYOcEqHlf+TPQN&T*854^>Q8i<&=Bg*NdCOIA z=E`SReVLnoT=i#B8+A31#p+~vC7=G5tbHi?GF|fZU&*(RCF?VOZw$zloCv}ohk+c( zIUoXZ1em@&eFiTNo|$VYi;ekm(H}qKKT>dJh6-hFWOH delta 2153 zcmV-v2$uK0n+wgG3$Snr12H!smq8B!Cx7i&U2oeq6n*cnFfgEyfr%DHQXhFs8>i^d zw1w>s7}{Y_B-$1tiJmCA2{81x@A5;AX*a1*(D?WMac7E+<%+k z31$%r!ruB4*8h4nbr}tu*P{C35xQyXq{&64OwKMzG;Yaf6j4lvmd>VbNPOqKD8$tD zLnlodK6PoxoJ5*uIfdaio%)fpH6x4jtKpQLUMi%_uM4~Si^se&ukuo@YfI%BxNyHE z3ho5}jUO35i2vr*&r_EW;?z79Wq--5jAv$mVR#7!@eyPLoL%fA8sUlS6BOg8!R(

k&SI6VQ8`^5=1=y%^5kp1IEgS7U161>?^H_kW4#!kUo4 z3qAQFmp2Ma;w*Pb%100ccE)kg&DVHQ=UkDmF@6?2k+z9F&v;LrwE~WF(~;V?p0XBo zM<>}9jXb%%AVeWFpTnKO?%s(_KE?_^L@`9#a8I8kudAfwXJ!El`XGde1W~s@$ZK)S zB@*>!46qO}Lc6&(cs{ClOMj&Ns(=%92I!1_2R0he2fp(lOg^xP5&Yvgec0(J;+3I7 zq8`*~cnzr{Da>GQUw)fiF6OI&=?TWj_adMpMltNiIN(Txl34D1w>s7);BUd1{8ZC zJQ<4OpyR!k4b5vG(g4HQS@NdcnE<$)#(`6d(k93h)I3$7ZMBo0aubm#Hnu+2yykzl zxy&0bM*s~#RAX|KbKd2e)9tMx^=%aVVN`=S@=i9qH0`f>vtKn)@jkaxA)~64a+7Rq zVl9&j+O?UMR}uoINs5AJ!%%f0#b69M6{{Rbj5in!Cw+FA=Q*znQSm`ks;q5vQNT7u zeRpQoX|5o!>LD6WYOpdKS!jL-N6Ll6(7NH@ACqwnAb(rBAC}8rf1YiWluKvhiWN|QZA6MVi*2jsX zf3TKc{wTlRR#Gw45bHo}RZ8V+L*q)=Y@ZZ0PqI7H$;~>Rsq$zn4~>#5ZR_IMyM8wY zXh%X&0e_*zS+!=?t3K~2RR&3qcio5%2*?~g*y0F<>>&Mr4WWL1fPuWy;GnN^du;FV zxX@*VkJ&Ihq-g7ukHPY7h5!e5SBrIC@ELE?nQfy?A%u>cIK>-#W@MB%^GapDhSx_G z1BkJDp#&Mqa6QM&Fdbb-bT1yK4LK$CkoEznfPbhTdme)keIBvbPyb*uKGYaL8JnsW zR!@bS+;SBQs=MySMUipaeBb%8HyuKo8&eM$=`$+$l;i42 z;D0S6%EOwg6a;zq;sGwBP-Y0XIfMm9!4F*i3g zH#9gmMMgqKGC4*zMlnM)Gd49oAUrTNLO4c7Hby})H#apmG&na!MnXn1IYu@{F+(&n zHZ?w73NK7$ZfA68AT=;EmrwTX0e(w8TS471BBBF?l z{?|d3P{1argQkqA_~{nd3iT!GfnM4Ms&1-A*hbq&wHWt_ z?{p64X}$XecuMONJ%i`8KIJ03p!G$(gjck_oF%Hr;>REEMI%5GMH0oei#UoniaV9# zLmb6Di%iOyFZnj*_XdDm$%!Bgau~>goC6{tM}Xv{!i