From 85941e0c65635b74c4cdf0b3072cf276ad502734 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 30 Aug 2022 17:04:39 +0200
Subject: [PATCH] move all files in a subdir to prepare the merge with the sasa
repo
---
lib/Random/random.exec | Bin 17864 -> 0 bytes
lib/Random/random.sh~ | 4 ----
lib/Random/utils_random_ext.c~ | 5 -----
Makefile => salut/Makefile | 0
README.md => salut/README.md | 0
{lib => salut/lib}/Random/lustre_consts.c | 0
{lib => salut/lib}/Random/lustre_consts.h | 0
{lib => salut/lib}/Random/lustre_types.h | 0
{lib => salut/lib}/Random/random.sh | 0
{lib => salut/lib}/Random/utils_random.c | 0
{lib => salut/lib}/Random/utils_random.h | 0
{lib => salut/lib}/Random/utils_random_ext.c | 0
{lib => salut/lib}/Random/utils_random_ext.h | 0
{lib => salut/lib}/Random/utils_random_loop.c | 0
{lib => salut/lib}/UsrIntBinary.lus | 0
{lib => salut/lib}/UsrIntBinary5.lus | 0
{lib => salut/lib}/UsrIntCounters.lus | 0
{lib => salut/lib}/UsrIntCounters5.lus | 0
{lib => salut/lib}/bit-blast/Makefile | 0
{lib => salut/lib}/bit-blast/README.md | 0
{lib => salut/lib}/bit-blast/UsrIntChs.ec | 0
{lib => salut/lib}/bit-blast/UsrIntLt.ec | 0
{lib => salut/lib}/bit-blast/UsrIntLt.oc | 0
{lib => salut/lib}/bit-blast/a.out | Bin
{lib => salut/lib}/bit-blast/binary.lus | 0
{lib => salut/lib}/bit-blast/binary11.lus | 0
{lib => salut/lib}/bit-blast/binary12.lus | 0
{lib => salut/lib}/bit-blast/binary3.lus | 0
{lib => salut/lib}/bit-blast/binary4.lus | 0
{lib => salut/lib}/bit-blast/binary5.lus | 0
{lib => salut/lib}/bit-blast/binary6.lus | 0
{lib => salut/lib}/bit-blast/binary7.lus | 0
{lib => salut/lib}/bit-blast/binary8.lus | 0
{lib => salut/lib}/bit-blast/gen_binary | Bin
{lib => salut/lib}/bit-blast/gen_binary.ml | 0
{lib => salut/lib}/bit-blast/signed_binary5.lus | 0
{lib => salut/lib}/bit-blast/signed_binary6.lus | 0
{lib => salut/lib}/bit-blast/test.lus | 0
.../lib}/bit-blast/unsigned_binary5.lus | 0
.../lib}/bit-blast/unsigned_binary6.lus | 0
{lib => salut/lib}/bitset.lus | 0
{lib => salut/lib}/bool_arrays.lus | 0
{lib => salut/lib}/sas.lus | 0
{lib => salut/lib}/use_random.lus | 0
{lib => salut/lib}/utils.lus | 0
{src => salut/src}/Makefile | 0
{src => salut/src}/dot2lus.ml | 0
{src => salut/src}/dune | 0
{test => salut/test}/Cycle_unison/Makefile | 0
.../test}/Cycle_unison/Sh/do_org_lines.sh | 0
.../test}/Cycle_unison/Sh/search_config.sh | 0
.../test}/Cycle_unison/check_cycles.lus | 0
{test => salut/test}/Cycle_unison/config.ml | 0
{test => salut/test}/Cycle_unison/state.lus | 0
{test => salut/test}/Cycle_unison/state.ml | 0
{test => salut/test}/Cycle_unison/unison.lus | 0
{test => salut/test}/Cycle_unison/unison.ml | 0
{test => salut/test}/Makefile | 0
{test => salut/test}/Makefile.dot | 0
{test => salut/test}/Makefile.inc | 0
{test => salut/test}/README.org | 0
{test => salut/test}/bfs-spanning-tree/Makefile | 0
.../bfs_spanning_tree_oracle.lus | 0
.../test}/bfs-spanning-tree/config.ml | 0
{test => salut/test}/bfs-spanning-tree/p.lus | 0
{test => salut/test}/bfs-spanning-tree/p.ml | 0
{test => salut/test}/bfs-spanning-tree/root.lus | 0
{test => salut/test}/bfs-spanning-tree/root.ml | 0
.../test}/bfs-spanning-tree/state.lus | 0
{test => salut/test}/bfs-spanning-tree/state.ml | 0
.../test}/bfs-spanning-tree/verify.lus | 0
{test => salut/test}/coloring/Makefile | 0
.../test}/coloring/coloring_oracle.lus | 0
{test => salut/test}/coloring/config.ml | 0
{test => salut/test}/coloring/p.lus | 0
{test => salut/test}/coloring/p.ml | 0
{test => salut/test}/coloring/state.lus | 0
{test => salut/test}/coloring/state.ml | 0
{test => salut/test}/coloring/verify.lus | 0
{test => salut/test}/dijkstra-ring/Makefile | 0
{test => salut/test}/dijkstra-ring/config.ml | 0
{test => salut/test}/dijkstra-ring/cost.lus | 0
.../dijkstra-ring/dijkstra_ring_oracle.lus | 0
{test => salut/test}/dijkstra-ring/p.lus | 0
{test => salut/test}/dijkstra-ring/p.ml | 0
{test => salut/test}/dijkstra-ring/root.lus | 0
{test => salut/test}/dijkstra-ring/root.ml | 0
{test => salut/test}/dijkstra-ring/state.lus | 0
{test => salut/test}/dijkstra-ring/state.ml | 0
{test => salut/test}/dijkstra-ring/verify.lus | 0
{test => salut/test}/kclustering/Makefile | 0
{test => salut/test}/kclustering/config.ml | 0
{test => salut/test}/kclustering/cost.lus | 0
.../test}/kclustering/kclustering_oracle.lus | 0
{test => salut/test}/kclustering/p.lus | 0
{test => salut/test}/kclustering/p.ml | 0
{test => salut/test}/kclustering/state.lus | 0
{test => salut/test}/kclustering/state.ml | 0
{test => salut/test}/kclustering/verify.lus | 0
{test => salut/test}/rsp_tree/Makefile | 0
{test => salut/test}/rsp_tree/config.ml | 0
{test => salut/test}/rsp_tree/p.lus | 0
{test => salut/test}/rsp_tree/p.ml | 0
{test => salut/test}/rsp_tree/root.lus | 0
{test => salut/test}/rsp_tree/root.ml | 0
.../test}/rsp_tree/rsp_tree_oracle.lus | 0
{test => salut/test}/rsp_tree/state.lus | 0
{test => salut/test}/rsp_tree/state.ml | 0
{test => salut/test}/rsp_tree/tree4.lus | 0
{test => salut/test}/rsp_tree/tree4_oracle.lus | 0
{test => salut/test}/rsp_tree/verify.lus | 0
{test => salut/test}/unison/Makefile | 0
{test => salut/test}/unison/config.ml | 0
{test => salut/test}/unison/k.lus | 0
{test => salut/test}/unison/state.lus | 0
{test => salut/test}/unison/state.ml | 0
{test => salut/test}/unison/unison.lus | 0
{test => salut/test}/unison/unison.ml | 0
{test => salut/test}/unison/unison_oracle.lus | 0
{test => salut/test}/unison/verify.lus | 0
120 files changed, 9 deletions(-)
delete mode 100755 lib/Random/random.exec
delete mode 100644 lib/Random/random.sh~
delete mode 100644 lib/Random/utils_random_ext.c~
rename Makefile => salut/Makefile (100%)
rename README.md => salut/README.md (100%)
rename {lib => salut/lib}/Random/lustre_consts.c (100%)
rename {lib => salut/lib}/Random/lustre_consts.h (100%)
rename {lib => salut/lib}/Random/lustre_types.h (100%)
rename {lib => salut/lib}/Random/random.sh (100%)
rename {lib => salut/lib}/Random/utils_random.c (100%)
rename {lib => salut/lib}/Random/utils_random.h (100%)
rename {lib => salut/lib}/Random/utils_random_ext.c (100%)
rename {lib => salut/lib}/Random/utils_random_ext.h (100%)
rename {lib => salut/lib}/Random/utils_random_loop.c (100%)
rename {lib => salut/lib}/UsrIntBinary.lus (100%)
rename {lib => salut/lib}/UsrIntBinary5.lus (100%)
rename {lib => salut/lib}/UsrIntCounters.lus (100%)
rename {lib => salut/lib}/UsrIntCounters5.lus (100%)
rename {lib => salut/lib}/bit-blast/Makefile (100%)
rename {lib => salut/lib}/bit-blast/README.md (100%)
rename {lib => salut/lib}/bit-blast/UsrIntChs.ec (100%)
rename {lib => salut/lib}/bit-blast/UsrIntLt.ec (100%)
rename {lib => salut/lib}/bit-blast/UsrIntLt.oc (100%)
rename {lib => salut/lib}/bit-blast/a.out (100%)
rename {lib => salut/lib}/bit-blast/binary.lus (100%)
rename {lib => salut/lib}/bit-blast/binary11.lus (100%)
rename {lib => salut/lib}/bit-blast/binary12.lus (100%)
rename {lib => salut/lib}/bit-blast/binary3.lus (100%)
rename {lib => salut/lib}/bit-blast/binary4.lus (100%)
rename {lib => salut/lib}/bit-blast/binary5.lus (100%)
rename {lib => salut/lib}/bit-blast/binary6.lus (100%)
rename {lib => salut/lib}/bit-blast/binary7.lus (100%)
rename {lib => salut/lib}/bit-blast/binary8.lus (100%)
rename {lib => salut/lib}/bit-blast/gen_binary (100%)
rename {lib => salut/lib}/bit-blast/gen_binary.ml (100%)
rename {lib => salut/lib}/bit-blast/signed_binary5.lus (100%)
rename {lib => salut/lib}/bit-blast/signed_binary6.lus (100%)
rename {lib => salut/lib}/bit-blast/test.lus (100%)
rename {lib => salut/lib}/bit-blast/unsigned_binary5.lus (100%)
rename {lib => salut/lib}/bit-blast/unsigned_binary6.lus (100%)
rename {lib => salut/lib}/bitset.lus (100%)
rename {lib => salut/lib}/bool_arrays.lus (100%)
rename {lib => salut/lib}/sas.lus (100%)
rename {lib => salut/lib}/use_random.lus (100%)
rename {lib => salut/lib}/utils.lus (100%)
rename {src => salut/src}/Makefile (100%)
rename {src => salut/src}/dot2lus.ml (100%)
rename {src => salut/src}/dune (100%)
rename {test => salut/test}/Cycle_unison/Makefile (100%)
rename {test => salut/test}/Cycle_unison/Sh/do_org_lines.sh (100%)
rename {test => salut/test}/Cycle_unison/Sh/search_config.sh (100%)
rename {test => salut/test}/Cycle_unison/check_cycles.lus (100%)
rename {test => salut/test}/Cycle_unison/config.ml (100%)
rename {test => salut/test}/Cycle_unison/state.lus (100%)
rename {test => salut/test}/Cycle_unison/state.ml (100%)
rename {test => salut/test}/Cycle_unison/unison.lus (100%)
rename {test => salut/test}/Cycle_unison/unison.ml (100%)
rename {test => salut/test}/Makefile (100%)
rename {test => salut/test}/Makefile.dot (100%)
rename {test => salut/test}/Makefile.inc (100%)
rename {test => salut/test}/README.org (100%)
rename {test => salut/test}/bfs-spanning-tree/Makefile (100%)
rename {test => salut/test}/bfs-spanning-tree/bfs_spanning_tree_oracle.lus (100%)
rename {test => salut/test}/bfs-spanning-tree/config.ml (100%)
rename {test => salut/test}/bfs-spanning-tree/p.lus (100%)
rename {test => salut/test}/bfs-spanning-tree/p.ml (100%)
rename {test => salut/test}/bfs-spanning-tree/root.lus (100%)
rename {test => salut/test}/bfs-spanning-tree/root.ml (100%)
rename {test => salut/test}/bfs-spanning-tree/state.lus (100%)
rename {test => salut/test}/bfs-spanning-tree/state.ml (100%)
rename {test => salut/test}/bfs-spanning-tree/verify.lus (100%)
rename {test => salut/test}/coloring/Makefile (100%)
rename {test => salut/test}/coloring/coloring_oracle.lus (100%)
rename {test => salut/test}/coloring/config.ml (100%)
rename {test => salut/test}/coloring/p.lus (100%)
rename {test => salut/test}/coloring/p.ml (100%)
rename {test => salut/test}/coloring/state.lus (100%)
rename {test => salut/test}/coloring/state.ml (100%)
rename {test => salut/test}/coloring/verify.lus (100%)
rename {test => salut/test}/dijkstra-ring/Makefile (100%)
rename {test => salut/test}/dijkstra-ring/config.ml (100%)
rename {test => salut/test}/dijkstra-ring/cost.lus (100%)
rename {test => salut/test}/dijkstra-ring/dijkstra_ring_oracle.lus (100%)
rename {test => salut/test}/dijkstra-ring/p.lus (100%)
rename {test => salut/test}/dijkstra-ring/p.ml (100%)
rename {test => salut/test}/dijkstra-ring/root.lus (100%)
rename {test => salut/test}/dijkstra-ring/root.ml (100%)
rename {test => salut/test}/dijkstra-ring/state.lus (100%)
rename {test => salut/test}/dijkstra-ring/state.ml (100%)
rename {test => salut/test}/dijkstra-ring/verify.lus (100%)
rename {test => salut/test}/kclustering/Makefile (100%)
rename {test => salut/test}/kclustering/config.ml (100%)
rename {test => salut/test}/kclustering/cost.lus (100%)
rename {test => salut/test}/kclustering/kclustering_oracle.lus (100%)
rename {test => salut/test}/kclustering/p.lus (100%)
rename {test => salut/test}/kclustering/p.ml (100%)
rename {test => salut/test}/kclustering/state.lus (100%)
rename {test => salut/test}/kclustering/state.ml (100%)
rename {test => salut/test}/kclustering/verify.lus (100%)
rename {test => salut/test}/rsp_tree/Makefile (100%)
rename {test => salut/test}/rsp_tree/config.ml (100%)
rename {test => salut/test}/rsp_tree/p.lus (100%)
rename {test => salut/test}/rsp_tree/p.ml (100%)
rename {test => salut/test}/rsp_tree/root.lus (100%)
rename {test => salut/test}/rsp_tree/root.ml (100%)
rename {test => salut/test}/rsp_tree/rsp_tree_oracle.lus (100%)
rename {test => salut/test}/rsp_tree/state.lus (100%)
rename {test => salut/test}/rsp_tree/state.ml (100%)
rename {test => salut/test}/rsp_tree/tree4.lus (100%)
rename {test => salut/test}/rsp_tree/tree4_oracle.lus (100%)
rename {test => salut/test}/rsp_tree/verify.lus (100%)
rename {test => salut/test}/unison/Makefile (100%)
rename {test => salut/test}/unison/config.ml (100%)
rename {test => salut/test}/unison/k.lus (100%)
rename {test => salut/test}/unison/state.lus (100%)
rename {test => salut/test}/unison/state.ml (100%)
rename {test => salut/test}/unison/unison.lus (100%)
rename {test => salut/test}/unison/unison.ml (100%)
rename {test => salut/test}/unison/unison_oracle.lus (100%)
rename {test => salut/test}/unison/verify.lus (100%)
diff --git a/lib/Random/random.exec b/lib/Random/random.exec
deleted file mode 100755
index 7b1d5ae64a2428c32e49038e36a4253f2c56db0d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 17864
zcmeHPeQ*@VmG6}h5*V)p7)LSqSR;sq6D<-kUyfyVkp!ch_%N1;odd=z?Mhll(yn)B
z9f3^(CF8JB6jMo@_*^9AbE<qKRjIO5iA^O=f<p}FRL%vtm~eM-qVw6wD*iYb<FkCh
z?EPMMztPOFo4fnxs;+KZwe$M@-bZ)8>6z*2p4MmEIyRR1e1cQCxJ3{*S)-7U78tka
z3`j_<6<6T+7vfqm6Z{N`DS1c{NLA`DbJHq~mxGesQ7!k<MOu$3*N`aL6-!mR0H#8>
zgX}8ENb_FWtnHYx+%7Lb#z+BqwCQPT2oh7L9mOWsAjKlr?52<Db|2G}?T972DQ!2U
z?U;^Jg^-wXJSish`<eFVrLAOy#FTU?ZF|*<QvPUwxXbAg1q-HZcPs3up8ws%Vc)LH
zD;AepU4N#!xnjjYynFSHD+Zzs1M#8EaKrH0)eWm}45kyom9pJep(1oDHf`xb-|c#F
z?r*<y;IYtxlgn=U%C8SysM|;NraF*6(xF899DbrKSM53g<r+RMqW;=1EIJc=VUX+!
zr6z#$3JAUhEKmUd2(Uu>TZ-VDis0*t;GZsnCyU_E0T1BkO%$&}^}MnOer*w)`e`9Q
zzXBe>&zp7vD5OtkZm#&CI2=+I-2WqBmng`6?Cl-Mr29o|IBp5kjHeSl>(-g+bWdcc
z*TG9RnX%FWho1gO3bIH#9ZOkeZzMh-lBxKR)hpuZh-K{&X)Bt@SRxe}ibAhvIAZq3
zhav;<y)lSVJ%dT0=&wCy+KRx#U?e^yh^OwlT5RfQ-_T;N46d<rD}$?q+1|O?jK)&2
zzIfV-r8+ma3?znPossT=7`*ijCWf>(Q>hkIRQ<UOy_)|BDaRl6Z-uGw_`qe6<?HeT
z@i<Otx%jfiGS|dsk;T`Qx_$rRc%PoD1e5yy#Q0&24~LYTapuphS2$f`eC-i3?!YUR
ziah2VI4WePNeAw?QQS8jxUPzna(|&`0JoV0wIMnRL1j{3=M)I39O3#FFM)ao&i6tR
zG&*qkoFNctZAcR7-+8|bIdF~<X&MfEHUT<q3#km%=L(Gxxjm#9!sn>0Jl+{n4B>RG
za_SGM9O2armS`ygr3jQFP>Mh)0;LH2zlwk{@_LmqTJh2f3_T7Wx61OTjgg;Kov>q&
zU-dFX`DL%*SiLxe9P#}mpBT?0E&C_pY3MX@TJpano`!Z4$0h%B;%Nvq@r2}mN<0mn
zCLWdi4~VBB)5KxPf0uX~DoyN{{I`jx;mSl(@{bWuL#By4CI1NVG&G#pCiyQBPeZ4P
zkmToq?>!7&rlvRAvuAc2*_VxxS0=Z0c8pcr0N=*gl_yZ7G1i<%P4Wv)28Fm#y|`6E
zaX2u>D!PfRo3a)lT;G74!Zj;DUcGofIX<B&T&$D&t5y<Oe#yvA8qdDD-gtJZ-0+<=
z&Rnvtf`g29P?aC=mF2Mg{$?NSL}o>oG19yPTEfV_YRxf5n|}@_*MKJF`f)f}@sHqr
zyV#ED#Jv!9!3HO`CcE#Vk<Cnw?7JvFyBKX;?-$|+6nbN9)qLbp+3P@ZeV5?%r#Sre
zyRaB-o6Oc6e*T2Vi!s_YIobw?XS1hrkDwHXijmzn1-mKueFLLS0~&R3ckp;-_D@ip
z$aR6!3cu6}WiEvq!LdVfHdgU+gAlt^B@VnEK!-B2KgzwI&!1|$NG?ycO;M*CtvCxk
zoQkVQ_D%URGtt&O3Z?#%+Xii8?BFDk>`65ClPLNa8RxzaY-EZwCHs`}i$>+EpOOZL
z+TPv2@7=pu;UOr1ugg^14o~GSq0RsstvNXMS~GFnn5oqD1Jfi0mK1bK0o9o5S$(h-
zMNwU=@4pE-#8t=p!0U~wspnLcR2$D@x&UpgfrZb~txH|>wC+BP|5fXL4UwaD=fLV_
z-E6n$gafS0%yl&DdNk{`WyaV;ucHc#kF5&8Jx;7DAqMMg+eNBR^}(Igf`g>}XB*K_
zpb_8s({vH?6g`cX8&$+S6ya#Zd`ErlMqGk9x6Iv$Zq!CLg1XFfBX+~R-H1nF?P|pN
z>Y9V3-)mHV<~R;R$EU9X>f)mn@ej)rQEO0VmldwDD?C@WWmN?gG1g2(HRQejKzJ%v
zD9hPDp<7e#`@p!n<3c6p+02E}idjm_;r|KfD?d-dW@O(5Va>wT@om7bRU-3EWK>PQ
zY-@f_miVI^WL<TMEk#QFn$mKVc#G|4J^5+7Alun&qsygt)8+lu_bzMC`RciClcN=D
zF7y9e+^kiLeg`W=a#DsGF?)$5)Z=r{K{8tLr{&HT9Jss;y1R{5{7R`gnsBdO#C^I5
z6{4h#M`ZzzxC#ik3(yxb>eUXj+&uC$*1VbWGm%$!jycF>E4IVWXhnzewh&kI$Z?;H
z+Dd4vw!S@u4oMfVzy*w0irkYx@F<uKE4pEp!P7|FMIXwjgjMbh**kG3?7AR38{Kx}
zjuY|<o`K5s!{mCudX9uY(J|Is{UIU3JKD2n!(Hv!cfy_F?8Po)tU&<2tz-H7^vutd
zQ|ZsXUv4dI`seD!q9c30Bl~7+_7CCwRlhSvPWX&<FJ=BnV}ZZg72X-%72X{-@r)5P
zGLT~i*C+vCDU~8nia;p>r3jQFP>R6+nF!E2kTV5WWUTl=+N8Cu#Gn})wt_vPF>rHW
zSZOI~kCbCUDwY&=cW1D)R(H2pmKMvRV%b11a)IW6=uTKxVvrcoBpM+Lh-JM2Q5PSg
zg|@(w;Uza=QBBlgDNO;XSXx8mH~@p$Vi<NbTJkL{{}`=7&%<x{-|)H$x^^<3ufcH9
z0Hu*o!&~`$J@_=J0s2)?nwj_m=poQ4(4(OLdOn~3JJ6$V!w=}53;BE%!f+O}p5DIR
zfj#Kspfr;)``=*?`YF((p!M&<9`q1sjb0q0^=C@Hz1xLvxW>0|PG!|$Uu6y9i|{*y
zI%8~ar^5O|EQN;De>0yyPTKyOjsDt?S6}hzs{La9H6Od-qf3_%O!k<b5CQn5$q-It
zyA!|nfo~)*?5}yCtmVp?Wnt7v`MwWu9b#7Jl<$^eS@sd&AA<Z=r@XAgwtoirCm@&W
zYwTZ%rTuRpr*ra}%l`Ma{YBvOaW0;7$&cIeMK~wNAV1@h|H78v40#;qaF<JdyDi@d
z`QwnMT=GF%ejnshkneWM@37@ZAYYBX5p~H;TmB5>dm)dw<U4KoZy^66<WD>0lt-d-
zb`kR1(br`CH~4EFENl1IezCmG9~hg_=CA)kMXSH@ftiMX?MUS&f9Nj%+OWSd?62S8
z4{Y$)LVtt5O0HqHq7NqF2kuI#6oFC%N)aeUpcH{p1WFMoMW7S`R|NQbJ^ntA$BbF6
zg~c6}^v7{nDU<2OT17vodH#-hq2~GB;~LHL_kfE$@^>!f69iT1_a$2Jr8GW6QLMho
z)Trh3&PVA@MeJ|hbali6jWf|^LWC58p|MO=x}p5OMGJ$JKA?#D@DF*$>vcuAUFWnO
zX5?k!@-aCt+XGOlV$DqQQ@UYT5|cc~8LvZ<e?iMJ*)Ms!-rE2FHsSBez2&af{a~Y}
zJ2dUp^d3zg(DbXCKCbCgnx543tfpMfa7g8%nZdz5GP|jz<)%P=YpgpS845Ht23H1~
z8dfjYxxmWCl}(LJO^s~-=V&>;<fQj>Z=$bY`MY?hjJ}V}71W<$_gA-mh2Vbb#%J37
z*^O5UKJRY4N^pO1<Ff?!LpP4Af;*~1P)=8eC%z;u#}}c2g7}qUyddtk_kB3r!%wx~
z`+ysVlYkRZ`Eq=reY7AxPZ-w~(w}dCU+k2YW0r&OCvJR!DAaGu#npnpFLvwWY7aRP
zl`j{yB3Tfh{=VF4RWA50H;vNuJwv>epGH)U?x$tKF9Obwkb&WI3yE*@;1m|p=le5Q
znbzRw!}snFhZIlcQEI`@S0Fxj0Vh9vzb9Qv_u%Ifm&f@b;DzdcRO;7Y>JJ$tns=l0
zWBdx~zfc5!sR;fSaBA0)5Hd*mF(9Up_u;(k4-tyFH${LIE|=z#e5l<o>a?PR6sqTJ
z8Nm6M^{a)zeR!&P`_)pd&(A$}zeeJh_w$cSKbQBnCvkr%D{!6O3H^CEUyb^~BHf~p
zq{cs^A9Qjq3;14*Z@F64M9xtmd%wgL<~%+OJm3U${(Ha+?W6ch)H6`vx;O=W?gLJD
z=ZfI30k46d&xf4aLY$ZSe(|7o#+SiegqK}@pSe`T|6J6wP<=jJ1aAjU^+|f_v!jT9
z9C*N8b;%6_pIcTd`1!>u2c;jscvM$P&V54oAnBuIcE<hu8(M!-pI<o_3H`s-_-Q>r
zk#mH=pVs(`I$&~c7x?oU-=+sRXMj=q2Z^h^^Z5HB_|=GW4X(#WLr!fWwrc;pAJCq|
z#=wR8?LysNzWnBCe009@Bj<RLT?m}~d;7!nT7SN7@6)>Yk7)e6x}QfhzE<LzagbZJ
z{w=ybw`$pLjbEqZ%<;Udh@X3b)A>CdayUo!bHD>`NOFGzd`SWPnIis0Ps&PLnciM3
zt4#0qF|9$fhxYrVvDYV>F#84)-H`z^Y9&%>Gm;q=J&D2OK+K9ogN=nXXa`c<jHFVL
zJ!WjkO6?K7smNf=RO2htbZ{m#EthJ6B_Gq=w!N*h^A2-k*Or#f_N`k?6GdYym6eK_
zJ&B>Tl|~Dkh91@&NF<WL+HVWPjp&vY-?%-zxy@|b(rRKCle-?+N!5DCmhk5G7Pmxh
zp#p?WduE$qDi22Mc42Pn*t#LyVQ$^H@wT>3vopM*qm8`EjaNPCjEsmdv9x4%ClUiH
zmx@KOnM-Z)3h_p)|7!b{+V162rv)n)pmv72ATt(?SP^0N#Vo9pVFOv8-bUuua_%$p
zNIZMUJW}$m_JrwOXCAqG&zKoaC(M4V>d}5Os*(yy`&PJ!#)r&II)+m~(V|5;M;NKM
z=o9T+_LDwjIMoh2PvNeOcD8JdtH-GIL+MDB*_}@72FWdRvNk$$(_8mwtDeK5i8@5h
zWGd1(h*+z$E!Q1s$DgeyPqEp#xrI9)?Y1kph0eX7&*gyDL|uRgruPh5k#0~crD#9r
z(4tr>DS|@@D;De<$^^SJaqM1=M>Q1Q(B5E0`h=AAN3caP7~L}je~MZuCAlY-O2-pJ
zF2;l`6&r|<fzBldED@AvDu`^bF9FuV;;jhMeE~`d*%yPcetjqCkHQIa%2eGFlm+Ke
zLS!)BgW?kwc}C@^PX}?PL=ZQnLELK!-2MLN5X~px5ri?4O8oxDl;;z)Sn6_~XdQm^
zYQ*;Zp2u`4DLE29hZ$OpjMJXq2bl&~QB$vdD{w3iC%Al`=U`f|?Reg!%HwYfc)Z2g
z_2>6XrcY3CkZ5{>vTV=u5j%k4kz?DB>k2aEc@(I~q}?$qX#7EQ7F>URUuC*fYjXWr
zkLjl%r#TSj`Ms8Dqqg_fU&CTAGE`-@=l5Tx=d>c1?`{A6+J1x9v)_~T`!df1kv$DH
zy!KxNMlsRTKQvfTNmD&M(ctv^3IjBc=CluJJEq53QB#k5@fDB#xK?1w^<_8AGyS^9
zp2urU!=8BqE}#8<(__!?`%HQMi}iK)Vpe=h+w=Jo0WH$>am_OEmj5IK6hF4-`2(g$
z*ich%`Sdle)1K!Um>y!s+MeUaZl6cSj~`t_l=yv*|4)HepLwP)!loKOw&!_^N$gIb
z#CnRG<{AGN2&nI|J->(Y|A82%#vyV4WIK-I!;p~*+w(lgxfNuEZ&nnsk8IEMkB~U+
zMM$eQDw@<R6SiaeHUv)lWJqZywY_)dgzebhd&m&R_2=>T=e2zeD{AVszXY7h*Xp)5
z+h1=ZDnq)IoYd1rr2Lq6cuW^a&!Lav$K~_=cNQ?NyEN2?<T{o4dykOIWnFr$^QcHs
NbF<Q@^cZ+p@t^US**O3J
diff --git a/lib/Random/random.sh~ b/lib/Random/random.sh~
deleted file mode 100644
index 07a6da31..00000000
--- a/lib/Random/random.sh~
+++ /dev/null
@@ -1,4 +0,0 @@
-if [ -z ${C_COMPILER} ]; then C_COMPILER=gcc; fi
-$C_COMPILER -o random.exec \
- Random/utils_random_ext.c Random/lustre_consts.c Random/utils_random.c Random/utils_random_loop.c
-
diff --git a/lib/Random/utils_random_ext.c~ b/lib/Random/utils_random_ext.c~
deleted file mode 100644
index 482555db..00000000
--- a/lib/Random/utils_random_ext.c~
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "utils_random.h"
-void utils_c_rand_step(_integer x,_integer *res){
- assert (0 < x );
- *res = (rand() % x);
-}
diff --git a/Makefile b/salut/Makefile
similarity index 100%
rename from Makefile
rename to salut/Makefile
diff --git a/README.md b/salut/README.md
similarity index 100%
rename from README.md
rename to salut/README.md
diff --git a/lib/Random/lustre_consts.c b/salut/lib/Random/lustre_consts.c
similarity index 100%
rename from lib/Random/lustre_consts.c
rename to salut/lib/Random/lustre_consts.c
diff --git a/lib/Random/lustre_consts.h b/salut/lib/Random/lustre_consts.h
similarity index 100%
rename from lib/Random/lustre_consts.h
rename to salut/lib/Random/lustre_consts.h
diff --git a/lib/Random/lustre_types.h b/salut/lib/Random/lustre_types.h
similarity index 100%
rename from lib/Random/lustre_types.h
rename to salut/lib/Random/lustre_types.h
diff --git a/lib/Random/random.sh b/salut/lib/Random/random.sh
similarity index 100%
rename from lib/Random/random.sh
rename to salut/lib/Random/random.sh
diff --git a/lib/Random/utils_random.c b/salut/lib/Random/utils_random.c
similarity index 100%
rename from lib/Random/utils_random.c
rename to salut/lib/Random/utils_random.c
diff --git a/lib/Random/utils_random.h b/salut/lib/Random/utils_random.h
similarity index 100%
rename from lib/Random/utils_random.h
rename to salut/lib/Random/utils_random.h
diff --git a/lib/Random/utils_random_ext.c b/salut/lib/Random/utils_random_ext.c
similarity index 100%
rename from lib/Random/utils_random_ext.c
rename to salut/lib/Random/utils_random_ext.c
diff --git a/lib/Random/utils_random_ext.h b/salut/lib/Random/utils_random_ext.h
similarity index 100%
rename from lib/Random/utils_random_ext.h
rename to salut/lib/Random/utils_random_ext.h
diff --git a/lib/Random/utils_random_loop.c b/salut/lib/Random/utils_random_loop.c
similarity index 100%
rename from lib/Random/utils_random_loop.c
rename to salut/lib/Random/utils_random_loop.c
diff --git a/lib/UsrIntBinary.lus b/salut/lib/UsrIntBinary.lus
similarity index 100%
rename from lib/UsrIntBinary.lus
rename to salut/lib/UsrIntBinary.lus
diff --git a/lib/UsrIntBinary5.lus b/salut/lib/UsrIntBinary5.lus
similarity index 100%
rename from lib/UsrIntBinary5.lus
rename to salut/lib/UsrIntBinary5.lus
diff --git a/lib/UsrIntCounters.lus b/salut/lib/UsrIntCounters.lus
similarity index 100%
rename from lib/UsrIntCounters.lus
rename to salut/lib/UsrIntCounters.lus
diff --git a/lib/UsrIntCounters5.lus b/salut/lib/UsrIntCounters5.lus
similarity index 100%
rename from lib/UsrIntCounters5.lus
rename to salut/lib/UsrIntCounters5.lus
diff --git a/lib/bit-blast/Makefile b/salut/lib/bit-blast/Makefile
similarity index 100%
rename from lib/bit-blast/Makefile
rename to salut/lib/bit-blast/Makefile
diff --git a/lib/bit-blast/README.md b/salut/lib/bit-blast/README.md
similarity index 100%
rename from lib/bit-blast/README.md
rename to salut/lib/bit-blast/README.md
diff --git a/lib/bit-blast/UsrIntChs.ec b/salut/lib/bit-blast/UsrIntChs.ec
similarity index 100%
rename from lib/bit-blast/UsrIntChs.ec
rename to salut/lib/bit-blast/UsrIntChs.ec
diff --git a/lib/bit-blast/UsrIntLt.ec b/salut/lib/bit-blast/UsrIntLt.ec
similarity index 100%
rename from lib/bit-blast/UsrIntLt.ec
rename to salut/lib/bit-blast/UsrIntLt.ec
diff --git a/lib/bit-blast/UsrIntLt.oc b/salut/lib/bit-blast/UsrIntLt.oc
similarity index 100%
rename from lib/bit-blast/UsrIntLt.oc
rename to salut/lib/bit-blast/UsrIntLt.oc
diff --git a/lib/bit-blast/a.out b/salut/lib/bit-blast/a.out
similarity index 100%
rename from lib/bit-blast/a.out
rename to salut/lib/bit-blast/a.out
diff --git a/lib/bit-blast/binary.lus b/salut/lib/bit-blast/binary.lus
similarity index 100%
rename from lib/bit-blast/binary.lus
rename to salut/lib/bit-blast/binary.lus
diff --git a/lib/bit-blast/binary11.lus b/salut/lib/bit-blast/binary11.lus
similarity index 100%
rename from lib/bit-blast/binary11.lus
rename to salut/lib/bit-blast/binary11.lus
diff --git a/lib/bit-blast/binary12.lus b/salut/lib/bit-blast/binary12.lus
similarity index 100%
rename from lib/bit-blast/binary12.lus
rename to salut/lib/bit-blast/binary12.lus
diff --git a/lib/bit-blast/binary3.lus b/salut/lib/bit-blast/binary3.lus
similarity index 100%
rename from lib/bit-blast/binary3.lus
rename to salut/lib/bit-blast/binary3.lus
diff --git a/lib/bit-blast/binary4.lus b/salut/lib/bit-blast/binary4.lus
similarity index 100%
rename from lib/bit-blast/binary4.lus
rename to salut/lib/bit-blast/binary4.lus
diff --git a/lib/bit-blast/binary5.lus b/salut/lib/bit-blast/binary5.lus
similarity index 100%
rename from lib/bit-blast/binary5.lus
rename to salut/lib/bit-blast/binary5.lus
diff --git a/lib/bit-blast/binary6.lus b/salut/lib/bit-blast/binary6.lus
similarity index 100%
rename from lib/bit-blast/binary6.lus
rename to salut/lib/bit-blast/binary6.lus
diff --git a/lib/bit-blast/binary7.lus b/salut/lib/bit-blast/binary7.lus
similarity index 100%
rename from lib/bit-blast/binary7.lus
rename to salut/lib/bit-blast/binary7.lus
diff --git a/lib/bit-blast/binary8.lus b/salut/lib/bit-blast/binary8.lus
similarity index 100%
rename from lib/bit-blast/binary8.lus
rename to salut/lib/bit-blast/binary8.lus
diff --git a/lib/bit-blast/gen_binary b/salut/lib/bit-blast/gen_binary
similarity index 100%
rename from lib/bit-blast/gen_binary
rename to salut/lib/bit-blast/gen_binary
diff --git a/lib/bit-blast/gen_binary.ml b/salut/lib/bit-blast/gen_binary.ml
similarity index 100%
rename from lib/bit-blast/gen_binary.ml
rename to salut/lib/bit-blast/gen_binary.ml
diff --git a/lib/bit-blast/signed_binary5.lus b/salut/lib/bit-blast/signed_binary5.lus
similarity index 100%
rename from lib/bit-blast/signed_binary5.lus
rename to salut/lib/bit-blast/signed_binary5.lus
diff --git a/lib/bit-blast/signed_binary6.lus b/salut/lib/bit-blast/signed_binary6.lus
similarity index 100%
rename from lib/bit-blast/signed_binary6.lus
rename to salut/lib/bit-blast/signed_binary6.lus
diff --git a/lib/bit-blast/test.lus b/salut/lib/bit-blast/test.lus
similarity index 100%
rename from lib/bit-blast/test.lus
rename to salut/lib/bit-blast/test.lus
diff --git a/lib/bit-blast/unsigned_binary5.lus b/salut/lib/bit-blast/unsigned_binary5.lus
similarity index 100%
rename from lib/bit-blast/unsigned_binary5.lus
rename to salut/lib/bit-blast/unsigned_binary5.lus
diff --git a/lib/bit-blast/unsigned_binary6.lus b/salut/lib/bit-blast/unsigned_binary6.lus
similarity index 100%
rename from lib/bit-blast/unsigned_binary6.lus
rename to salut/lib/bit-blast/unsigned_binary6.lus
diff --git a/lib/bitset.lus b/salut/lib/bitset.lus
similarity index 100%
rename from lib/bitset.lus
rename to salut/lib/bitset.lus
diff --git a/lib/bool_arrays.lus b/salut/lib/bool_arrays.lus
similarity index 100%
rename from lib/bool_arrays.lus
rename to salut/lib/bool_arrays.lus
diff --git a/lib/sas.lus b/salut/lib/sas.lus
similarity index 100%
rename from lib/sas.lus
rename to salut/lib/sas.lus
diff --git a/lib/use_random.lus b/salut/lib/use_random.lus
similarity index 100%
rename from lib/use_random.lus
rename to salut/lib/use_random.lus
diff --git a/lib/utils.lus b/salut/lib/utils.lus
similarity index 100%
rename from lib/utils.lus
rename to salut/lib/utils.lus
diff --git a/src/Makefile b/salut/src/Makefile
similarity index 100%
rename from src/Makefile
rename to salut/src/Makefile
diff --git a/src/dot2lus.ml b/salut/src/dot2lus.ml
similarity index 100%
rename from src/dot2lus.ml
rename to salut/src/dot2lus.ml
diff --git a/src/dune b/salut/src/dune
similarity index 100%
rename from src/dune
rename to salut/src/dune
diff --git a/test/Cycle_unison/Makefile b/salut/test/Cycle_unison/Makefile
similarity index 100%
rename from test/Cycle_unison/Makefile
rename to salut/test/Cycle_unison/Makefile
diff --git a/test/Cycle_unison/Sh/do_org_lines.sh b/salut/test/Cycle_unison/Sh/do_org_lines.sh
similarity index 100%
rename from test/Cycle_unison/Sh/do_org_lines.sh
rename to salut/test/Cycle_unison/Sh/do_org_lines.sh
diff --git a/test/Cycle_unison/Sh/search_config.sh b/salut/test/Cycle_unison/Sh/search_config.sh
similarity index 100%
rename from test/Cycle_unison/Sh/search_config.sh
rename to salut/test/Cycle_unison/Sh/search_config.sh
diff --git a/test/Cycle_unison/check_cycles.lus b/salut/test/Cycle_unison/check_cycles.lus
similarity index 100%
rename from test/Cycle_unison/check_cycles.lus
rename to salut/test/Cycle_unison/check_cycles.lus
diff --git a/test/Cycle_unison/config.ml b/salut/test/Cycle_unison/config.ml
similarity index 100%
rename from test/Cycle_unison/config.ml
rename to salut/test/Cycle_unison/config.ml
diff --git a/test/Cycle_unison/state.lus b/salut/test/Cycle_unison/state.lus
similarity index 100%
rename from test/Cycle_unison/state.lus
rename to salut/test/Cycle_unison/state.lus
diff --git a/test/Cycle_unison/state.ml b/salut/test/Cycle_unison/state.ml
similarity index 100%
rename from test/Cycle_unison/state.ml
rename to salut/test/Cycle_unison/state.ml
diff --git a/test/Cycle_unison/unison.lus b/salut/test/Cycle_unison/unison.lus
similarity index 100%
rename from test/Cycle_unison/unison.lus
rename to salut/test/Cycle_unison/unison.lus
diff --git a/test/Cycle_unison/unison.ml b/salut/test/Cycle_unison/unison.ml
similarity index 100%
rename from test/Cycle_unison/unison.ml
rename to salut/test/Cycle_unison/unison.ml
diff --git a/test/Makefile b/salut/test/Makefile
similarity index 100%
rename from test/Makefile
rename to salut/test/Makefile
diff --git a/test/Makefile.dot b/salut/test/Makefile.dot
similarity index 100%
rename from test/Makefile.dot
rename to salut/test/Makefile.dot
diff --git a/test/Makefile.inc b/salut/test/Makefile.inc
similarity index 100%
rename from test/Makefile.inc
rename to salut/test/Makefile.inc
diff --git a/test/README.org b/salut/test/README.org
similarity index 100%
rename from test/README.org
rename to salut/test/README.org
diff --git a/test/bfs-spanning-tree/Makefile b/salut/test/bfs-spanning-tree/Makefile
similarity index 100%
rename from test/bfs-spanning-tree/Makefile
rename to salut/test/bfs-spanning-tree/Makefile
diff --git a/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus b/salut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
similarity index 100%
rename from test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
rename to salut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
diff --git a/test/bfs-spanning-tree/config.ml b/salut/test/bfs-spanning-tree/config.ml
similarity index 100%
rename from test/bfs-spanning-tree/config.ml
rename to salut/test/bfs-spanning-tree/config.ml
diff --git a/test/bfs-spanning-tree/p.lus b/salut/test/bfs-spanning-tree/p.lus
similarity index 100%
rename from test/bfs-spanning-tree/p.lus
rename to salut/test/bfs-spanning-tree/p.lus
diff --git a/test/bfs-spanning-tree/p.ml b/salut/test/bfs-spanning-tree/p.ml
similarity index 100%
rename from test/bfs-spanning-tree/p.ml
rename to salut/test/bfs-spanning-tree/p.ml
diff --git a/test/bfs-spanning-tree/root.lus b/salut/test/bfs-spanning-tree/root.lus
similarity index 100%
rename from test/bfs-spanning-tree/root.lus
rename to salut/test/bfs-spanning-tree/root.lus
diff --git a/test/bfs-spanning-tree/root.ml b/salut/test/bfs-spanning-tree/root.ml
similarity index 100%
rename from test/bfs-spanning-tree/root.ml
rename to salut/test/bfs-spanning-tree/root.ml
diff --git a/test/bfs-spanning-tree/state.lus b/salut/test/bfs-spanning-tree/state.lus
similarity index 100%
rename from test/bfs-spanning-tree/state.lus
rename to salut/test/bfs-spanning-tree/state.lus
diff --git a/test/bfs-spanning-tree/state.ml b/salut/test/bfs-spanning-tree/state.ml
similarity index 100%
rename from test/bfs-spanning-tree/state.ml
rename to salut/test/bfs-spanning-tree/state.ml
diff --git a/test/bfs-spanning-tree/verify.lus b/salut/test/bfs-spanning-tree/verify.lus
similarity index 100%
rename from test/bfs-spanning-tree/verify.lus
rename to salut/test/bfs-spanning-tree/verify.lus
diff --git a/test/coloring/Makefile b/salut/test/coloring/Makefile
similarity index 100%
rename from test/coloring/Makefile
rename to salut/test/coloring/Makefile
diff --git a/test/coloring/coloring_oracle.lus b/salut/test/coloring/coloring_oracle.lus
similarity index 100%
rename from test/coloring/coloring_oracle.lus
rename to salut/test/coloring/coloring_oracle.lus
diff --git a/test/coloring/config.ml b/salut/test/coloring/config.ml
similarity index 100%
rename from test/coloring/config.ml
rename to salut/test/coloring/config.ml
diff --git a/test/coloring/p.lus b/salut/test/coloring/p.lus
similarity index 100%
rename from test/coloring/p.lus
rename to salut/test/coloring/p.lus
diff --git a/test/coloring/p.ml b/salut/test/coloring/p.ml
similarity index 100%
rename from test/coloring/p.ml
rename to salut/test/coloring/p.ml
diff --git a/test/coloring/state.lus b/salut/test/coloring/state.lus
similarity index 100%
rename from test/coloring/state.lus
rename to salut/test/coloring/state.lus
diff --git a/test/coloring/state.ml b/salut/test/coloring/state.ml
similarity index 100%
rename from test/coloring/state.ml
rename to salut/test/coloring/state.ml
diff --git a/test/coloring/verify.lus b/salut/test/coloring/verify.lus
similarity index 100%
rename from test/coloring/verify.lus
rename to salut/test/coloring/verify.lus
diff --git a/test/dijkstra-ring/Makefile b/salut/test/dijkstra-ring/Makefile
similarity index 100%
rename from test/dijkstra-ring/Makefile
rename to salut/test/dijkstra-ring/Makefile
diff --git a/test/dijkstra-ring/config.ml b/salut/test/dijkstra-ring/config.ml
similarity index 100%
rename from test/dijkstra-ring/config.ml
rename to salut/test/dijkstra-ring/config.ml
diff --git a/test/dijkstra-ring/cost.lus b/salut/test/dijkstra-ring/cost.lus
similarity index 100%
rename from test/dijkstra-ring/cost.lus
rename to salut/test/dijkstra-ring/cost.lus
diff --git a/test/dijkstra-ring/dijkstra_ring_oracle.lus b/salut/test/dijkstra-ring/dijkstra_ring_oracle.lus
similarity index 100%
rename from test/dijkstra-ring/dijkstra_ring_oracle.lus
rename to salut/test/dijkstra-ring/dijkstra_ring_oracle.lus
diff --git a/test/dijkstra-ring/p.lus b/salut/test/dijkstra-ring/p.lus
similarity index 100%
rename from test/dijkstra-ring/p.lus
rename to salut/test/dijkstra-ring/p.lus
diff --git a/test/dijkstra-ring/p.ml b/salut/test/dijkstra-ring/p.ml
similarity index 100%
rename from test/dijkstra-ring/p.ml
rename to salut/test/dijkstra-ring/p.ml
diff --git a/test/dijkstra-ring/root.lus b/salut/test/dijkstra-ring/root.lus
similarity index 100%
rename from test/dijkstra-ring/root.lus
rename to salut/test/dijkstra-ring/root.lus
diff --git a/test/dijkstra-ring/root.ml b/salut/test/dijkstra-ring/root.ml
similarity index 100%
rename from test/dijkstra-ring/root.ml
rename to salut/test/dijkstra-ring/root.ml
diff --git a/test/dijkstra-ring/state.lus b/salut/test/dijkstra-ring/state.lus
similarity index 100%
rename from test/dijkstra-ring/state.lus
rename to salut/test/dijkstra-ring/state.lus
diff --git a/test/dijkstra-ring/state.ml b/salut/test/dijkstra-ring/state.ml
similarity index 100%
rename from test/dijkstra-ring/state.ml
rename to salut/test/dijkstra-ring/state.ml
diff --git a/test/dijkstra-ring/verify.lus b/salut/test/dijkstra-ring/verify.lus
similarity index 100%
rename from test/dijkstra-ring/verify.lus
rename to salut/test/dijkstra-ring/verify.lus
diff --git a/test/kclustering/Makefile b/salut/test/kclustering/Makefile
similarity index 100%
rename from test/kclustering/Makefile
rename to salut/test/kclustering/Makefile
diff --git a/test/kclustering/config.ml b/salut/test/kclustering/config.ml
similarity index 100%
rename from test/kclustering/config.ml
rename to salut/test/kclustering/config.ml
diff --git a/test/kclustering/cost.lus b/salut/test/kclustering/cost.lus
similarity index 100%
rename from test/kclustering/cost.lus
rename to salut/test/kclustering/cost.lus
diff --git a/test/kclustering/kclustering_oracle.lus b/salut/test/kclustering/kclustering_oracle.lus
similarity index 100%
rename from test/kclustering/kclustering_oracle.lus
rename to salut/test/kclustering/kclustering_oracle.lus
diff --git a/test/kclustering/p.lus b/salut/test/kclustering/p.lus
similarity index 100%
rename from test/kclustering/p.lus
rename to salut/test/kclustering/p.lus
diff --git a/test/kclustering/p.ml b/salut/test/kclustering/p.ml
similarity index 100%
rename from test/kclustering/p.ml
rename to salut/test/kclustering/p.ml
diff --git a/test/kclustering/state.lus b/salut/test/kclustering/state.lus
similarity index 100%
rename from test/kclustering/state.lus
rename to salut/test/kclustering/state.lus
diff --git a/test/kclustering/state.ml b/salut/test/kclustering/state.ml
similarity index 100%
rename from test/kclustering/state.ml
rename to salut/test/kclustering/state.ml
diff --git a/test/kclustering/verify.lus b/salut/test/kclustering/verify.lus
similarity index 100%
rename from test/kclustering/verify.lus
rename to salut/test/kclustering/verify.lus
diff --git a/test/rsp_tree/Makefile b/salut/test/rsp_tree/Makefile
similarity index 100%
rename from test/rsp_tree/Makefile
rename to salut/test/rsp_tree/Makefile
diff --git a/test/rsp_tree/config.ml b/salut/test/rsp_tree/config.ml
similarity index 100%
rename from test/rsp_tree/config.ml
rename to salut/test/rsp_tree/config.ml
diff --git a/test/rsp_tree/p.lus b/salut/test/rsp_tree/p.lus
similarity index 100%
rename from test/rsp_tree/p.lus
rename to salut/test/rsp_tree/p.lus
diff --git a/test/rsp_tree/p.ml b/salut/test/rsp_tree/p.ml
similarity index 100%
rename from test/rsp_tree/p.ml
rename to salut/test/rsp_tree/p.ml
diff --git a/test/rsp_tree/root.lus b/salut/test/rsp_tree/root.lus
similarity index 100%
rename from test/rsp_tree/root.lus
rename to salut/test/rsp_tree/root.lus
diff --git a/test/rsp_tree/root.ml b/salut/test/rsp_tree/root.ml
similarity index 100%
rename from test/rsp_tree/root.ml
rename to salut/test/rsp_tree/root.ml
diff --git a/test/rsp_tree/rsp_tree_oracle.lus b/salut/test/rsp_tree/rsp_tree_oracle.lus
similarity index 100%
rename from test/rsp_tree/rsp_tree_oracle.lus
rename to salut/test/rsp_tree/rsp_tree_oracle.lus
diff --git a/test/rsp_tree/state.lus b/salut/test/rsp_tree/state.lus
similarity index 100%
rename from test/rsp_tree/state.lus
rename to salut/test/rsp_tree/state.lus
diff --git a/test/rsp_tree/state.ml b/salut/test/rsp_tree/state.ml
similarity index 100%
rename from test/rsp_tree/state.ml
rename to salut/test/rsp_tree/state.ml
diff --git a/test/rsp_tree/tree4.lus b/salut/test/rsp_tree/tree4.lus
similarity index 100%
rename from test/rsp_tree/tree4.lus
rename to salut/test/rsp_tree/tree4.lus
diff --git a/test/rsp_tree/tree4_oracle.lus b/salut/test/rsp_tree/tree4_oracle.lus
similarity index 100%
rename from test/rsp_tree/tree4_oracle.lus
rename to salut/test/rsp_tree/tree4_oracle.lus
diff --git a/test/rsp_tree/verify.lus b/salut/test/rsp_tree/verify.lus
similarity index 100%
rename from test/rsp_tree/verify.lus
rename to salut/test/rsp_tree/verify.lus
diff --git a/test/unison/Makefile b/salut/test/unison/Makefile
similarity index 100%
rename from test/unison/Makefile
rename to salut/test/unison/Makefile
diff --git a/test/unison/config.ml b/salut/test/unison/config.ml
similarity index 100%
rename from test/unison/config.ml
rename to salut/test/unison/config.ml
diff --git a/test/unison/k.lus b/salut/test/unison/k.lus
similarity index 100%
rename from test/unison/k.lus
rename to salut/test/unison/k.lus
diff --git a/test/unison/state.lus b/salut/test/unison/state.lus
similarity index 100%
rename from test/unison/state.lus
rename to salut/test/unison/state.lus
diff --git a/test/unison/state.ml b/salut/test/unison/state.ml
similarity index 100%
rename from test/unison/state.ml
rename to salut/test/unison/state.ml
diff --git a/test/unison/unison.lus b/salut/test/unison/unison.lus
similarity index 100%
rename from test/unison/unison.lus
rename to salut/test/unison/unison.lus
diff --git a/test/unison/unison.ml b/salut/test/unison/unison.ml
similarity index 100%
rename from test/unison/unison.ml
rename to salut/test/unison/unison.ml
diff --git a/test/unison/unison_oracle.lus b/salut/test/unison/unison_oracle.lus
similarity index 100%
rename from test/unison/unison_oracle.lus
rename to salut/test/unison/unison_oracle.lus
diff --git a/test/unison/verify.lus b/salut/test/unison/verify.lus
similarity index 100%
rename from test/unison/verify.lus
rename to salut/test/unison/verify.lus
--
GitLab