From 79f8e4c68ba3438414e6628319e6ea8a31cdd097 Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Sat, 14 Jan 2023 11:21:14 +0100
Subject: [PATCH] update gitignore

---
 .gitignore                |  28 ++++++++++++++++++++++++++++
 Causality/src/.DS_Store   | Bin 12292 -> 0 bytes
 Models/.DS_Store          | Bin 15364 -> 0 bytes
 Models/FMS/.DS_Store      | Bin 6148 -> 0 bytes
 Models/Philo/.DS_Store    | Bin 12292 -> 0 bytes
 buddy22/.DS_Store         | Bin 6148 -> 0 bytes
 buddy22/include/.DS_Store | Bin 6148 -> 0 bytes
 buddy22/src/.DS_Store     | Bin 12292 -> 0 bytes
 parser/.DS_Store          | Bin 6148 -> 0 bytes
 9 files changed, 28 insertions(+)
 delete mode 100644 Causality/src/.DS_Store
 delete mode 100644 Models/.DS_Store
 delete mode 100644 Models/FMS/.DS_Store
 delete mode 100644 Models/Philo/.DS_Store
 delete mode 100644 buddy22/.DS_Store
 delete mode 100644 buddy22/include/.DS_Store
 delete mode 100644 buddy22/src/.DS_Store
 delete mode 100644 parser/.DS_Store

diff --git a/.gitignore b/.gitignore
index f27f251..4e893b1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,4 +57,32 @@
 .vscode
 *.lex.*
 *.tab.*
+
+### OSX ###
+# General
+.DS_Store
+.AppleDouble
+.LSOverride
+
+# Icon must end with two \r
+Icon
+
+# Thumbnails
+._*
+
+# Files that might appear in the root of a volume
+.DocumentRevisions-V100
+.fseventsd
+.Spotlight-V100
+.TemporaryItems
+.Trashes
+.VolumeIcon.icns
+.com.apple.timemachine.donotpresent
+
+# Directories potentially created on remote AFP share
+.AppleDB
+.AppleDesktop
+Network Trash Folder
+Temporary Items
+.apdisk
 # End of https://www.toptal.com/developers/gitignore/api/c++,visualstudiocode
