From 0660234d01be5aa235414c88371f02a1bf49bed2 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 29 Jan 2019 16:56:04 +0100
Subject: [PATCH] Releasing opam package for version 6.100.2

---
 _oasis                      |   2 +-
 lv6-ref-man/lv6-ref-man.pdf | Bin 323624 -> 323628 bytes
 src/lv6version.ml           |   4 ++--
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/_oasis b/_oasis
index 374a6ed4..09b36e98 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     6.100.1
+Version:     6.100.2
 Synopsis:    The Lustre V6 Verimag compiler
 Description: This package contains:
  - lv6: the (current) name of the compiler (and interpreter via -exec)
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 1d0951bf1eaab631a20f58602e5e3e7000a69366..1ead400d8275f1953da5937ba3392419f91fe7be 100644
GIT binary patch
delta 3701
zcmai#c{tQ<+s9|YWb8ZH$2PW_k$tIQhHlG<kc1i<Axp9qH~nTTV}@im)|kptme3tN
z6hk9xHEGn8%2aL!6S*TK^>)9{eZ22+JpVj@oZs_%e9rT{u0O8hxXxytTq{qmP@g`C
zf*2KfNdm<1V*R%l<&TAV%SfC|l<J&$?G(d!)v&c1gWr$1dS>2XK7CRv4K#$O{Nxzd
z#k3~~!yE37lWvnQ7vE4&*1Z`F{;}uwq?LlwxK^Lt$n(+2i5J_$jo*By{ib%}@2+40
zN%ccpyHXkPHxpVEv$XW`JGCyCXD5husy4Bk9;XLKytZi@edR2xfi+oZ#=%e3VS%99
zoNl#V>F05(y_<%m_@Meiy8u2U%Q8L+pJ6Yx5eXlV<l$Ji(A`*IEL)#=O!k`Z7=X<j
z7u9u)U5TXq`0}XsX+K!Yz`r8X2ApF9{yQMQ0@`B(7Mf=p*`O^gEK%mhD6|0zWnc*3
zk3UDmg(QY)A#t{5D6|a<ZT3$~kL#4smXx;@&Kd3GY+;Rdwsy3#bV6BTEl_AnG!~1p
zv^KM`vO1_`|6f~z;rl(pV#5<7v<{e~N{ZGE>3tuB#DUIQR<eNA!=jxw`0<fT`^0h;
zaIchX^(M>O$t{E$JQ==bs^yl=aSDv}n?;8C-uNq{86@hsbM$zYo92nNqm(C5_7nnB
zdh546S-xcH9+?cY*)eRtpeFcdpWQ<Bt5<gd%EL5EyIM<K_45`7OeV{^#)GJaZmfA)
zXOA!V*ZuaxOO_GGGK@m$)VB@)5{=eRuH>p$P1jSnMx8U}QG<%1QLNZ!Z{Xbx?o}o-
zflUFhC0dL@a>*Ge*HZxMR5e$1l<Pbg8fAWgRLgRqwoOHgn6g}G!A-B=uc`SmeJ*#@
z1&Cw{*RQJ2@o?_;-cbLD74Yx080~JSJ8}X*r#q7yRux=d%{?DlK7T2W#5E12M|>s4
z8}7Csx;?&V@%55Rxw4P3^#xq>&OGy-!I03owiU=@9Ri7K*7?O8HYkmLJcD?Aou`a`
z{0#CqB(A1n9@&%vsqsKJ*;F;zKwM~k($&{f;Fo2VbuHZ!)I6l^JfbP{ktkP>9pF;c
zyh>cTvgZr@GkaJg^``%8PG&gut!{F8<JE{O+?ddBKB+~EOYYvcQ;Hkk@et@w;Sa<=
z)rhf<QSoffm0(1-r^h+RlH%U>4}+Jv%6L3KEOd$du75l(yQ0_9&BwXdMIev<WLt(x
z>g(*I)!w)XF}Q<2Us#dcH$LFm3edUdt8C*EacGXy-X{UIlE>BaRn=ZXCEb#j25g@s
z5f0QqKUz_VegH?Ea_SL-ltnI5OVmAZDf7xHml(G9#Bqrkkd8SA`Y4PmshrOcMTtE0
zWR8lNlGYSogRYwhAeY<NU}f)+{RFk_bkZ}qUhrvszO$K;QyFnl_LVIF8h>*uR$XLN
zQv@`gqfO$!SH`Sj3`A0`*q_L0Lb3{@1g*Q|8rY*iKD1djRd43#&4pTCX=?gC#X^+U
znTpcZmHnxEx+sQMjPGQphPZS+YD!vdCDs-!E4B-}TwvC8AOn`4Cc%b;C!_?z)y#wS
zr=z6!e@Y8UitmulkZFJk%8p`OoHV_BB$yt({w`bRH-d%~Uv35Ua#0BI>FV!EG4n9W
zstbQn?HgH9_Rw_fYWm5|V`Mx*thqG$TiDx972nLgUSf%{x1srj7NYwpPUf=rxy&|^
z4k(}X7G9+r=+HJ|0j+&7Lw@qKwjSR#qnbJz%O12iFync4Ap-E|TagY7#%z8ir58JV
z4&I&F<!SMS4`Twla;g$<|A;wcEiN)Btt<j9PQT?`U<bcKmLo_`W*Wu?bs5aQ{OB3)
zm^$u5Q1c)?C&<<aFJL4UnFwpCeWW~ss7a<fGh>1v90c|sw1`u0&9I1rz7bmHDc+Od
zQ2R)e7u#Qn0Z1~OfYD<@3t%VZ4nfaEE+r(L=-U515CG}en{BoIQkRQY*RBeFzbeph
zw11jV0K3ZiU3N9l`%gu7<!60%N_;+S8Wrf#;4HhlQ?O{bL3;q>C+t0S|6uJJbNN7}
z$;EWp(^>nW_Mb2ET<@<!iL)i?1*(@oJn{(i$Oi|2wn<&=d~zf+dF*Q6t(O@_8m8Y}
zQ4kj}d<#v2X-L^?T(tij4l=t){A^2KKTm(j^otX2B~36h+zBcsVBfV0e&^Wfk`es^
zyhinXjf`JvZ<!MP7kBRe@&AFSuPL&0^iY%NYWD32&HBm_Q~?m8@$kFINEikq>I;Gz
z4eH0fhgeG~4rUNn-|pNoB^Yx>mM{(xpczM<2#6iilP!J%V;lkfL{Q>N*fKRbloB)2
z>%|f?cX=Q_xHrviPvW!WJ^Z6>ntaHoJ?yYoTFv0QJoDyqLD}Jr?!>aj3A5mwT2O2M
zxDLs}e_NgaH27)2<ksCK=gImci=!!ulQPx92MASM6=r<Peb7|G^2P~=Z5w7)%jAcf
zX%aQC)}nE`W2(!pK*eDTL16fH^WgX3u_T4DcPmpL+cT5m#NLQpU<Q+5S3as0Y{aL^
z@6K1h#);*KOR5AZuonmeqi>2eG9Z$|YH(}$I3#_TFC+_iF&QK*IOlJ=c>cynQ38GH
z%Ywmr>Am-H58qR;V*gu#-#aOD{lZEID}<)A&>q+|aH!Evnx##}O6RD?lGZ)Q2^jx}
z#Mk*$PV!QncINX2>#2L%V+WCmIs1l-1{XtjkW6hWap^I9p5VtH8Xm>9`&!5PtK}op
zaKHur(B8;5_84%Ek>~BO03wf`sz$q@`%ar0C~r7>+ioA27-tO9QFF0Yi?^OT2A1o=
zf-eLUeWw$C``E!+Y>_$r=)DW^+#B4N_R#=!T^TFH9cNtOal^kpC-i2PI{!h9ka>o<
z=8VguD$1B5PT>9n0RJXqmvnbJ_Yz!*tdYlviOofYdS~J|^`6W#1G6w3kvb~9ruV^}
zMZZ{+SO+fQnX}Ojl8=~%D0qc1qE@a*-;9Bq%bip$VjY&%EYe0`ab=@B$8_mMK`!!C
zq;#bef>xk=&@2VVx=dBsh|a;i@clu>%ZPq-Z3mng_%zzL{_LaPvt6SpoD0Tjv}U!+
zKM-FW)f8TBW&ddIKWhqIr}5<~BN5+l>$Go^&ts>WcF}S2;$+8qb+W%q5#j(oNMV~B
zzOH5k9vbeuPhIPv^*A5=QNQw5t1<7L4&szu%`@|Q*=UFYqHgEbN;71-UL;!BaHkG%
z1vXz~*m_Cr9keVmcsKPxf?&r5Cuf{tLryrVM!@=*v25^H(t~<A0W`Q?RRDuwq>!1J
z^-5}x^m<J-k;6=ovJjSsv=*TZo{xjn2$k@}t;L>@4N($jm?jm_FIq4$f=mreiRs)S
zR8H;>2&`XyZj70|Hi9V`^;v!m=m0z;_U7U;L7|nb%F{m%>tV*k!6H8RG*+Tyg-S8P
zJbcAcIiokMIZ`Fphw`D6p&N#DRe^g`oJtwriO54Lxt^43B@7M`X`ur5pg>9(twf};
zO0Fv<w3v}aL~5(R4^xJU7(qm&l1eU)f+%8`6Oj@sa3@MeAw!%9AfYO`hbSKk7;~qQ
z+sbf<#vA{t0Zr=Zl_dquO`PM`8U&m&Ow7~936FYhqB-f}(;C>jBVHfToQvXR>e#Rm
zucv5Ef`=<mxt;qupOJjJnX7DMNjXu+coB|#QE@bX^uo7|(i6Q?#$kg__(xtPXx~ur
zGG*-Uuor;#4HiG_r-W@A_KHIL9v4?o#0C$0`J;V(E+6x0W+=BYyll`XY#1j)o9W6+
zdK4oX!!6WAiMYo6KpuwX!4#!TG>+SMR6ANUgXwt!A#K%wq7OZ(DiR1F72o4Eeyvom
zrQ3UMV<8D989*Ns2q7faJAXS}>GsK7SvtkXkG>@k(o>LOb!pvQr|5YnyUe{j^vvh%
z0*^9GH~l1}37l<^uri4~ez`+Aq-d}`@BU7VgG~mXjbvYAe~+bp|Dm2A;!4)be(|{D
z2D8{{*5~g8afh22{(-VaHqZ=r!N2ThvW#=;zV913y_o?GOln3z1BMI{hDRH9++;Rh
z^V99W0XTjY>pE4)z7{;E`IIk7L>4kI6o?8O_{SB&^{+#!a~%*rRi6(y-@A6it@>vJ
z{tc4f=(O`^d+9Bp(DkOiF6W17NR<Cjx4USPlmTa;ko~zO>(i>Pxv7ERxI5RTiv1nq
zG;z^sInik*&1vUtR`9GFcXuP}il&|*#WZAfLbUdro?r*-wAr1t+ad}(Si}atJjlw#
zi#})*&C$T~Kl*<Is^YfZX6Xbif|Sg+yoT86qK9+juH@^Ai*21BT5FQ?v@ef~M}*8h
z6uo}R&H8R3>MJ8_?eN|C7PhmK>txGMPNU+0M6;0J(JBo$0DYhg^*b>1CR}cQd;9x!
zQL&Vv(Db40d7*a$?n+T|<*Bkjxt;934FhhhwA`^<>$qR<%wCngOHlH9*qsrh70fGB
z+09EebTI6l)@nHCyYwR2@IflJXK%xLon7y=u0m}cr%nCnT9HyxRFkj$W`C@O`*7Z7
zd%d&KkWTNkQR7F8w`b+PY(2OX3BzIr{MDcjL*Eg3zVjSj!Z)L)+wtE3qb8BMFShiA
zb2gjh|CT_Tp0b3%6!m791ZmYN<=0|Niyyo2&ws(2ivKmpx$0vuX(%)A3riTkX_GyD
z|L+w^TJ^9=TCag8c)A|^b*LsJ?fm!-c-G=C9Rf%kVvA_fiMK^)iljlukAQMXHg!$$
z{W5cwY4W4nvc(0^+==Z-l<1axS)K3#D6GCFJmMhq4EfUV^QXyaO%qD2`)kqq^ABdj
Ze!`%=l_>hpRUz#?mT)~i=OZrg{{fP8oR$Cp

delta 3717
zcmai0XHXLgvrVIg(2IoLLX#G1LNk<5A|+y>c_D-%BGS8JLeS76UEv}~LKjeo3P{s{
zQ52<%;uRz!N<dVaG~2^B_x*YE&3r%h?3uIY=b7DY;Yc)cBnmWurlo6QAniiDFp2$l
zt&4B|K$EUcb$@PZ*6d5^aKT~yN2I7TsbXs;#$S<NgLvP8MQ<7ZXz<@#`Jv-Q$NM(J
zc6gs?x%j5r7InvSL{<mR`^7O}x8EGKa<71P43C;k4R+rswmEh!;Q;k0clX-dZ)L4g
zi_UN?zvqOE;6T{YkdaE_q&)R*m&nPpowZ#Rm56sL?C@+{?dmtQaOQB=*CwV2QplV^
zs<NMYECo%`u1r+ETX@M-VBN%Q5dFh~EFsq1Fn#$U&w=s+AD676qTe~Z$5jd-R}Ooe
z*{m}Ea(+ulY0B$rh6OOw0{Evu`vvZ_075>F>7bD2CZ>j_2Mv*$hK8EjPy@H9V28l?
z5M?a~3nN1$+7M~<ucZ?=0of5bg2tNJ8JQWG*`kofCWeOgb`FL}bF7^y8f$8f#hRPh
zC|mtk%U@6f*O16l@nOow#^_?hWbM-4c?gWuAu*V^vLicKI`eC%XgaTQM^W>BYbASx
z?LN=WD<1PauEUdET|&`XmeVVTjvuI%K5nPAidmxI0(|{*9RCuK^3{Pz;>GOvkMpZT
zX_%5-cct}^#g)CeS@hiVk?U?n>bs2v>X#hEee!-Ic8Mz5ZkNicF%j7^=L8Wf(Zi&m
zmOcGpPrT!b5!2EnDLt0xl{H)M1JubrEB=PjCAXrIm@%zaew+~1Te}2eo-LoEQ>Sf+
zekN!7ZHP|Uv$Z~a%h}(=du-zlg(;iiB8o%R!c@&1S1g7@$Lt~~)28J&IRIuH`_@DR
zm@nwLm-rj{YhjD5&ng}6cO>G)-jF<2pu_eYL*^t~cUX<1#q?wAPg?QjT-s@+P0J3y
zr(c`aCN`U#!x%8p#L}>>bP4tozi-%bP1{3EQ{sUzVX`f;yi=;YfhCF@9yb~ej4m(x
zs8yH3OJkQ!%Il5G^8~SRS$Y%ld=hMnY`w7x$WgYt=(UCvX;+EK`&Bih6yXX@YVp(^
zlT$2R<Tu>4)Kx2{9&z#Xa<+8#XVJ;3iCmgj0DtQ6q{%m4udLIDK81uWo>cE}kI1P{
zT+v~kC8i3NmrN%hs&H9uV=pfHtJEuUKR3hV*e}|V<vJ6l#P{sGpN<Voe}3E{Cdaq|
za=PP|SW%YPGxWf%<=XUVQn^KRyaV#ZI;x^LT%pZE_G|16GWulE+V5r5tMuXM5%_~H
zXU{Fo*}$C;`JqC?Q|gNrMf+M_faBR)HCLJCUwLR_y}X9{8)@Y6vRB~8gtq{hloSa<
z?*~2dk*i7o+RY!z1cwg_<d~8qprgkH8N<-nK4(X)zlKW}cS?!GgN;1i=?+*J{SF*j
z%m9pUsF2^HE6XN((6iTz^D7)a1RH9$qtT=As1yUtm0rIhYsXQ`N7~=^qV=2x<dGYv
zU7CJ3Wh$Ssc@~51z#CMR)_#G{_9(k7E+z=RigirNL+|FO4@WHtUwo!_XbhN`u1^nY
zR)~+|2Q9+B%MX)cHEvhDM$Q#16oeNBlm@T77j!D9NU?IN`e7DV>Avb$wE2so`S7mY
zPD*Is=_^zp^aI4xxb1`}_%zQJ+0*5t|CGW9I_MZ>7PGh&j^}Gq_et{=xn<ke6EQ{k
ziP8KLiZ^)ru|)9|fBaS?kHw)RinL4O7p}@#j`FML5tcVel{LuE-HIK;z}a)Kc$f9D
z!+V`hte7z&cS^N-)vd|Cz0NcaL<W#Skl8#O+j=D5l84HIxA9+P>7w+W9#!JTsGTgh
z9xLxk(T<jO&DbFD))L??WI>MVJ;;fE*?TbEd!U#7y!W8D(mxR-W&q~>($l=1EMdIb
z7l6_Gu27Nz9e^VP>i{BFipg$2ti0(rMyJp&_ty=60%@yHIL!dZWZJ6Ld+XQRR<Ero
z$=4SZMXa*7)!&-e4C&F0-${?9tn-RA1$LC-?r80aD84$nEYYLDjgt-NwW(ZVeKP)A
zH#to_=%NA0YBibT()*Psc&<1tU+%sVCw&m?F@M53dpm21IWn4l!o`1j?2N5czVrnM
zje;bDE`a`6^7#}+exS)PMR@NBqHpGdX|z-XIU$<II~v}Sew?hMC}C}u60ttLz<e51
z{K~#<9|tw^OY;^X2S~#<9`mY>JE(VQ+vv|=lMR`V$mc<251z#ch~fbV7TL2c*Y6&`
zK3S?w_v!b+&CxBgPTPTF8M1i6t#k{#$W{jL7=Jm&I1ISIL&Cs(ww7E#C0$S+l-Vy9
zEh!J~K5r=;KmHONf8!-ze0rid_jUweKL{M%#)5_RbE$r$Zro(Z-?tu)08RuvI>IV%
zMhSbLmeTB({8>an&;<yWkDUbMvZYy8Won7SZ8JLh89OtncRW38z}|6EK2}n#>4Ica
z&oyY)Xk+K~sSE?4G!83h#yTD?(Q<e_vQ#liAtJ+%z&FF21W-if#eFb&U&DQ65H6u7
zZ-fet4#DtOWu&R*mTrocc5xxfBq&NUT8rbHuV$TB(NlK)fz^!$wos;=u(`bN|4#6%
zgj|`vxJ-obVR>{?CSrH+eK*)vo`QnJ+<Uj@GOAk!?3UG-j64>cl=%y8g!(H-?Xq0S
zLQQExrv9VC{w3mfNtTK^O!Vn+_FZcRUvY4Q;F;TB>#@s<lM3B!jwIPm2%g2rnLOho
zu|)F9S6j<tTS8(Esy^aN7z`o9A{7W1AM$6~3un$~5atuLIJa_XH&TU9%U?yMnG&C)
zX82cxdcxj{p<6T5IgW%5etvNrR`HyFQo(JqG*A!Z3%Sc5CN`!@$6|8-lR(k~y%q^R
zbPS*?K-<CV-`*no1AQU&G_o8p4Rq8ILnXt20igSk^8yVn+h{|f5s<=UF#$x&K(cg2
zxfNuSbOD627vU|xx=q2(z84N^g1qenb-@;l=om~o>%6G*dF8eAr)tWfnCJ9UpTxQt
z>wFPVXBo$P(wEHE5G3w*X&g`5Gu1`gxtps9dMsfA`kXJ&b>YjKy_&tIcHS{fx(A_N
zfGaVk$u;)qajDv}=Sa#xz!*zVD@c_mw7gAw{mFq%c|X9r0R?|{^7KW8LMNs1zNGA>
z>h0Pm8)*V=U|hdGUUj`LikoMI2kO{LWxXb?OU?Gk?T4C#=iACTzpF6ox1a8xbf5`E
zV+`htIfw%M!?GO{w!mm|L7A+;Xox(|AVy4{Z<fxtNwJ9rRX~0c05Hl?0zWKck^_?g
zPIBZ?BB3nZGVlfgs7pZ<P(s>3`s7@WxHr!k%v_7!*!EHaJ!)Kn?!U04_xZt*XesXZ
z%>+`LKqUDZLGa(qmhY6E)}ZkNdGMfQiTdu4#z=U$FLl0zfeO)bf#W=>b|nna5UoS-
zArESGF@qbdWeUf+Q9;EFR<PDV_z;dtEMk-eYpK9-&eVZIMs%>&0r(J>s#?f!4%QNa
z<Ls%F0)}$178pK+q0Z+sNIOAVyD~T%s$ITzn0^Bw&c!yQQgZj7(an*Xme#%&KbVRR
zhT5Ia_!88(CDUY0mCa{74r*MH(Xpha<}t1ZLHC|L_j(ZtYnQWs^cc@XzSx7c+t@Q7
zOX^_1Y%goK$JcocQ7)C!7#cy1Y#ALSbuX9ki`dvL)1*)J&1KlWBsR9m=;%_ra~QXX
zjrB4&>+$wTUwcL@@oubL9~*Cgd~q0dT-^Q&+gtz1eEK7BE}yiBuA;Y9TQcF9El(q)
zG;al>qQFzQVx9_bS0!Dr@5B#Pmmr!u+!uzwcY`x^_q<DoRv@ZEwM^H#MB&Zc-kVL{
zkkZ{12!iBO;G6oeNXyb-{a|aui;;ezTsdiT-AM15wtImw59g_m{=YDVllwE32}BO4
zX3R?O{_Om=z+c3?!ob$=_8nZ$+%};i;8%lv%^w!Q4jZL;^#5tPPutWd2RLNO`p`|j
zKa|fgc&%%-Q;D=B9C`(&X0#7HMv_n3v>(>PuH6nTT+R8#^Lq5j1xLF(CkjQXrWBqO
zsMu3saHHUViE4<eBit<Hv+8fTR}ZlFTD+hie!tL&430lq|1;JJDs{-U7QY+H{_?=-
zSORwCuiVC85e~yis^KI!^J`z$-c;7lYhpq*Vx-Gew6OB5u<Mt@d}v{P3Nai%v9ohD
z)Xw{?Ept^1|I6I-n$@53#WI^!^G@cY_WsTan#)J|9~hsN9FH@oE)7`vewv*<hpkw^
zeea^DJE`$1WuZ(ZktX8E3UZZ0#RZM|=kLYTip6R~u(bVkWp%l1$AP_IeREeQz7Q|E
zLE6jw=f!*{u#WBujRUV4d_1Kptw{6!L1c>`s<M%1_DV866=E1F^VJR~n`qwFvdov#
zF<s^ZilE<l-Ud?=S2CdVx&2odj1g)EowMy_T}J=RmDRSo!aZ?Q(%+=J-2>V>H+IuP
z`^PD#&gHt=jkxai0G#5l>yf6;PX(2@q!TqIy_;)NCN3_&$|6m3(L2=0_N)|QYh*jc
zmOgio%4#d?grn-TO?OJ}<CdED;YNQ$??~N@-%#JbaAN3e-OLGJp>T{Irw8xLw+yU0
zIq`oN@}w^=pswVfqstey5d$U51RUD5uB}}0&#7c3)t8VgQgN5ib?Q}~86M{V0TmNA
ztfb4E>RdiBInQ}1t0d1k6F5hnFea-Kh8Ay>L_xHbcs%c4tSu(b$EHfVf^D#Mi~TS<
ztYjVLw%89EYfavJo%c0<>2_Ha$y#jVS5)zDu(n)TDKsQ9I4(XmB=GDX7DWt)#>EH5
U#wVA`twIF&O`!+`*259{KTUg)hyVZp

diff --git a/src/lv6version.ml b/src/lv6version.ml
index 664bd58e..fb10147a 100644
--- a/src/lv6version.ml
+++ b/src/lv6version.ml
@@ -1,6 +1,6 @@
 (** Automatically generated from Makefile.version *) 
 let tool = "lv6"
-let str="6.100.1"
-let sha="9beabcb"
+let str="6.100.2"
+let sha="44bc6b6"
 let branch = "master"
 let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"
-- 
GitLab