From b46d7d925f9a126c35d258bf4224d91f82dffc5b Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr>
Date: Tue, 11 Feb 2025 12:40:35 +0100
Subject: [PATCH] Cours ajd
---
README.md | 2 +-
tdtp/jhjourdan-td2-unionfind.tar.gz | Bin 0 -> 1203 bytes
2 files changed, 1 insertion(+), 1 deletion(-)
create mode 100644 tdtp/jhjourdan-td2-unionfind.tar.gz
diff --git a/README.md b/README.md
index fc0840c..bc493b0 100644
--- a/README.md
+++ b/README.md
@@ -127,7 +127,7 @@ The syllabus is organized in four main segments of five lectures each.
* (04/02/2025) Rust: Generics and traits (JHJ) ([slides](slides/jhjourdan-02.pdf)).
+ Hands-on: binary search trees in Rust ([exercises](tdtp/jhjourdan1.pdf), [solution](tdtp/jhjourdan1_solution.rs)).
* (11/02/2025) Practicing Rust, concurrency (JHJ) ([slides](slides/jhjourdan-03.pdf))..
- + Hands-on: ([exercises](tdtp/jhjourdan2.pdf), [solution](tdtp/jhjourdan2_solution.rs)).
+ + Hands-on: ([exercises](tdtp/jhjourdan2.pdf), [template for union-find](tdtp/jhjourdan-td2-uninonfind.tar.gz), [solution](tdtp/jhjourdan2_solution.rs)).
* (18/02/2025) Metatheory of Rust's type system (JHJ) ([slides](slides/jhjourdan-04.pdf)).
* (25/02/2025) Exercise session (GS).
* (04/03/2025) *break*
diff --git a/tdtp/jhjourdan-td2-unionfind.tar.gz b/tdtp/jhjourdan-td2-unionfind.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..f323d86dab7d95f0b756b26a7abdbf3ec49efe03
GIT binary patch
literal 1203
zcmV;k1WfxMiwFP!000001MOLDPvbZc?&ti90i@kjg1q%j3M|rzyALbf?VZ^Dh7dK0
z(`HHR;5a}*{qHx<OPfM_h2ECsxQw7p?3wZSc|4N|NZ&DATNVpt(Cevhd(gA$-<7oN
z?x5%NI~~XBwk+Eo^am~IZ96a}St^MDXnp_AGvO1qN^jl#e^ey$Z;V12ju;noJ8LL{
z``zwp{+%xJ-@~CUsyWDiXVAA=U~MOyMfsoeZ{qGpRGON3f*0I~xOerlV`}8}MCE_M
zyyS7Toi*0wztihJs{fsV)8zlF$XP<XD>9<z8Y3}<Pq2$8VpqGNA`LlH_m*KB)~-f<
zd`J`{j^)_9nzjdDDTNpx8*oJ@DG=s^9Me#MPlJ%<>NqN4EM=0qrs;Ff5Qz6dMA*pS
zVq|*i<e7p7R8ZzoGbStyXey1dj3Z4u^Jzkvk5eH{&$XY8)q50`|Ech{+5^6*|LfYA
z|4y&h^nb4+75`CqX^3<?Ypm`6x`Rjjclv{FQ~zH>_IA!l6!BX<V_8c5_PM4d*(FwW
zA2Nmo`~oYvf7q1X_bOHX&&mGrWnfMI_id*$%YWNZ?|(gf05tjk8iGj=sq|g<!J|>+
zx~DWa!Hazm9^QD<LrpVH_ys<uF%c3H9x_QY@ew2k0*w0<cu<sz19f_|J#5-UctiES
zP(LKmZ`b>vet)Hx*$B&vsxGM%nJ3{3S|5Eo)=#~oa@nKLj8TDO$H#44IgFDCZ{Q^2
zj6%RgWdaWxpacv&HKl(@X%w{K;22xdC@5!@s9Rl48kSM0w%hsSRGVsRW2G#Mp$e(=
zddj(k2k?m`E_{ROem?qp$gXfSA=t-CcNQkjPOELW==%841{4^$2}W=A(&4gAC>sRH
zb(LO;RB@BXhCIz<f@yoU!~Dxc`c8P9WRm6`x}Y)>*q39c4jy5gg&v7;G!Zn#*oj0u
z6s7rmMAB5<3>AdKg^&sA<@I7U_>%j4M}HE{A5@HJ5dgi;!W$B)-oIFk)|Sh|9g1-}
zgp{K?zDc0X1jYm-#H*RZRK2+@?%-*t`4KH*#lt;LUHI@dk9%#rC3@)-_@07R1a8bs
z^*<9C#^F8np?agb4docm34VC!7wy$(yB_b`26f|Yy_kSJLA_w4BlZ%rQS~J1GA%9g
z(v>AD0aS(@7GUh1DV_7GK9uoY<cC17FBVY=clbK1Y>RBNu;x^=3N|4x==F|%XVeaR
zdmrxF<x-WG$$}TV=0(lkFU&f1<6@D=E5Obtm@JIcZ7SUo&dF1MOM_nRaI)y|{+SN%
zA3I!PGkK29bSZB|Kf>{xy${lUAYE^fD6A^E^1otin_Sgd+K8VyGaGR-NA{n2SfMwo
z^l+M$#detg@hq>1aBzS>#lLWTz={|Y^=?=aR?M6)qi?SK4Ay4Tsuc?%WMCPFZCMxC
z#n+4rL>H>c+)r5F`t&6(>pm8}-z|5U_q8#NT^F5?sMJwULHLDw_<SN_k~gt8JoHhO
zcvryjX%XPdFu3|=sH@Xo1od3#=N22|ub^7Wz-HL5aJPW|QrwHrY4f*&MjC0PkwzM6
Rq>;BQe*>%=>*N3^004p~VS)ev
literal 0
HcmV?d00001
--
GitLab