diff --git a/Causality/src/.DS_Store b/Causality/src/.DS_Store
deleted file mode 100644
index 2157d8f66844d406875e569ff5d4526736d34cb6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 12292
zcmeHLJB|}U5UsYo>oJ=UZa4t}5fT}pwOWu!A=war###$6voZ!boMUhVjzYizIKtk-
zysECn{h66;`G{((yR4a4)vsUI^r(i2+{LHmbE0!1D$v<JKEu$`_&)cn4fM(rSO<Ti
z>(`rlG2hhl3~Lum0aL&fFa=BjQ{eAV0Pk#WMaO&J-?h;cFa`cg1^9d@(b-PbHr~q7
zfk8?D*by#E!++EP;!~=fs%^X#SH$$ygHu<hC5H3vxL-0HcB;1V*1MDQ?&Nf4rxl8m
z+2L0ToZQq~8%+UIAXk8E_Y<1a62E6r{mu{4EA*#~I2<q%jTO138t6q(?KAp2I->`z
z=sHHbH;g_=!@pzfnr`#h?nf^=i7mXp1hLPQ_l_$1NIQ;Cd)mj0gn#HY`Q^2RUzO`4
zYY06~;qe*BMaK%du;F(T)!h{V|1fU4R;V6f$C!PFel3iXJz~Z^=!6HW-h)n=AY0r%
zVEqUzZt<(2b&uwePm%Z}a|r)<jwRyr93Lcu*RZR2Uu6}c&k3zG-xGB>Z`>U+ZKxT1
zL?+5`uDH8ktw&@V;}AKaHQiu`cC^L6eS4-vv2%}<4R{Z(0yeov!ixDv9tFLJhFhpt
z(WZqH@@8-aWk#w@icc7^=DqP#KD>f&!3qknSmSBBKbdCno(lgM&zkZYR`A<U72`Q?
zqWELv%nZma&V%eE6ZT>B7~R5s_#)uWXx`f!u*qUG^B#1nBY5|q6DG_%LQlY>!dbmV
zzVq(pY@qw_YrsACNahg!p~tCYvOgb_=gBeqE^HE4xQAFIo3#g3VCbWtbN&Ca`}_Zc
za<Jg0fGO~26>y`=x0e^-ptW_zhHLE-{T(_t#x>rG3kE62VWk|0)pA_0C7|pxRoi%r
zD`>y{L%@9{WAA^hG@>`Oz5gXEZ7>B)0aL&fFa=BjQ@|831xx``z!WeAOaW8i-&f!#
DPWVhf

diff --git a/Models/.DS_Store b/Models/.DS_Store
deleted file mode 100644
index 0f1b3b957a3166f1661e1b88bb83dbbdd0547eee..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 15364
zcmeHM&2Jk;6n~RA?Yd5yO&UVWhgg~el^UTmX_e+ejgt^XrNoM(CQ(w1Ki1BQ&5qe!
z=aUE@%hwt1To54fFTfpf?x7L~E)^#(oWpyw6MJ{<h^k1Dp)=CV8_&LvncvKN`(_OQ
zEK@Jv05AYR!%9@|$EHJ}=TzHDj~p38%1|DPHZNjd$NG+Zriem7A)pXY2q**;0^NlG
zzO$)lser0hA)pXY2s9C(_+VfqnwGQ?P!T$?5mx}D2^<y$`;`8Zj3H@S(ndh>2^JQJ
zA`L{Dykf9G9LEjGmzJ~<&_EoRynHZenaLXp6V_3`A=rVX1FBkufI^@h0lK^QKnCU(
zZC;Aq->=cL<6|Ktc#6ATP4YZ0)@;l3Cng@Tp58>?x${~wnM$TE4yGRDw)k$&FZgvY
zQ*bxvSGM496=i>gbGz9u6z^N+ZeAam<&Iyl9McuTR@p?B%~i`O^W6-uJ7sS(7Ywdi
zWq(U3l>?fV)RKAq^5NmsjhS&{YI^2q+&G+`o)|Z7-kv%-(tk*5SKgSqbGOJpe)#EU
zpMUY?x8DUYFd0f<DEQrMzsH_fuT|QS>t%nOtoJuvZ?5=4s(;|(pguHwY2<~`7cXCV
z>E%~m9e&No>z9g!(uY--W<JYp?q=+|nb!wB#A30;ovdr_;JVj*bI;FN2l!|>Ca`Rl
z-){}A?AMTIq%|OvF1V)YY*byVyi}=proR^IuamWs%WXT$J<GSav%V>;`{wqdQ{iZl
zX0TMFN8WwY^^ms7tgRPZx8PLG%>DzrP&Dl&C&PW8Z?9Rn3YxhvnX45_mQx+O^Jf5I
zax6_p2TOBEZ*}R!iPGw%4}uX*XU)MChdU-}%1Y++-JpZ-iR<t-<X{s%f(CpA-@uRX
zGyDp_!(VXB2G}UO%C56<c8k5m(rl3}vkg{eCaba<tFs;UNua0aWcOc}dL>~Gu_JbW
zC+9jgcdGcCc+ZiSz?<Mh0o<6k{DRM~9gBiJfb%d9dr*Qr+=Dv!QEs*z;~o^;HFys=
zIB11~i_}D0)OL{WSqs_f#cyr*AQ!Xoh-_d@NdJ{w&yfeq6~}h*0xTe=gsY4D=nJg9
zD0br8<<}vElVG957PdvKLMA3b`yZAVYL|dnv{%Dg5<2#y8pN3hYZ!zjwC15*Iupfz
zI1{+rku#wQ{<4?_o>qukqtg+#ra_iYnn1-Pi_zH;A|k<J@-(&aKS$@PZSCqUaYk>6
z1w6G_y5=p>b`oN-ra$ggo!=hh`%DYPn|8T8MgtehF|Wj^6OkKjvzJ9*uA}5UY`1(H
z-o<{0h!D}$hq@@@*}!8~DHiPEHuT9@5aR6aC@^_*a@?4_-O3MdP0l=Xei&M{^8YjP
z|J9$!{kzBiLuVl7`N@{|oZ|EN24;I9pC1WH<Y8Cj2wRvxnj%ZdW9DFs+`)`_BgKHQ
zo~uu*2l<{hHc)&D+vvxLVq$Jm$2n0p?29$-#WPirH9QHeF#*dWBdK;+!xP-t-ez_o
z`A)%(<`dSNI?;Q=kF*L0Q7eoP4@(W;3QSx<1+!-klq*$WzvKKc;zhEn1m^Y?<m|AH
z2%k8uUEK5rb2I4s|NQCy|99~U)YKFL3W0x%087l}<}#?|<daBTA$@B%uzrA*3h^}p
zDnzh}{1JdZG<;0oABcB?C>89dC2a&$h~u~rM|wto2B`bLy8l1xm*KWs-+wdzC;wAL
pA)pXY2q**;0tx|zfI>hapb$_9C<GJ&3IT<HLO>y)5cq#0@HaoS;<f+)

diff --git a/Models/FMS/.DS_Store b/Models/FMS/.DS_Store
deleted file mode 100644
index 22f366b1b49bdd12436a171b21cbd13773869924..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHKyG{c^474Fgk!Vs<Zb^m2vpz)ui57kU1ws`_0rdA7d=wwR-yAcx2|2OXA_TVN
z9pCQQw>Q%5Lqv4?a(5^)5s@*Rs0=E`?&{E1kavJ;H4fxa7V><#T-{a*{l+fNeJuC#
zAWw268}pwpS96R}m<#xRXNKsDe>}i{BOk6^NBX+{Nu94(;MD4$4)EUx_-A##&Hr^{
z{+v@<Dv%1K0;$0NRRDW7ZM^H4Z7ProqylRNxIPp(u?cJ)ZRtQ`R{-D$-DZe+WM)nY
zYyw+HjKI`Wfu5>y#ZXU2e+ga_*gAT;Xk0!t-u!uaQF}Y;7o&?dj@hOHsX$+WZGW6_
z|3AksQ@!N(Q}QVlNCp0w0y>&q&!+gO*jvAS9{1V;zk$=pYZ<^0_YMJg;5xErgFapu
ZgVzMMj;z9dO9$pbzy!%A75D)KJ^)_AN!kDa

diff --git a/Models/Philo/.DS_Store b/Models/Philo/.DS_Store
deleted file mode 100644
index 476b97a187c511c520a05b305c55383b2c4aaadf..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 12292
zcmeI1zfK!L5Qk?8g|SnlLX=lhMaISsbSDHzsUiUd9f=`QB3W_7ABplFgNNb)cm&=8
zelxpr#`dl&WFh6Z((YL2{XDzhoqd|Kh=hZ?s~wRo5ow`o{M5maY5KnQg|?QCY$68m
zB3-$Vzw%3d%Xncn56}P&&;Sk401dnc1Gr~vYZdPM@m-EIKm-4!0sVcb&^6X6HZj^y
z2L>wv5Z7_o8eXFgFs4eePO*v6P<&>r9zsGxDltOD@qVS#5$hD27$Ytr;u2EkkSdg5
z*}+vdT|ylrM;f4kMFU#9cjTLl<VJR8>i5al@#Jzeo{TU9U#f6|-g>cSAJd*v|7!j@
zMjkP9JHzzcbAmZW^JJO+66UGE?3Nih2J?_v+h7T!`^hoGGGqJ6F<+K2x}O}gS7vlS
z+4Hl%gu#Ahn2mH!FXT+F<%j%{o7t<ttobwAnLh8C*!A-n%ul(UqcqR6bNz9S>PnGY
zJ9k{$alJef;BID5euX_;;n_@fb^8_iO#M7##_!$ge5QUeldi9nX}6F`{rOCOb%Q)(
zJMxTQ-JrBO-BZ!{u#ic2<TLrz?d2JB=PmI5kFPu%4Xn_>hnQ<i>;I$j^ZymDh^c6R
z23Bn#tRJ2p9w2L~trzlZtzDsiN7ttFnivhiVC6WXmE(xhKMe7@!c=AI6q^`v1dR^@
jOaliRpaB}70UDqI8lV9hpaB}70UDqI8lV9hcvAzf3#~(|

diff --git a/buddy22/.DS_Store b/buddy22/.DS_Store
deleted file mode 100644
index ba5ef4d4d91441ebe869747654d73026c983283f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHKO^?z*7=8y3T1gZW59_TrJ#fI_x^j|b!H*b?S&Vyd&Dv6w#@Z5Ef(epv^z*(y
z!KgpQAFv1i3qJ46xPhWKV~CkInR(usdEU13yzNYfh(v4bUnQy#k%huoIE(5x#^YSp
zET?<QKq0Sjn>y6J8^%2^Tw|LKqkvIh(-h!uw?un%hj!@!Eq%YShY?;DZlPRRNP|aI
zq#nf-(Q^vuh5FV{x!*I~Jo(`ER#{>{!?LJPugRrXG^7xIlHs3Z_$Ayq!c&Aa#`XKF
zZ27#$h!BefYM$K++nXdqFO*OG!yAS{lGbV`B9||mDV8kTF5BgE=gUvKgLu+S-E^F^
z+|d(mJ#^E7r~OB99G?2F_c-WJjw%=T;wW{4s6Udyf!_z^@F0l%c+!f;k)IrPRp&wA
zrvrIW-C<d_Wgk_xrqg=8QFZFujak*1?(Ed6&b1r$*{t%-wk}<+-@NC=Z{EIp|Ka1O
z&tK%+NMPNSc0uDW_zEWvg#z+2`f!epm-1;rcb8s5cg`sEU**eeE%S@Ck5zt`+H{{f
z87^mPnVYACM%nyxh6HaYIh`TR+U(3+=WNs)+kYi9nEVEqes?Th1B@93i~>f1Wd(SB
za8MYV8s`e-(t%1I0e}T`OM}lp4IJZWY-*e<#0X5NP@oDG`iLP^IQkvUYigV;RN*A_
z;X~*<%MAq#A@2@!(13}i1XCFWi~<=2@~U0o{lD|)^M5AFG>rmAf&WPXQD}GDEzC&o
zt!s1Rz1Bf_hQh|Yxk4F&N^i%~;j`TqiZqNl>;Rh@=L*pSGd}`S22&XY{;2{#0Uy%-
AQ2+n{

diff --git a/buddy22/include/.DS_Store b/buddy22/include/.DS_Store
deleted file mode 100644
index fba0ecb7efd4529a70b2f535ef82248807146aec..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHKu}%Xq47H&}l~_75X6%H-A4FA)#0o!vt_3kv>Qv@@ApdlI&o+oc<_aPEWWQYU
zoV$C{C9#O;^02)VnTyB_PE<BJ#_sOWMUXFnYID3j?Dm^sw;wvw{LL=D`&0(m;<}aZ
z?@vkY;S0EqBcjL^nD6o;n-2E_<BQSExKnxU&#I3<m`2Z#3Zw$5Kq`<5oJj%f*|gcU
zW5!e<6-WiX6yW+$;KUl(9Bt`9uo3_`LAM#&JUBC_1lGXjh!L22D$r9kN(}XM^q1h(
zz~<=bqEUQkJo&SDQF}V(FGd%wju}&dRNzzr*1oVg_y0A1nQoD9lnkjrD)3(w(8=m)
zwZzxO-uml1xz`r>Gn__VV*`fv$sqtYTt{wf(8mkg;MKt9$XVEL>A*Y)m>?Nafioy@
E1Zm<eAOHXW

diff --git a/buddy22/src/.DS_Store b/buddy22/src/.DS_Store
deleted file mode 100644
index 2157d8f66844d406875e569ff5d4526736d34cb6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 12292
zcmeHLJB|}U5UsYo>oJ=UZa4t}5fT}pwOWu!A=war###$6voZ!boMUhVjzYizIKtk-
zysECn{h66;`G{((yR4a4)vsUI^r(i2+{LHmbE0!1D$v<JKEu$`_&)cn4fM(rSO<Ti
z>(`rlG2hhl3~Lum0aL&fFa=BjQ{eAV0Pk#WMaO&J-?h;cFa`cg1^9d@(b-PbHr~q7
zfk8?D*by#E!++EP;!~=fs%^X#SH$$ygHu<hC5H3vxL-0HcB;1V*1MDQ?&Nf4rxl8m
z+2L0ToZQq~8%+UIAXk8E_Y<1a62E6r{mu{4EA*#~I2<q%jTO138t6q(?KAp2I->`z
z=sHHbH;g_=!@pzfnr`#h?nf^=i7mXp1hLPQ_l_$1NIQ;Cd)mj0gn#HY`Q^2RUzO`4
zYY06~;qe*BMaK%du;F(T)!h{V|1fU4R;V6f$C!PFel3iXJz~Z^=!6HW-h)n=AY0r%
zVEqUzZt<(2b&uwePm%Z}a|r)<jwRyr93Lcu*RZR2Uu6}c&k3zG-xGB>Z`>U+ZKxT1
zL?+5`uDH8ktw&@V;}AKaHQiu`cC^L6eS4-vv2%}<4R{Z(0yeov!ixDv9tFLJhFhpt
z(WZqH@@8-aWk#w@icc7^=DqP#KD>f&!3qknSmSBBKbdCno(lgM&zkZYR`A<U72`Q?
zqWELv%nZma&V%eE6ZT>B7~R5s_#)uWXx`f!u*qUG^B#1nBY5|q6DG_%LQlY>!dbmV
zzVq(pY@qw_YrsACNahg!p~tCYvOgb_=gBeqE^HE4xQAFIo3#g3VCbWtbN&Ca`}_Zc
za<Jg0fGO~26>y`=x0e^-ptW_zhHLE-{T(_t#x>rG3kE62VWk|0)pA_0C7|pxRoi%r
zD`>y{L%@9{WAA^hG@>`Oz5gXEZ7>B)0aL&fFa=BjQ@|831xx``z!WeAOaW8i-&f!#
DPWVhf

diff --git a/parser/.DS_Store b/parser/.DS_Store
deleted file mode 100644
index af789d415961bd25ff36249a55ec7f19277acc2c..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6148
zcmeHKK~BRk5S)b~D&SCY;+P{RBz_Q81&KouDj%R}i$FxALakJ8c?OT-0sN-S+HQ&6
zMzj||$Sc{C*gN*_IEiBb(w+{_ffj%!i(=z|)f&@&Ei1O;T9hnij3I7thW=Gv3|72j
zLsTFt@YfWuAAlT>$k0RO{mt?sW3bwP$#Ob3X2Nfxi$0z(!aaF8M*6;2{NDrreO%Lb
z!Y{)BV~l-o=>^_<OYdRe`BCfn;Cq^g-zpJ*jadYq8f(?_$f?jpfoH}%!W1uzJea{m
zy$LV(=M&AL%4^lkM^!OX#eBYICe2D_-|+(t!F;#k2YPAV9{;!|{t2IutY*cjfj357
z4vR6u98`nZ1{y5*!P*%Ow&AbSpvtd%W?ucZ)3uiw*I(vy*1vDuv(=i17GoV1hzdjn
zmI~<iAz@KW9hMf&r-PL_0uUQ)HpXlHWl&DyFm+g3WDiX&m1wErju>L;Y)_nD>aetE
z=@57L5I3{96N;GGIeuc?A*sb!M+Kq+z5=`Uwx#?3Mg95TC&jy{KvdvgDIkr`ZKutY
z+}^s9obI&=%N>iF`jr+9g_YZm&4q5oCoIO;m*@pCby!+t3oZT#7#U&}75GsFJ^>g5
B@Z<mh

-- 
GitLab