From de42ecee4159a56f56bb9afd71bde3dde28ab4a4 Mon Sep 17 00:00:00 2001 From: Automated Commit Date: Sun, 29 Jun 2025 23:29:56 +0000 Subject: [PATCH] Update documentation list --- doc/libraries.xml | 41 ++++++++++++++++++++++++++++++++++++++++ generated/libraries.txt | Bin 582502 -> 584484 bytes 2 files changed, 41 insertions(+) diff --git a/doc/libraries.xml b/doc/libraries.xml index e8f8b3f6..9649a2fc 100644 --- a/doc/libraries.xml +++ b/doc/libraries.xml @@ -907,6 +907,19 @@ 03 Function-objects + + bloom + libs/bloom/ + unreleased + master + Bloom + Joaquín M López Muñoz + Joaquin M Lopez Munoz <joaquin.lopezmunoz -at- gmail.com> + Bloom filters. + libs/bloom/ + 11 + Containers + callable_traits libs/callable_traits/ @@ -1398,6 +1411,19 @@ libs/contract/ Correctness + + contract + libs/contract/ + 1.67.0 + master + Contract + Lorenzo Caminiti + Lorenzo Caminiti <lorcaminiti -at- gmail.com> + Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc. + libs/contract/ + 11 + Correctness + conversion libs/conversion/ @@ -1767,6 +1793,21 @@ Domain System + + date_time + libs/date_time/ + 1.29.0 + develop + Date Time + Jeff Garland + Jeff Garland <jeff -at- crystalclearsoftware.com> + James E. King III <jking -at- apache.org> + A set of date-time libraries based on generic programming concepts. + libs/date_time/ + 11 + Domain + System + describe libs/describe/ diff --git a/generated/libraries.txt b/generated/libraries.txt index 80dec061ddac5ef89094951f680ad22747c37480..a82273246ba7637cd4f2d85f9b908af34a85671b 100644 GIT binary patch delta 6109 zcmaEMOnJ#Qcq*Dp@C58Cq3Of9SyMB8Lzxwlc9&%1g{m zRkAL&GPP22%E`~4{!x@kc=`lER+Z_Up{#-e5Yb$Pw9K56)S_a&=@%tgj3*mJ2uzNQ z6`ihsmepyxSvRu`E7+dtjLX@SSwPI`jx(7PCN~(yPXF|kS!%k$5k`*9CFf(AnM};4 z&$+=@OzM@Ne&9IEl<5XPSRFTu z-CE7WY+-0Ref?H8x6NF4{h64I%{NEi?`C2)Gq9eX*UauWS?>+k<^%UR7^f?Auq~VZ zpo*PkvgLEH&9+aDa55QNOb$G+yjks?78|RPfuV`@bjEBZ-_8F%3NTI2Fk=&#{@@*p z{A7cOzUdd*nVmLo{JxHf$;^0j;;)%ZOco}a|NJ?`#B69_w)x=yl}yY=7S_`Z7jyVb zj`@3Y>H|ib?dO;oD_EE;47Pi4Fy=Ec8yOf(=Wb+n-Tt48k)Mg#$jD&3ATMJ)6N`zV zb?x+nmpPoLPY7XQ*}j{fv4Mlx*wAviq5-?>c0DmhF2?P>l8oxyEG9;V*3&QAG5Kt- zP-1+=xc!|PV-YWtsnPTW#f+}g|8p_2ZnrgJv}K%T$>=eCzcJ(7$p;iNrr+~oc9>pJ z$Hcz9)|@epZTgpa%)Zm-IWpdz9B^B8`vNCMJtjuW?U9a*CCp6bmecP$FuQ@I`L|DW zVm!k*y)}*->)Pr5g6v+~^|BZXIGHSrwl64V^b|sb-gbjF#tmGIrrRG* zU<_npGBJUK-`;7Au8h+IB3N0rADY6rhGY7J3|80a2D2Cirf-_g=r}!Q5@Xcludhs} zH!WimonAVdF@1X3cThrOn|^;8o9JW*X^!c!vlxY@b1i2RnjSERQEYnlEU) zg}IEkz_QcN&11YhU4e;FZaUXj_9@d7-Z9xuzE{G&J#s1ICuSB?6GQ9C8}t0P&s)jZ z%f?~}3N=I`*|3?>lxe!a21fDe7Z$Q*Oh0g!)nR(VTvpcY`I{M^u`-#NK+@Wros8N{ z%oZjfqkOi{*~$2Zak{}lMuF)8dzj_68|-6z#L8@LYy^%rizAF1m|4utp|Li7f(R?i z_6=tklNl!;aA29vE6C`u{r6GEmyGCE7Mx*Bm0&S5wyvEHir4M6j~Hc{wmUp$wBchh zG%$wPeda6UQcfNVL+jdND>Ex4Lp`(Uj6uxS)BXQ4UZ2*(tg_wfAEO#0vyp+(^!ytv zK5+5rUjG<7x36Jl;^tyDHUMV|w{3h(76Pm$#+EP}+vS+FxtUE3O{ed<#^JjCmnPGD z4i+<0s86;V7&AqSGMgJ&K$3)?Ka(Tl^a*!ZS*8mlF*{GckjTg~T_J=iW11h+k?8^% z>>kr=wlF(x_w#3RVx0c+5t|)C$u>Wx6`af##>U_vI~UGmz|3S}uq~P?o{h!Q7?M40 zrhnjN64`DQ&vb`zdw(+16=r603+u^-Hr~?{3|U#GOXoB3Y>&-m3T2x9N}Qd4a>5?- z$qU3Yrpp~<(wu%_CZilE{X1{>%Vx4;V=*-_HQ7F)kja^i6%>}xk^)prZZ9Zh3S`_~ zP{|a+&0=I=3N0Eeo0y!KrdtLwse%lizTpJ(%I(n|Ox(<@My8+~Iq?&t^K=7aCYJ48 z{Y?E#)A_rZLLf03z|CPhJ%O3se|u*?(*!nVV`Jm#hAUajwm+E5q{X)P7sh3A>XwzKYF;^$yCGcw&Set>B|GqahA#q^0O9JbR9SeP$NpYP7DwO!yS z(*!0)^Xc;~+0Eg?4$~c2nLW1)++i|cVl}e_IV{GD-5Me<5XlVI*3ZOjZfL$;_dLjC za}$H@?=LYOXJ#@pp3eV`*$kpK;5DP&^!w$E{M#EYFy$~Yn_HMoi)IR(?r@oD@AMA^ zjJDeY9y8T4F0g$lf0elg`TF&mj!PrsPW?gN&a{(+sv z4&;DpCSFSub9mY}pB~7?t^@JF2X+=MG{-Ponj1`yvtscD8FFyCLjwocG1W}WmX^lb z^ZzjIV`eckFf`k0$b6KU)y%-y(t5i5GA7sU4lK+^n3>H$K9Ob(n0`QodGB-uUS`ed z0!NwRx7ROc`pY=o!GgJ#*}%eddb}d58`y&F3cSor%&dk67S^?s1^;@31*hAKV$o-4 zY&iMgf2cNlQD$alW>XXE>4FkWzS9$Um=8=3kY=*oULeSPl!@8U+BTWM*dO zF|&jRq{Z}ywQS&kyf}S=CNq*1%tn?*+ZP%z3$QR78=6knTFVMfFc&8uSd6U7*w|wG z0Sjh97A7;p>FYnSK%IMDiVa1Tg~|5&4$QCEm`#igr-N$S?eX5su8iBmJehBbflAvz zS5~*}eksh;7^gP~vAJ!Rif0yLoPOXm+uH3yDa;o|Su9Kp5$TI%`@b^g`DZbwF|rsMm_kZso|()XOxw@SWuC#zWNI-z(vi`1yZjR7{fyHVGN(>ou#!1w z`}&2l}3G*63CQGC3{NI@SK+Qmt?F)V|GjlRo znnQ~DSBxy1IGD_hw$I~Y31MQgG@5G2>^r@egXQ-0f>0Kf?GAh_nxOXCblz{wUfX#@ zS@tnbPpf8iW-GF?FfcQmzTgLQ07y88o6&6g{9;D8=@ZmhG`A+EDP=VUf9F@-cwRv%(1U}83dRb8tO zv8XdmH=oQ3Zh3D8J9_E~mSQFrQ&`T}9&wt*36v?e&$+-7$i!$def|&T!0q;zS#(*M z&5Vt<=igvS=3+KCfF=T|$1IchnJo+~x3B-ia)gQ5!q{+o*;kgOOyHOjlwk6iZg7W% zW&8QBEPPDcYkslJV`j2600oiz^afT|&h0t>Sk7@WSr~%Sl-u?OR#s2O=?Z6A`M2NV zWX<7avM>kLHrr>4vmW7OGBep8ugKcP#AIQ%{k1ZyBdF1DIemd8yV-Pywaom}y;N9l zPA;fcneML2`jpkk$iljIdW;vl7m9@8bbWgk{^=Wjv9WA_rpao=&SVU6&-Q&LtZ9ss zKCo;*ZN%Ct1S)kD4cOhb*Lkw;W}3b-fpr0>?czRN;109%^nm58EZb+hvhHBoZt25% znwiBER7rqJ-02A#j4azD0$9V?m@J@4?R+9@1mpI=2v#>?W^+T+$${skSU}bM_8r-* zK1@ue(7?P`!s-rk!1U8btO3)ba#@#x8V>8Gubs=}y1lND)mM_q%wqf5F4l!iOqK@Q z3wl|tI9Uu0OhD~RrR5iepv=2+muK!^Wo9-u2K8%{w)gF3{lvscuxEL-of*)vX0uwoLMzLt}1(&PuL+@}|8X4HWM zHilYG0Tv?zLx@S!C%j{2-F}Xb&5Ch*fe_m&Ze~Lx z8zZx!iRpG$MYh*W%w`tgw$^q_6}D(jHX{=YP;2pk0h{Rd^}1|FKt20~E1CVaJD9Lp zFimR)6(w419iS?!d;1SvHg%@y@6;FtCMW!tn{Kd)W8U<0QfyA!%gou{Gcg;RfI9%L z+t*sLwF&W@@1=Joce%;WqLy>Tg~*dK5U88 zKL|5@L`ZCJ2xU`a2i5(cnq_)?CL8be-!W|Je9Y#CpeDZ3cK2+y0wz$s2r#4O}{yf z&3pR3ZZ=DB(_(tgA2yrqcKvKU+{}i?kk(e&47Tgj3v$?0xAV_oi)3UnwcMUHmrWW} zQW_>Odu~5JpRJ6Y*~kby^szmAIomWQW^-d`<_kz=6`p=!Iop%%2CLb88JR4Nx7V*> z)8k|^H{8B{E87w#kVxnbw&|cz3p4AV7_`*gPp99EM*c=2!ldy$QgY5TEjY~9RE z77%sQ>)x>mZ0Ehlme06d{0^Ir2(yKW$>hNEO4~C&ur20bwlpyXrFGZsYna(%8Mklv z#Wt0n+1wK96NM9u!rLcsv7Z8s&=`Qr=m}ixl}y{!1=ts`Fq;}8)Cp|o7iHIFW;Taq zUVc&b+f3WjrP()v8>ZW(<=MNLSd2^{4c&n0HmdA=+c}ijKe8~Hfyzqd?Q-huPnejE z4UMKRG+_4IUZ&3O$29pwvFhXmYtHTGb=U)#nam8gD;luZfGR(u?F%f~r!z5`8G-sS zuHa#x=>g{KPo^8JW>cH~-km*m`%7DPb$%vGlj*wWnan`>RCs%|FMBEziy5dU1PxPd zkML#JVA^gO#Qus6TvR^X!Q#DrZ#=sWn@#T454cH5q_h25BO`s+$o z{^_2(+4oG>*v9S;QVAZk=-i&Uh20Dyz1?#+dl4&(sj)FQyO>T_xWgj6o&6wtBL|Ba zY#1T)IQtRC?Q>4E2Qo96LWX#z=U!#!+3s+j{VY4Pxq$(=V{Uw%eFhVYxe2Ickk;(MH z>+IIsbvZa(89@c`^tXH*6Q=WVaX3u#Wz3kaaE;Y=`iF^ZT+?r7vpXS_ZGX$hafF@4 z$kYJZpZg`ok;BAfZoEB1l7o?%+0q0K!#?(gGT|`96Zw{?KzaDKTziAn|^a8hxhh=8x9X1a3gHv zC1&64(QX{3Oxt6;IrcI$n;V);PcY)}-Ja>sF`Jdy%+Pu|R|>PsbdWLI*G6#sVw}Dp zgd=|YhH#ERF3sQi^t&k>^3(s=vx`hWP|I;^`|$)0D@IU5ePRkn1sfz~Y)oNt zna*d=!M!~uo5PTY$<$(de>q1rXqW(0Cr`g1#3-;ms)~b&lgZQ++>4BBA`?ARkO0=dIM6rlXU-^h*F92<|`sx4x delta 5506 zcmZ2-P5Id|7+m zL{1j3?flY=dOXa=mX;s~`)==5XN=)zGB()$+KjQ1liA3sdb++dtJm~-?u`7~4>&L? zF!LCjTh|s_nOP|r>X}VnIGf3CyOs;14l|?ac2_UPR3>IKa|?*&`T>kFjNASF7~cys zTbP+{cT8dw;bk?lG&iuGZm@^hd%A2UWB2rgmF(HuXBRM5aWI*fO@D31=(_!18KVc| zbbn4JkL_=&7)u103`{{Lx^Dl|!KlKxJ$?eC3*&bFK1L6Y>6_27xow|2jgg0m$-rW| z;3GDV?F*(c8Z%D6yMU2@yXh>(4II<`_i?aoKfjbQpNYxPWV^!(#%LxcW0UQ3S21$3 zvzS;ITTkAY=fC~uM#f$?M&s!Q4NUIa&+TA*#KB}>1`guw^N%yWVVwRvgqeSO!$C#^ zW+O9@79WuKAI9kc?HqE`6_lB}rhk~l;xSnu!wDpDj)mFG+ytB`wog98xPciSC-2WN zhBHo&zsATv`G5noM6)d(XnT{md1{6bX=r9g`S+w%5I7j1*uoFfoN# zsQ;TWooQ`ZA)%!Vc=({&%P_)K5L%5;5tLJ70V_Bw8+DO}7(riP#Z zaoxT_lF5^C`ra3ew%Z?wGi~N$GPaoRki_V_U0;hyo@w$mQ;F#{I!ry&=O1F!n*N}O zF##lTkDb}X)O@>u5t9iglYu!T`~w`AY#FCts9<8*e#VALN`%?W+yG)neh8Bz<8%W- z4%TUkY);c3tmj~vE*HRbbov1arVrcmLzt#;Gn<>6Lc&8cfyscG*~rLxI^#E1-|Z`t znFQIGEzFHUNzit>LoSoRcCIX@Ev!sN2HOwhGpTd2m{?kxfn@!r2jnvGZ}+HTddA9Z zU}C!6uz~3v53`|(IY`!bdwwrd5GendSx@g}XLsMuGleOGi^<4*dg5Ld^XUm8OhVfm zRxwF1ZofXC>8$+Z1>)}0vzIa^PA_I*7TJDyKNCL(uc^5SJbjx_e<;lSXS!T5lh*bL z7nu5)SWGR=t)~ZGXSSL4is|BXg**=1?dutttC^V1j10CXoM$?~%wl3}T{~SWh}{~b zWV^u?rX5VoW@cv7FNCn0frO?TTw&4#88?B6#lq6McDlh%R=;U zVXm++HL#w%uh11PVY~gpJEmGDM&s!dFLL-ogxB-4K#k_LurxyoyFg}E9kBD)^Rs|G z+|R^pX=piJ#)-vux`71q!RZ@Pn88|Wn3znAw(GJm?_*{$wKOx`{+^xrC^M_6rGbOBZ-+wJ^<%*Q~ElF?*!2P*{$YfhhV zfhm5wf*W%c6N`Zv#leQz<%4}$9y4}HmS&)Ut z&;lMX7LzZ2umzcS093G}s5de(+#YWMGStY-WcrIOtY%5Zot&88<@W>VY!%Y(U>joH}308+r7_h*)q zU^cZhf@I$NRm?(+)8%rRTc#HTF}ZEOkp|*lsApfh{X#bLMNwvRO9OCH+P=Gv`2^#1 zJx?Z%?MIuLnOK=jjJKccU{+vewlD){U*GL~oy?P&wx8)^zRb*IXtaIdB<9^rOvc9B zZZwzkF2NvU&efC`hh1bD%%rQ zG3zlh8Cifl;)@WUp0JAfI)E7T&)50rOr?CPQesy#Ez5k1(@|AvmMEY+cRrigEg%|IG0$=4Qs$(;pVH_-|du zvYCU?WV#_Uo7?skoGhC-n2ZcTnb&pue-W0WjMD{#SiC^(i}&ozz91nDR#tOMO9P0B z+Y6*vIGC6X4IqYXKPAJG!_8!93Qhyl114~=OrLMWqB{LUD>NxRuqc?R%bE8?NfvSyl+ZEzjcCv$#g5V=I*X;`FELUY&%t5|8u$0AhyIm{GV=iV3 zOK^CbO%FK6CcHg&0?QeGCKDr26o7>UwqIDmQqH*j$3m7be9VTHCfna{U@72XF|stV zo_=5{i_7*`2Uw(-rtfTFv7EkPI?D$T-<*@l*mC;DgN$z5Gf%M;Fio!yXZHs&)tR>Y zpJyp&W;TJPcCpJWPOMCZMw4T%x=vR}XJMHhaE;~S^n_d%)$KEHvIsGPQ^3PQmH>pr z^qDtVY_=QRVfn?(Y-(Y+UH1V?G8d!SbOUBK_w6@cu}tD;HaE4HzHkz==k)jAS*}1T z^>x2lni-kREey7s{AF3n#0)B@4urAzZ}0ib!q2qbiivd|GqZ&$G)pV6vEJYWrA1KC zO;=!J<=XBkz`C1{+1LzHacuXOVJ&Ccep-<=fSt+Ec)P47YZnufvFY}e+N_RD%!Z~G z(-Y1!nN2TP%EmvPLx=U|c9Q zSw9Ff85)D*db@QX>mH`*7kpSP!I3*%A)du$yGx9$AvS%a9S=d5FmVm5))gxmSnvtDOqHncR{{$dMj z3=@l?p>^%FXm-=d3V(&SPuR|y$H-_nIpDlB#CdW%SzDNxP0Sz}a(dNHR%mHdu#44* zk=e`~l3x<`u^wk(HnOmo9C%)7yU$_PPvEFv1u8CXsZuA>ge>P?_3rJZ6DGee{bMS4C|Hc~3IQ>I58_V|SFRVr!%;u(M+b8^CUBCuv zm4cGf_6>Y&QH+xva#^;|;b608oLn%CbGm>v6Yn%;Htp%4YGeAGSBy5O$~XmB3@yz} z!D#_(+x89eY`jd<10>jjkP^gu2{r+y>3bE~1g2lu$zd{mgDRT}qO6&|$C}M~J6O&3 zy^3toEQ|)z?N%^afaBLvneE5q01d_MR_bhRjBEy$Cf2pJ(-k$@M7Q78V7tu3WN1E} z@fnl*_V3zk(VWbNmgd_-P1)`+F&TpE1i$V7t=Y_(K-PjFwtBY;TyDjV!_a57+Jder$G(+gCcXc?g19p6A$^ zT(?_$$@QOuUhG=1VL7WeIYO4+XSgER8MrR*-#*Y>mVY**-HV`19M{;6y~d6*3>z>OQX>Gez5Sf^VqV7mk< zYV;SfMKLlNSZvo=$|lXkWDIfD_WD(9CmE+}yk+8_UT}qD^7IWAtnSkj-m^J_WLj9J zU+m{l+pf8uZ5k7kkp8`-MB%{tpHYV)|x*upu$<-)=Z93I>MoMY30RuK#0I9Rp|Tw{}Cocv&w`*xixY`@r9 zOhFAI!&OZF+xOjM<7S$Ejhj_}`uqSU>Fww4u{km`8Cz@@e8lzv)Q~X-XEC)OY>PRV zEi6sI>2Z4&H+wAObb+huGG>~;_h zhAQk!L0x#G?KjofyO~%FEg_B0fa$+<*!i{_sI%W=oE~nEB zgGK|EO)hxnGF?ucU1&RpF8g{$CPQc^^Nt?-6DDROGsEfe7R-Lr<<;5Qwp;15doXQ} zH({@1W-^5I)WG38-NA*OeY?H|yAHUfi$Bj~KK(%|tMGOQ7xr|<$qJq<(<>d=AA_6P z6FxAyfHi?6`vgEOz6&Aj>zJ5L&5XA64_U9GnqgN?(O`!?4|jxEaABsthuw^EdbA@e|8(}l?0cq{volFd|F@Uje0qXC z(>hS);=CQ9W;^>~_99UG#K?O3!KLh`(*yRg3U5Dpg1wQ0#njXYQV6S`XFtNYJ?b)h zATy}d11jmJYu{z(+5Ybu`&o8oGZRZl@Acz7_8FjttO>XewB74II}_9P+mG4jvay(h zhBm-`+P`nv|AAXTa?=|Qv8lmZK+^?`*jcu{V^3y!0c;6)utbW zcSb+3lI{8&950v|O(w@T`);q}4i5LUADjG=WqoV z>C^K%n5?(o5$2f81scbKbicOmkmJY!=V~=Y4n}51lj-)ySk1Q=C~{~pZEsiO_`%C! zY+(TkMjJ@?{k#c>FDtV#c-X>bdcYPIf$e|IInFUo&#~t?2^%Ldf=lExZvSn^!NLOS zFfclEOyOlVgf#QFOZah^F>RL$=Ge>3VrB*&s)3rP9?mhFmB-Kk-mfy5esMpO&Gv)@ z4pye^{P7$cxR{I#w;#;p=wSjkvO&G}>HBvw@o%4;PpzM88X5`gs!$?&*2m9Q@nO`#5GZG8sXJ3Acam=jdl*HZ(Jt zT=>KXR2^zgPbg;Wp1$fZoA>rBlR37r!!i{ljBd{6$YNy$_4{fk_fGWMzIO?S1>^Qp zi#V?Gf<}TCZr}(LU^X?im=1Qg{Xq^-CMHvJaH$2V8@JmZ<;cKZH99A(?j z9_7dabyc=op5*XkVle~t^Ec-CY_B`Xv5#^4gtHv~n3>HiEw@j+$dSv&WMZ-H21hyD z^uO0R*r$saF*$DEe~;q{D~}0MZ)>{ZS01uXtg3}!iu*yykNMl+K9%Pt4p^Q;%dipDly#N40F+u