From 39b83dc2b2f9a6466c23489414eeab2a9a483c72 Mon Sep 17 00:00:00 2001 From: Andrii Kurdiumov Date: Wed, 18 Sep 2024 00:33:48 +0500 Subject: [PATCH] Improve publishing Nuget properties - Add README - Add existing LICENSE file - Add projects links to be visible in Nuget UI - Add icon to package. - Specify version prefix (allow differentiate local/ci/rtm version if needed) --- ulib/fs/VS/README.md | 4 ++++ ulib/fs/VS/fstar-new.png | Bin 0 -> 23765 bytes ulib/fs/ulibfs.fsproj | 12 ++++++++++++ 3 files changed, 16 insertions(+) create mode 100644 ulib/fs/VS/README.md create mode 100644 ulib/fs/VS/fstar-new.png diff --git a/ulib/fs/VS/README.md b/ulib/fs/VS/README.md new file mode 100644 index 00000000000..bd6f346d14d --- /dev/null +++ b/ulib/fs/VS/README.md @@ -0,0 +1,4 @@ +ulibfs +====== + +Runtime library for exported code exported from F* to F#. diff --git a/ulib/fs/VS/fstar-new.png b/ulib/fs/VS/fstar-new.png new file mode 100644 index 0000000000000000000000000000000000000000..e6bf8a6b3308240835ba1ce4a1172422837a7565 GIT binary patch literal 23765 zcmX_nbyyVN8}9(p4PUyXMH-}*4(Sk(P66p=X%k~y}E%8ILie9k#7J14PJ@_7x@bT0MZr!ARhsM#yht|Uk02AdZzvS z>D}Gk&CN|qb2A(B!=CPLS%~xtYn$bzB`!8LcNf>uZ{PNIcGRD$M#94R9`T%>oFv4* zot~Z+6%x9-x+*R#dakeE(9p2Cv5}dcfj}V6Q7C_3zxukmPnA^-_4T_Oo7WRlzfEn9 z={ZnAVSmdjFEg@Fg{45I*_x}hpbVH$16@M^2uPcd1V3+?GH%^>-emw_p{=2!_&jLkIFGR4Q%CAh{NFf1mFbK5i*={T?dym^a=h2#-+48R zY;X1@0#9zrj0H8{DEi8&0121uqAbN5Q zZE%3ThY1{o*S;DsRsgV%GkOe-(1CG+KPw|ouD`~hK@XIF!|V`LMrvUIw04K`OHb!$ zumGU}_QLC#O+ysJ z*r?WuU!VriBS#I21&OJ55URP%2LL?r<6f}j`{!NP7DzWtz}eAQ{Y&UIM`=k5c4Ut* zKY^^~nU5MW0i1bhETeSUWw^5P+6n@6+vOk1$eFHkI30Y=LN@{cy%c&%>2g8i4QW+9 zAyD}Ksv4dd4-ce45@G?)+dPF8Vm^yIz4?{(L_i^-&kaAy%$y_kUYveE1rwu_gWy$( z^A-%?iBCGGlAcGIvE&P^LKeQ4W-2B+0?r;7g)B0sa26#N&bz5sXe0QAF(BYfm z#oiH!za^gr((UsP$3`is&=jSBvV`a~T?>B13-iAWK5hvpuQ?h5z;D?0v{v?{aI6?UyFe{f z++zSJSbWDq8>(CmQ`GVUk~%I55%CDj`=1kz`zC78)6Sg&3?R2irm$B9DyWIuP}G7A zaJP5iBkHF^3;roXt1*ADZS5?+MX&|4s<)T+*a8ZE0od!Q2AyPHvM%r5*>ZTu~Up4!ben;m!2tZP7~x|HR?{Fyi{}rZ5mp&~ zhO21y^C2t%sZS0cV-Hz5;<`7q#Ix1o7;-DRaqN4dlxzRQ$*o#izr92M!2rZ6SBiQQ z5E~+9ct-+rECBFK=cPgf%{2DCYYEb&QElYwIh+x1L8JdYv#L64E7xc9@VF|!#RDP< zijB%9Z+=;werLO~2YuL=SKyi#@hedir{N0peWXOOs>0nvRC5b9=+Pe&Cd7FWzOS^C z_c%b>eOcxhH)-(MCaL>{S^7+Q5fmM+9$z1d1Ah$!3nQL*%X3!v-BS@f$3&|Yao6%2 z6oYQ7i!<_X&`yWXKWrs)IsksDBpx38^NU)Mx?%;D0}Ka?HomXlt+o25&qv?_3PWGY zCwbAcsSDIZc36=-{#YSK&G}r^rxHgq7`E!`k=8t*D~OeFBUxLpLUwPZuQYsBZe9UE zZzT)7`i;O0OZ2_sK9zy3#@xl#n9}#c5;auTpCL<{{-0i|H%uYKMZE0Gbbow+&&3)F znb+T0GIc!^+a3d5&YzVpZ(NIPQaz2@OK(kqNK75fki57$bBl%f2y(zS$ptHKF&?oY z#WWam&*`&s=^2E4U8|z?&0GNy@T<^Fp`LQO`>rf%2}Bk^(>eh?*+l+>2QyB)byEU> zxHB#Mu*#&R^bwFA7_;kyC_yWG>yxUR^|bIRE2Fu!4&!SK55=Tl(oeybg0M zPT{cSCk^-Bh(nOU8Jyr#A|wa*f#U&rfZ8LsN?*CZaja&wV#_=?zT$%Ve$J}n0g9Sj zmJZEvAC6Z2BoHsd-BxvKGD;9Jw(oT^BR9B;D{A>0d&G!=LeX{1kev5K+dDQYZiK)E zf*QX1yosQ}wH<*AG?&^dcp0_kx3+3m$wPpsA~yvuPL%T^+6EhFe)z$PWP0_}`GbsN=!p_3>rB^8Ru3NiBuE>HX~-A($b! zMG@S0a$v?3iqDVSP((~~Tw(CjuYhT1`aifdo>jN&eZG{sfEb*tzo|>UOrC4QjNB+* zm{>nBsLO9|Rlg_nUv>au{Y`#{^@Dp$(=}s5?`D2JRuLi8jF}6>ip=+&Ej!Z%#o~&8 zZIzjc4g6q2V}?}R$Jl+MvBiX8bX%xgwjRt;gGv^%Bw=*htAO6Wq5!iJe5y?@FEA0Y z!FI(80!u+!$zI`?pH;QTMR6O6*M0gK@!q%|5kY zcR~T^Lz3+6_BnPizrMsQ!Yaf%mWD=D?DwbAykpegWC226okZ607FR!JzE}HI!ya)* zPh6eu4QO$Nz-C;i2f0=0o-t@r1t;ni|2n~9wN8f?VP!dz$Yca5VucON#_tiv*oEv| zm>sQgCswZ=EJI@TJpo`!U19MN^gWT?+2ULvKG0@{&}-k!a_;PDN)#jmt1eVgTL)oT za$lW6_Z1SV1|ZC%!?lsWKr1QWjz56rDd`F5qeGF>*pZ#?69~&{_^jI?Xg72FM}=-w z9T1wo#XTm#m$y}sbtVWG{@b@`M~okj%P~8wi@0wk4D84lfZ8Q`Ddj~0sMwzW+t-1> ziY;HEo3&H**JBIhHFjjecp^4*odF5^qkPZPZ*cA7q!^)<<&2`c8qxwMGIV_Wz%ul$ zjK}}#4ZXck;URU0`v1*e3d-6z(3{we!<~_sISFE5QHT!SLTJU9Hu&>I3APA$CzPE0 z22oZb%3Zg@1l7_J!3I89TWL5tY7L-Xt*}SX-k^whT>mxCOE2g^CujD>~6^g5+ zF+fF?E{#XU?%Tf=S`x&}8#tH*BOUpOaiQ$KiCm*b_8?I)VMh3b3KaAkJgy8XTpX&u zvLaH_0|O*qnKERw7sUyrD!PN%Dx@9`M3fsiYPcl`-U~pyFdXg4ReVnzojZXGjd0zY znQg%Xqu^Q6Zzi;CF#|=%C%762Eu&nlGbIVCX(LM6``PH|NKd}viUAu=5cQQm7)_Uo z84?h#=)(t~Kf^ehANu)`TM^r(u_IUU05@^*00a&@IRKws18#*A3a4SZ=Lx*GbQG{Zwe{>WC0qv(9L4{cAIK`5zFlM1&}x>QNDi)49iw zpk+YD+bx44hKxc}PR;wE&2ONGPna~_Go@gw##j$hxh!tB@YjObVElNqWHH|!jh=%> z-#4EGD&mGG;%p%Sao(jpO@NS{m&v|3L>KHa?$e;mGwBt%r_fzJ7F&=HT`N{cI`fQ! zYXVW#DL-KOnHgS-cN3uz?h{zl(+LQD4N+*LblM-S?*~PoD2`um65BMWmjq4w$h)b| zPph2F#f=d3&=371xCcHgx9jVD!c?Pxdo0Uv*7Dz{)?dZxu)I|Yw8EL}2hBi)0As%9Z(R?;axw$p+>zQ(qpWC@B&3#raAwcxBJkAhWE(760lq*P)w@TST zf8T`&Imcmk$QFej?p#JoYT+t7s+9O8DA|B!qm{9H`i#%s1hHXhej5#VM?EfFonyjj zcvYlK4fi0h(xxoi{0y#m$rt+&_4E$|HyMQX(Ut;--WJw+BqfsEDhusWI_LqYMBV}uG6cRY3WNb^7`EF zS3b;2MXvSS7b_N!uPL9i|H+-{-Qe#W9rH~QK!LzVftxI(!vt(Vg&q!OnC?GNGC5ZS zp~DP>KEs6)6jfj=@gglqBgMX9L0-Y1Zbk8Mf{K4tV21Osg)FSRejO-8*4pfZc&?N( zQ^jwATqTWUDj)c-BT!RL!rY=y$d(N5lDg?iw)!580hVH^mhY$V(!u_nKrrBGF-2Y9 z&*I+g`;k4ibGTpO7 z=_rx=1cS;IYw7WO6y2k-5ePnY6&CO<^R2nCcc|M0v7VoSkIjjg5RVz@2@Mc72u>$C zj6CuGEu+)L$XhBB7MleD4_BUaH#iX+u+#j%S{skvG)bz3@#Cb4RtLF z{XIu*lU!Lq0A&B9f{#YaX?o(CTPRE|{USi@DA9mf5XMnzEG`N*svMizT^%9c-A1hOt3zi(vEUjl_u z6UpZDmeF9xK{lhv@`Dy0j0bi}i+`TN=m6+`zi^=_Ir>r0e_(nj#QjW!(0)_bVFadq zNz$pvle1su)NMOi-q#$$p8#`$_TkhhV-odBF&WAwvy0{#PG=Jd$t~ zlV(Ht_=AkW z#ggGlCL@%7M>DVdRCrzaJK3Q=AZmX+lAkjOP)97gLqL9uWL;Pg(V_&0jHC~sKa+ny zt=*Y=Fn771?(b{H8gS6Z^AQ(1s)N{yQ*`fBRGl-ZvsHsdg$wJ|5!UkeQ3w{xVn{@z(s~MAAQ>&?$p=U z#<}Lz>$bGhZ3ovP!G0&kXO!h_0NYmWU$Kq1oizPdgf}9=Jyn;XjN0WtKfZ5gLdgC$ z4(rjJ9M4@0>VJby?qS>GG@-){w9zFw^qL#SY;r%b_o_RCldr~I<;Z#C9cJl@!c=7_fu8u&-zs5A^ZDThaMYRU06YfrNig!g3sBwMuQf=2X=mU zpGf<*<e%WG+(c;S; zouFgRH%jY{bL!DMjoahEAp6;J)nvAp2)9=F;pReF|vXv{8x-wge2 zG^B>tR)A>p-L-3Y()>RlF1f^k_rxL7tf?Ng(@{WY`dM}L=KN9|@-YRfGS+kuf<6B@ z?VjnTmcVL3>H81nk;bOA#N|V$d}@a@y;?k{=BJODd_JRtw&uGInv`r){t!EQnbr2z zJc04`S`VF^)+OlXyn+95Gc7N}h&?A=aj@K*R$n=U{hgHv3~4gU7Rb0h7^8QgXqAUD zP|B5GyWaN9zw%4B=SV7zg>H;IQ#sLF*iI;Kw!jkDK0g~aXZAeK_@%WH^SVZ7@6CJ{ zAxFNhXHdQCODcf}Mluu$pAnQkn|1XT&F@qLBoGDas}5uvW^8Zsb=`YJjNhfb>yiki zrfz)rrzh4qH>;^z@h(hj+i$T{2d6z)d@!jrzFVZi>#b~n8&|mNYK2%=ZZ5siL{inM zJ&!@lsI8cu=H9^*?dXvQejY84A^9U;BtPu+ysj_!$i7k7tG0~4ZgTdMwmtZ;G^w=v z4C?yLb*fI;tx3>*v8-#s(nAFo8EO_ip1t8^I$^eBe%=82sj*F=DDKgyI2kMDr~=P2?$9E-xho54)Ogf3R(O9ZKxu<8I-5~{k5@- z2Z#UfLtEfLZ)9$&^sP_BI_jBEyILIs3aLge(Ouu$kbU~i@qGwHaSQu(HRXbH(-y() zFBc4!TE_6M?;;YOX6|3Q_fvlYm)}+N>Fjwt{Rwej*F?-K|l7#U$ zsv00Vi54u*HZ65iM6$2Lw{?uBXwG%!Vzkno;3m6laO_4Md-pcYNtmtmnug4(@lg4u)KH zUxpq`PIf!zljr^EMkB>ABFcIiVn$^=$`7X>nwkzTXs6=gQTom5&4Wl)CQF%^aR9a7k(RV=*x7%}ezTP-wshbQ-O{JJ|^ zuXW3)M4?Y`5B8a#YAkH;io>GU#+b=7p{a5{Oh%{NsXDkJEKw0dM@r~G>G+m^Ne*JN z^8^-n4vVtZncf{R*UmzXh~YZt(Z%n$+5~B88sy!wy1i zCL)@wClakV#WI2?wxh)*?$ktsY_$$UR}+H(GOP1d!DvaXd5>sf3f_n;~IPK z?1<+2JqaJO5#2Q$-;oVcT^f5nLg{y&S=;4-Ox0IU@{%bCH+3u^ZC z_)X5PvcA0OKPLa;A}~$eFe0K)_(`XH+V!^UOLVN2V;q)yBmK%7Phkd!yKEi@h;{L# zYj~o#0i-VXka^-^aq#6ePQHfU+1XU}mF&3@Nk(arTcqukXY#eHT$rH?yY3u~#4|3~ zfwb2+wHk6y-R~^6abBi69u@UsWp(DlRopOaSG$C(TfTNr`CRQMW5Q#LH&|o+vg}I8 zYk5XH!s?vI-Oo>ePP1k_eSD`^KN8Gc2jc_>|4UG}Sr3@^{hSbsV7xRnrE?THEKRkJ zOzO}fLDnVAwdm>Ek$V2LQZ>o#$lCr)hw8BMk%RW86*9-FDXCY^PK*w?1Thphe^P*u=Ef8dE!iyV#m^>tE{wRc76$PKQ~9W%*w04C%|K7Sou^?R7s)k0nIiiTxXM zA~=!jm7+-^d7(-ZeQB|OJ_R+b={3x`PJJRBplmslA0)M^>5qOK)LprLfz-K1s`9|l zClAyuhfTU(uQt%X%haZveAa>U`r!8OXXY-4-~TNAXDe9fEr!HZYL)H3OQ`gXWo8xf zryW+(X0x}*7lfHA2^iI0|7&8Mzly>6=%}!N`f8@r8?SAujLwX6W@nqix5{|$>{AB` zV}ryGofWK7%R*GZgR@mZv1-3RDZgd*DtAI_^}qVdFp(`C0(lX8uMLv+v=_Eh{R53j z4a@wda;i!u{AW6UlRE-|Y-i+i0E<~A|?B}X|9>!R+(P(>VO}SmH>o;Y*&VWSlm9E@H{<|Wcw5P!K zIsQV_o*&X!2jLTBw`dD|SJk+&kS4nkM*7X30vF*SMFQ1+c7%MiQiC}FHT7+a4n#M; zd&Oll;M~AGOvr%icDzg?Siv536}U?AosTw9J$vLoTp{EOGJD3=|L8G>lF$ccjz*WC zyAp+{4EIac+<}r|dO=nJS$Vrme~U0h9xTo7v8DM2*{#w)-s@W8&+%((7Prg`S@C8f4>Oczy83K&>~<1 zQ(89u7LVcdM~=C{O)`m5W;Hw(Wg9ZfT3%DClQJn!WILz4nY^Tb_30J!Vt+;_L|hHA z5d2~=p-Rl9U|4dpL2*%`^~Dk00iKGi1H^0D)?9NB@zR?_QBQ`8QydY3DEc|>d0X;( z?EQh|sfMSx&Va*<3PjXMsY+QQSL=LnG-j2f5OvLTi5+-Hkag^qJ`i8HQIp9yq<~n zh9+*4G`$yVgob!zdP{obT;wkN94nmkE3J2K1{}ynnhSL4pSBY{w9bvCo4zcjKIyi2RI>D~z$dO+;xYCB zsg@AR7XJ)mbKjMFBZ&%*tjbJAXG(-jvQd zHu?Jz6WP%3!SD7ne=NKdl%`gi|FXKJD9lB9?!;PyC>}Ev)ew=E8~Uy>(Hk-h9DT9BOZnKEh7MlZV3$ z;TEAaE-@A(v7L(~>;FTm)+y%0Q>*gVtE;o-Mt;jnRfz_A?o;hw5j;pQNpZMFx%ga< z9t_=%#)KjEfVWgS7DW=T(%|vQOOXGmB((85c2#<=(#Yl#P?cShvdi>)J0&hzv?`Gk zPdX+DUHyYQg5N$VD<~oc;`%qO+Q2KT)G$=v6C-rCDkjkkT+>n@iL3!g_oOT@7VWw1R$Shr zLQ>)49Fl|1E1EX1UuL^MwRL6OBa<)^L&%hxMmVDVt^3K?J4WBtg+3^zp8O=Ase?B$ z+}L1h`!VM;pM36mbJQ2&?^wn8(njt1&3e|b+R=Y71f6mcB5$vCkezHa-xTXPe)i7F;{cP6 zS`6=)FHgQt>UZoCixr0^WU#e?AxKEm;<>;2=z^A0F`#RWPX8_r_B1#zDhW}nL)BCZ z#!%dskuzFpC*+u%@HyNY~T*&lHyFxXl~laIf< z?i0O~ieO^RzY2FBZmTgI)w-@3d{t65AQ!l^tEmnTiu0$+_|o&HgT*8D8|lEXwx^Qe zQr>c-^HqtM9T@J>FGJc(Rh&r|(T^<%mW6^cJjs0~pUA3)N`+b;A-_#?lw;V{UF_@T zp`EzalCAuSGZ+ng29go^L3LJZ6TR!>-LkOqYIE$)a$5hDgE>ek$w8fi9+NB%({#f2 zj0p*IM&>(W2|o}SlRxu$Wcgb%cE}yzBn_+h4R|2nN{mDsiu{Dj0ra}OF_SAIg2^EwRI6dofFw;G5M2CFy*!xS*QUCIG9kELl zj?b0bcprPm<0#_e&7hk%J<#6dCw{%igqgJ5(7wJ}2L!q7fo5hYmwYzfddj|V){NOi zy32&{l@MdiVJ!1>H^&|Oy8N`hSgGg8nKWCD%Vq(ZmOx!!m}X2zJt)m5!kkvdCiA*r6VQ3 zxt&SE?%yg~%}?88&l|y_oxNOG^DnCydrD2x7L|hdv~e?n&Re`C4?94`KH5S8!zMEZ z^3?bbRZz_)>E8dWOjOFxnEzHfGNyCKg<{br#O)aVdNiV>a+&JCHM#EfeBt#Xd!9Uw z5Jb|oMZuhU#J-V{EyVoUo~Mtcpno_`ya9wXtC?LV@0a8+6>x_zOoWU73y-15J}I7! zeu=SFowSm&%0KYQ5kVA?zT9@r%$g&6WUle z&13?Dd9QKaKeo~|p|Loi&KsR)FLtuvp^-R{|D?M&r<}K$E~o49q_m`7*m#py1vP#= zqS%o5T*isw$v8|wf-)($6%mK9Zq;yV%yd;a_0Nw`A@N|<(P%>$a{b04UpJie!ARpa z$a#M_`U&DNs*0NsI?ErT4x=Lgk2$&RIyPo~8k3xt%JE8Ny)e73bvu1w^rLU62ekBL z|JU(zQ<8_^Rt+RlI4hBpGt=5a1tp!S@`Q--A5xU0^eoz5ESSg^ihNr0&t^G@hP8O4 z=I;}hIpx~b8w`Yu#OPKdLET8qA{J;~yMmpaqA#;)J?h(11@-UEM9QSopVFN{XjN2F z+J%vFm5RoU9RcpbtJy8)-JMS|_+iow?RMbNuYWFQS~Uc)y}97#nf6uw+$1uSOV!%R z;JoFPIK<`6_ujh(>JGf6pirYGbp}bRi|@|b;zS`M{k3J(l-4#p456rNKMMWX&z?qz zDxX}+WyyvK=p>h^>D5vdZyMBb4w+>}F{G=KQnn#fvr2`AwCwsTNSo!f9tODTj1D)p zi$wa2*FYC_RZQaK&(C}VqHiZYy*kDPZ>2<(IZo`M8^1c zDiuf>Fi4C+Cri1%bLm5BM!^Dx9L&(N%H53%zx#K2cXJlVR10#8UQYhRDD03YE$%87 z%q#pIZJLB2@VTl$FRoC9WV7#XRAnEm-H>w~FI9d#=?8`*&5T-hQIJxEMpjYi$&Ycxvs$$qGV*+#)oQ7j`z>suk({~zlSvX2v>-U_1wrMJN&fdb`R)0#niZYsKtlhS=)+PP&7Q==#RT(4q-rW%&`% zG0a-b9k=Lcyh<*6{J8m_mRsXb`YayA#T`Q0+Opds|CA-}Z=i=d)0Uv3k)qHSyU| zP8+H~uPy~Cinvo^N-92oB7YALe*aV?Bk33zX6XFX3`j*F6N#-vdF>-u2Deq>rk==<1 z!vNLKnNhwPeuJdba;|`V-^phVTZ?v+fwQuG@;s~Cozx*e#6N!Sd`+4of^FYo9R2Q0 za@m&r!k)LeKT1`yX4)B5K7DnY%hcBy!tBW; zhYgoKWxHNESyFo-5H|v-a%t+NTxMC0tDR`xZrTjIMU3rKD+!|9DI}|(hy)5~9`G^` z^;f}{8Rw0CZbQ|{t*E4)*{HVud^5@5^Fqv3Om;1BB+J76yIR%1d5fYniPD7Xm4Y+f zcSk7# zk?VKN;k1-!?r(zF-SdsGL4Qaup@u*=vfQCmzky+t#!2O=sznB8aC`6FGn;g|%IJKg zr7tQYFs6ilOtl88c8MVU{>L}sW;T;brU9-jFZTM)WT%j!{j$1RZAX^BV0feiW%Av@ z0D)XFRfuC@-xLDQ|6v9;gOONAD69I9rz-RM^faRKj3sYbU9*TcPxQ$Xf1(EB8EFld z=~LUU<6dt}GxBQg3J%S=`9JC}IKkU-s5K8**EvgDPEJl;HiL9;E*Iq)k)#%>s?con z%d{D(1ka#-eNFBo3-#!Y6wS1=-rbkK?mFPPCg@j)mFMX$4R<;)(vbd-<_8B@FSnzn z)8)O)t=DAyq&30U*g=#1sA3vCvB>u|2TOF@@he@^=!l3rAI||fcC>4pEVM3<{8;uT zpii_;`0o0${!ia+iiN))p+-}Pv3;~;&?*Y|cdf3lbAWP5zOhQ2{N1fp`9-f4!J&P2 zvjo%=2UNUj+WGFy3Fmg^-PK|5U4G{29L+o)edoS~IqCjsp81Vr)rbFhh=KjbD^cZ0D65MYS-?1h4=8xjj2Q6+Q1=8yl(;YhEAtno}zG`&iTk zmd$}Uar$XoN~xdWe|Kubt@Rp@=q9|-uf*X7>mofrW7RMs-0B}sb(W9tNAA)AwEOMw z5z(X4TSWI$|G%q&-}E4Eb#p8>gqf*S*LOFUm&1Pk_7tmpS~-pwn)^G$O|U)9Cudv@ z^*J4nqcLCdyWd@A&L+Pf#fwbu-i!_Mi~_fItjY*iZMZ}~WIw&VY^#2H@)pJEe%Kc8 z^Ki722RHI#+IUuh^f71pAFhwmz1kYBMt&B(I!5-F+%E>GvM~}hd=((swVHn`piZ~3 z=*A98v!r@^o+3YK2hqyf$Fi~mfvtMye@-JfD_kNvjp+@)FYhU4nzzlOnTWB)BB$G= zB87PZ_T?XT=W4lBWaq^0^^#eHrcbk-DX{trF_L5|qs?0+BZc_`?uu`BJRYrQ-xc^p z*Lhtvm>~0|3Q^m+^B8l0s*B!%mI*`p?FSOAyTi4dcN|AXeR9x^oSc#TiN~^ApT%8` zIJ!0Kj>lEn$M3F{VJ{#WXQkBn<4RZLlvA{{)UH5Dv$(6j)A?s(!s!A7oA~?*drjm^ z_y2}@B3eUdX0^h8=P5H@%j*PVNeQDY|F^hDsg3hpEB-^s7 zxHQ;|UM;@jB{j3Wg|VN7^RI5FJgzMrX07cHkDkcVC}eX z-!`A1JHlqZRC5O5^G$!~OnI(;o1o&`+jOPv-q8gg53S-)wi}CaJz6AY#J8`vRj8cK zPdN`L7Ctchp4fzn+PVPbH}2>ImieE_Ei-)2bX^}jOk!}~JUZ8XqWrJQy75w?xME#( znDKIm0g@gKbjQ;@W${iGQbmvJy1RCUM6QwO6X;|Nh-i(n)8LoeWYhN4IE2(jQ5;)R+%x%<@TlNQHyk3)<$dQ==@@aE+l`QhMv+k5H4JQkp%ttPeOfXg!NWKOzR%nLo? za{Q1_Z51=eGO4UG^@lTrxju3-?_~~&TdKL1vEVBnt+a9?x#IfNq4fNy^w>$W9WzBy zu(s8}X+pL`XUB+v+!y>rYFuXv>JiZsBvNtXDKgaQ2WboX0KCdET~U zZ{p@je>bh&5JUR1XVt8OkGW|XIQ(Z%3`iTVNuxlXH8Elbet&5UMNgh4(FLjKS;Vx| ztffz4mH356nyG>Z{A$5vxXjarEO$9EDu?De+tHJGs^FejQ&s}?VIF;_+D&^5^E7vd z@ktT-wZeXK369YB$^5>pI^R2t;JlsB>}X??NvjF)Z0-?(I$Si;r!!yOW>1N`K9D6q z#m24il(1HN4aZp0UydU$I<5FyTE}r{DL1o3vj_IH(dQ*~ZOnxWa$FcR1ACD@V%?Lb#&9A)P z52_s~CnMr{OLL*K?Mur0Hzn;enb%RLW0y)5o-e>%7E=E?kxGu*UZ)orc&NgaG~|kZ z!6k0*Tl`vQ9LDL{=eb7#{aH-I@J#TuR~)zjQ}UZJXU3u(OAn`;h%(o@z%8Bk0k@hCGe;gq9e&ALXu^qm zhb{rwD;2YR&qG7Z|Euoed3Aw7PE1<^7wl!8gW>mD2qFcId&s6jCvz|or~lHcFF*QN z@hrcO#0X(`xA#K3Kief}zGHkKpM~~C8jozskX_jNe477gV1iJ*?DHbEw96@bss;5N z2Wo71aDm21<0#l*uZ65U&fvw7Prui0)8D4l*O zBIqtoJrLL)2tNz&&Cg135yQYG0{dvDg*1T%OU3<5`DaCfNEs?An2BZyR6vaM7Y31; zE;7u-RfO}ppXfPaHe~8)21|X4QP!I}McqhIwLDGkrVsSxa5rq|Q2n<5OH@7VA&c#I z_r>7RTZOYP3uq!kM9X2CVZh?nZ?w|Q*rN6Ge^IWER%zZuN@%iZfmWS@WEA(|5kCK1 zN8ZsoQB9MFHO?i;r-ckwg6qpbX4>t{TAPgrUW9aGgZLK~ zl0_G(3L-m!mh-2nwr$q8KAw;Z*~YdYmKeC0;2JDK?Iu1_%yAfcVqr;7qJ&U#8B5Pxp_+0n#+dE3dKqx@H9|XMC8mE44=5~+Y>1ww2pf)ywm8(hEq>?aHWS#u*f=a z*e^HxbX>B+#Q9Ozf8hP%-KR=4xCad2=Q~e66Js@LTz-K68$oo!l?`9& zfQ<1>{GxqGORu=9@(I`1I(SQOo%=|*Cf&oy8FeBO!wIdXx?)6raEbkgNl3naX;QAm ze|J-l9bvfnFWcSN@nU~8t?1UfkHCo+a(UCfoSTC1)71D_;ySIJlBe5{HaYmha>eP_#g zklz@!>r9xe`gn_=u=XX{5g+IFmg`vh)244dg|kE5jNnQPEXp)_p{FnWl?C=pEJ0;3 z%OxTO`=HHqs-z3|LIdND(1=&R^CnDJgGdK-TmjQ7E~>ACkvL1vlAweSKbkMJpGFu) zI0SxfT5FVY#CrBZrsDcKG`c@4JIu`7LL3j$rvOy z=lPwmv~W9SJbk-C&#^qg7mag9>6SUK^l)X4tBHJD>F6P&DOSx6`N)K6!ABe26jMd} zHHcIn9=Aah_ZwNlUbfHp2#H~CE)&)pDH$gMm5Utwv=Km}D%`J>1QAH`OCtEQ6qzg; zNSEP^GR;j$@ws}FsSDxZB*a~-}Oh_t{+{K|8X&w694zwY_R`-(RSs}q?Z6TBDK@hGC z!Y+5wW9v~hOWG}RGR8dDAQnY_hN{3^Q_ z|INdl(@>6#!-qD_dObEz{{xRe^yz#`vCOJv;yr9EwwSJd(PPULJ{V+O=~A$!*~%aq zelDuJ2l?t0WMnmF<)2j@l!11b3c&7Nrdc>@e7?ur`O5T?H#+Az=?mi~eZh}$`nTa7 z^*`zv2RckG3EcwjeqH1$Xs@n4N(1>sF-U4Xz`%8G^0Pljwv1*6l`s*!x_dZkYGTdH=-X3ydQAvoj-^ICuJL_)JXww* zE460Ch#fu)f1MtAi0>zBcW++h6AgKxZ!g5USlz>}rYn~)0v6HP#)ozd8?t62jKlg# zgeyX#u$Y|Zr?wxUnbpQ_r^_AQa{h};o^o8~12)5Fc{U%eJY~<2-GM>Jg<#bQ!7X`4 z(R?0~6rNAtS;nG$xj<7ec7xhg2t!+Of2_c>HhvEZ#gNOz6^PG1VkkVyzY7Z{6R5$y za3-${yL0KgLPFh}V{MHda)aKGpe6SD_*S6PjkWb~-OuteO8JXek9|t(Pu5=r{8oX7 zd%b~URSG1aU$<3n(nCI51l$VMU!BlO5swTfFG+0w%4GQ9o^$Oq5AADRB5RJ)JN-an zK}nuja`PRc-fn*CU%xGwaO2NupC7)+F^X=Z=&=1ja}F{V{qo#K6Xu9(N1dUeT31&Q zo$=qguTS=f07X69C256O>~XAVqgj_0=mcT`jm!9r-Sa(hK|x+(lEqoXl1PVI)AT{d zN_XkHLBQFnD)hUE_ljCer8AJ*{w$(M1Zv{ECe|jaGp4*FORYz8_DeiJ&kf%&w{6=( zQeHci%-WZTT3at9HQaK+lfFvA#$=c0W7D}o+0LQ@&fg?P4<6e!1O5k5o*}X`+v%~(s-z&?qA80?0b=Y ziD3+~PSy~{AWE3*vd;*UC0i-kvSe>;*>|$d*bCYBona(mY-6X8`u}?Vub$8IYF_;2 z+YJUCw6&7;v$NK2;%!MiNSiIra3*EktE|=B? z92nIH4QUz#Pi0~rw_vi_gkwL>{<;7x^6}m}rpCdU2^lgy5j%H(!?19xs-l{;Hw@;( z0-$-Q7Gbr0Q(6iW^K)yXw0fo!C2P6cBQx=|{z;86AO#QfkZ*^nax*Qc@*NqJG-gNm@6S!0N=h}=y zy6~)8cd35>Qi*6!T8pT}7_0V8J%c=1vi(aVU!vlf8@CP>E{qL)GyIis9RNCYNZM+j zP;)v}>j$SyQ9t0ZQ3I#-GnQ&@sCZzCw+OtA88V8{!REtEfcN!=|)9|M6UOz5XaiG zE0%m#yjZNS+~ul>VVh4Bc}Ujv-dA$Dwf$St(d#tZ*&)Rqmq*D-qQgm#24rv%23A?( z_co!I?x;hh%wMC3&uFLtB))>|aMHZk&$eYB>my|YM#-+@R$5igw!pI4PBt-qWS}!KhM@RP&9G5@=oDw_%f! zqe8X2CvT6QTm>{^a}P&$$7y%rW(p&L(`09S4$T&7FbdaC$mg#6I&=7sdCjKM6^Y1*HWhtX@fDPH@Wi8)o^J7xUjgTrdy;IP`!zHLA$t16)# zr4iNiH{5be8qeF|{Xsgy!r_zIXUZ*M!8wZ8X-ib)*9YG(1$5R38nh$UL%V4sHXht| z{?Z$)NgvDb!cE7k=vksycH%`9?Un{;O@m$VpE-E(oNwH+IvK8lus0EhsQ%g8s>(Fk z*H~XkmVg|S@^-Ut^hT8D%!wc7pr31OLf*5GdvRrwsWF!u>aXpr9UO~<#`|0Z+%dN`Qs~@*u+oI9EtCl##Flsfa)845gb*Pum{ce|Hb45l4u}dpi)x^{VBh{8#nCJp~b{ z+J8_DwjX%;uDbOQ1lB?u&bmE%nV!^XRttHSBWUpbp(f4+@G8;p>Lj$P0t;T_VtVQIf(I=207fPT4`si3NxY zhQ0wqr6W|$)4$uAFs9o=b&ND=^U%);m0ny-O%>hwFVDO~r_FSmnvI!?o`G`%It)5P z(OY4()cWF@=ozffjuv{?owx`1Nu`~@hKgq)z@3#QF3HVvYn77PEG+q1tNSCD7yCI(#v z+9S+nJY1LG9B_`JJ$ITJmr%34yV2$gp=h`<*4i6-Q45ub_!zMf*>|w?ahR}>7ht-b zO(?lep`~xA@6-8j2?d&B-obP(7}Y`gA_T(5CD5{~CeDbLQeISE>WKhpeWqhB0=4)D zuql+C93a70fXGRp$)8fKLANn-?rw#Bt2n)O-&C_{PPVjcM!a{Q+SR*|#_`11X&AVw z#PmmdSFPX#L87v)B|K*AJ1t$x*Djo(c+2lKx^BtN(?<=uiV;9f$Q)k)F~j*U7sJza zD@=R&MQu7KCdXcSV`r(%I`9HTGe@#Sq@~q|yiHGv<_J86nla%Newhn{($?Mw$>z3w za-_<;hXuTge{JDjW{s~w+G?SNR}fojU=^4?R(6f!Ka{W2U`@@_XV2UEdte?aFjIkn zo)`De9vA8P$N1nBoCL14M0<$kLLH5asJ{K-`zt&`H+S(~eckwVq3*ep$X3MLnChX7 z1;ykta6W$3;V22gQE@PW_P)Jk0~y$Ke*X2N6p;QOe+QQ84>$-Zn%$MWd|Whc-Do1t zPuE=|X%e0#p(6$Cf54gbY$l|F@U_%q`wMW|y$!U9~mdSQBl*4A%k|8zfLi&8q zi5dumLt!)dzoGdzb~;42s?%JpU%)H<-uqHcT2e7c%P@@tOy8tP*!fM$)bb=(L1w74 z;l%az{veSZ?=EVu&$Gqb+u0qkABUGNd-a=;NMeLslbni}(+7z+&Ye;>xnD&__9Zm8 zdZPy(OC_fCXm&t}NTkgR&_<_EFnMPdw2WO{eB^@`? zbeaxTtiUO_=amk(*yr&IPDOPG0R6ma#(E2Qi4 zfJKMxMD}ICmYWLj1ELtX6v|EJUwjr#WxzZio?TQ_TD65c9Z6v8E$4#IkL3j<<9&Ro zhL{tD=AXC+ACb@>(cnJx|HzFMKh-YUTKyEr6Qb+#F~fDakUb`cS)JM>Fal=P}`5t=1%5{ zeYF*E+{Iz+8QH5ds)`D@IBZ#ND}0cay^Ia-V1|KjkWj$3*y~#6NHFd@4%#YN5|fV~ zFn0hbYbxNi7c$?-*!F;Yj?@S1_K07>We}mErL4D3LVr$ z&k}YL%#SSC^xD_%H_x0*PIrSq@>6L^?F^K@qbcZAK2Rpn$+8+zb_`>V)nV6#T zs?-cR;QhDifamZT+%Kf2RB}8u7;!yya($&0aC=kj1Jd`)BTwpD7j8U?VCfb&dONY~ zKxJ9srL+^*;L5i5%yemHj`7Rr7{ zi10xn-D9VD+14MtZ>hE54BQpF)NTjvJn_;3EYoHo>q)qQYx)+v)3zP11{hTv9E!;O$SeH=_ zD4O<8`L~GZyewnV5olS=t5)DOE#yG<~GBPJ#GZe#!Cxj1Hzi_U~L94j~G?G`z~oDjTG5+b=p9s!=MOUY`mcCh zX`3Fq(#)oYawzP;1!);A@Ljko8>Ra*ekn>m>|yhqf8=!9E$U7OsuMoTW<+Jg`u4_= zw8-s9P?jq6gR7)dIkmGOoN?DzK8L5+gQqwjHm>}s&3)MW@wp8E~_-X~$Dmv0PNNZ>lR(xGwt&WIm{u{54ynqe57# zOqgI^9VuRBC#kGjb(i{1-o0@`P3xg0dE73)KM#&ibIiTp3xN>%%cz|PRTI61NiCPN zL{2BXmx)%4I!Q^P?0()i{RJKcB_;02kuoKVej{||r(Cj%_slEgHqnr4$vVy6MaNW? zk*x^|o*<0EPkD?J%V6Q}#;!XvO+!D`l-V`|D8!u0yj^y$7LWdFcS3(KkHF(C;y{`twM zg7u?b7CqBLrV7tsu3-Gl!(ddSU#iJw0J+Ne&h})ttzNrG@;87SFs1yu#E1plLm*S- zH?dj0BhGcoVnTB8apk(bKm|e~C1(7dCECH8lQE}X2Yk+oU)R<-uEOd@+-`~Mr#IDY zqi&cMPRd%;^Ks&Qt=2>}+{|weyK_65jB6zSEw58xsncyTq`^I6ZI%sB1(shC z=lotCSwHwXoy7_7-aDAJ!6w$KsL$ZknO6bVn<&JQEGCdxm6wHe#b|kakzkuw-2V4M zAVOVK6nw{GO<%J=p8QD}__1*~1`m}4ut!A+hR&UxcAR7}soSumEB2uG8!6mhNuu~{ z<0*3gWX;pnDpxitIaGKaubG~ueOIdO_nlzOnlX4lgToUAeEa9d9Cy-P$1vdYmEL*P zoASIo`p9(oFi#;6M|=>khg%{=z#)Rh>Pm2L}hobK#f)K=+KS^LQGP7Y0|@36GK-;x4>nzuThl!-^C;0;>yCAUc{9>b*(F z76R#u>H^zwLPYCfIfVafp(IV`rYV&hwHu5^L!xTP!3H(0MeUH9-f6INXT z{~KETJx5OK+BS?5Y4~>41QyRo8JWOF`#q&Y`0*Rz8`o}8>p5mCZXq{PvFF0)* zu#y4kyG;bi&51{n$%_`=>BFwq`)0AiGXj(($GBH?cXCP^t8wOTN_xCz{N2YqIi>-` zWxh{i;PO|zUsZ4~X9DhVp6cmxrSIjdk6YT`k})Px+-^E>uF!U##L&r$W=$HFZh|74 zDYLhKJi&9y-nn#um9yS-b7PLNm;jI^5g&BDxd5CKXX@VwGA6y4W2^Bx8}!em82;OB zc~2eWDq<0Q^joD`nMItA61D99(#|^`3x8ky4Fd+K6Y#peaLG*pV^X2NbozMmO~ecx z)n&aE1!MV*%C1Focj|AcWRBYy{?9|>Gn3P7Qy%d9CQSD?F%j!~0irY%$BzZ*mE?QM zo#hIIXr&Lgy3t&@&+@ItEi0SLq?=Z)NDxoCnBG?OssRjvAjI+>wZv2Ut)vqes0+Gv$zRhq` zZmN`J=<#oB?`+YG&Ztr?~FqpYI3t$!Mgd>V(a@rBC~m z386X2_w%&JTce-${&KP6KMubo-euK}T8(&q1xP}37=O@7Zaz5!s`iA|gc52dC#QWX zYyHC0S)eIXh852eHX`QN-L} z$K&zM_Xf+_q*WI3e?9ns_Hfzdk~dN|CRtBrGvxyYZDHs(Kj{qbIg7cGtm`|sxy9Qi zCHY=NtF{Ddp13)F{hGWe>Y)&!Q%{X$i0=6f zd+$Xh=S$uZT`S`GPZ9G42l{L%nD5a9R=tp?9dz0a{z4XEMu5&FlZ5 zn&7%%7HCfFDX08J|EXZ<690TgpsD#Az!Pp{C+@&WnbEqI0s?`rCWLHbWYwz|%Hx|DxHm14uv}mR}f18#| z%+9^KkZ-mxx?%N~{BwJYX1F3za^vGz%GQx+KENR>kDNt)=H0x|vRB*)TbtAccRe}1 z+~A{Rjg+^{yNNr`fljlp+Z-Olq}94^e|skH>;?^Xh4)azGJ60Y!{;RF;<#n=@we96 z!~?{4Hbu-&czl2ZyxrIN{O0nRBqN=Ad#l`)CqSI9kAtfms{pT4sD8A_{-}Do8`##* z_TbX9r-~suttiAirL|~2;l{r32Ke<&k0ThzU5CZ?%Bv7NgtJ?jlicy4DUfTi``Vlz zaQtUeaVnPUi6Mh^;=-S@X?38=T{KYi*PdhaBZB^2F^*mvE4yq4e`{kPvK=C0>`-Q5D@^{Rec75UhPia!8t zSee$DWu$VLPIZT7855@2E>4mYApGCk-NsuT4C^KCstm%oq*qF@*ty+lw1c-9L#umP z@H~`<7udhcwM+5ze#T4exi)ggs!UyWJ)RGNXE6&1W;nZ@9v8&Lh{=)eOXUGV1W${zdaZ!^M`O%YIr5 zQ4@G>^SmaIra8wPhfM0ShDap6!0TLq!wYidIQ;75H3#U>))GXLadJ6u zsMaediq^2rSfQ3rUl+e)K3-jb zy6aJ*XU#*&Sw>Q|PmwTmKWV-gg1ipQWx|a_8rRoroi4Y&h~k0hvwiIh3@+r!uvw+PY$qRq?VB^ZQhj{;vmrZKQ@B#IDf6DT)9S7K%QgK{1Ru&M%gM-d;C`vPST7>3pF=LYTVB@ZyE7Uv1C z6+N51#_aSl49HuYgnSp)(pR}hdC2riC3b}5_UAH4%c4flx3RlL^J8My1X{R3moe|e z2;xc61e~1gK7j;<>Qe#mvI*_@q|%@}#su74#_rs?z{y zwJn6!GDADqqMri2w4MS#m!u(5vJz4d32DefX^4`PoYEa>5JXxD0%3{#{QJKMkRA>$ dj{g5kAfx#I1V}cEJb>Vmu9ksjrG`!D{{e6=RMP+e literal 0 HcmV?d00001 diff --git a/ulib/fs/ulibfs.fsproj b/ulib/fs/ulibfs.fsproj index 8e0635e04aa..d080a2f303e 100644 --- a/ulib/fs/ulibfs.fsproj +++ b/ulib/fs/ulibfs.fsproj @@ -6,6 +6,12 @@ false True false + 0.0.3 + README.md + fstar-new.png + https://fstar-lang.org/ + https://github.com/FStarLang/FStar + LICENSE @@ -89,4 +95,10 @@ + + + + + +