From 685de96eec9ea4c1b3237cec2dab82ae8cc4f5e7 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Mon, 23 Jun 2025 16:00:01 +0200 Subject: [PATCH] chore: cleanup --- exm/zelus/sin_1_x.ml | 74 ------------------------------------------ exm/zelus/sin_1_x.zci | Bin 9262 -> 0 bytes exm/zelus/sin_1_x.zls | 7 ---- 3 files changed, 81 deletions(-) delete mode 100644 exm/zelus/sin_1_x.ml delete mode 100644 exm/zelus/sin_1_x.zci delete mode 100644 exm/zelus/sin_1_x.zls diff --git a/exm/zelus/sin_1_x.ml b/exm/zelus/sin_1_x.ml deleted file mode 100644 index d185ae5..0000000 --- a/exm/zelus/sin_1_x.ml +++ /dev/null @@ -1,74 +0,0 @@ -(* The Zelus compiler, version 2.2-dev - (2025-06-16-15:24) *) -open Common -open Ztypes -open Solvers -(* open Zls *) - -type ('f , 'e , 'd , 'c , 'b , 'a) _sin_1_x = - { mutable major_22 : 'f ; - mutable i_29 : 'e ; - mutable x_28 : 'd ; - mutable result_27 : 'c ; mutable o_26 : 'b ; mutable t0_23 : 'a } - -let sin_1_x (cstate_30:Ztypes.cstate) = - - let sin_1_x_alloc _ = - cstate_30.cmax <- (+) cstate_30.cmax 2 ; - cstate_30.zmax <- (+) cstate_30.zmax 1; - { major_22 = false ; - i_29 = (false:bool) ; - x_28 = { zin = false; zout = 1. } ; - result_27 = (42.:float) ; - o_26 = { pos = 42.; der = 0. } ; t0_23 = { pos = 42.; der = 0. } } in - let sin_1_x_step self ((_time_21:float) , ()) = - ((let (cindex_31:int) = cstate_30.cindex in - let cpos_33 = ref (cindex_31:int) in - let (zindex_32:int) = cstate_30.zindex in - let zpos_34 = ref (zindex_32:int) in - cstate_30.cindex <- (+) cstate_30.cindex 2 ; - cstate_30.zindex <- (+) cstate_30.zindex 1 ; - self.major_22 <- cstate_30.major ; - (if cstate_30.major then - for i_1 = cindex_31 to 1 do Zls.set cstate_30.dvec i_1 0. done - else ((self.o_26.pos <- Zls.get cstate_30.cvec !cpos_33 ; - cpos_33 := (+) !cpos_33 1) ; - (self.t0_23.pos <- Zls.get cstate_30.cvec !cpos_33 ; - cpos_33 := (+) !cpos_33 1))) ; - (let (result_35:(float * float)) = - (if self.i_29 then - self.o_26.pos <- ( *. ) ((~-.) 0.6) - (( ** ) (sin ((/.) 1. ((~-.) 0.6))) 2.)) - ; - self.i_29 <- false ; - self.t0_23.der <- 1. ; - (let (t_25:float) = (-.) self.t0_23.pos 0.6 in - self.o_26.der <- ( *. ) (sin ((/.) 1. t_25)) - ((-.) (sin ((/.) 1. t_25)) - ((/.) (( *. ) 2. - (cos ((/.) 1. t_25))) - t_25)) ; - self.x_28.zout <- self.o_26.pos ; - (begin match self.x_28.zin with - | true -> self.result_27 <- 1. - | _ -> self.result_27 <- 0. end) ; - (self.result_27 , self.o_26.pos)) in - cpos_33 := cindex_31 ; - (if cstate_30.major then - (((Zls.set cstate_30.cvec !cpos_33 self.o_26.pos ; - cpos_33 := (+) !cpos_33 1) ; - (Zls.set cstate_30.cvec !cpos_33 self.t0_23.pos ; - cpos_33 := (+) !cpos_33 1)) ; ((self.x_28.zin <- false))) - else (((self.x_28.zin <- Zls.get_zin cstate_30.zinvec !zpos_34 ; - zpos_34 := (+) !zpos_34 1)) ; - zpos_34 := zindex_32 ; - ((Zls.set cstate_30.zoutvec !zpos_34 self.x_28.zout ; - zpos_34 := (+) !zpos_34 1)) ; - ((Zls.set cstate_30.dvec !cpos_33 self.o_26.der ; - cpos_33 := (+) !cpos_33 1) ; - (Zls.set cstate_30.dvec !cpos_33 self.t0_23.der ; - cpos_33 := (+) !cpos_33 1)))) ; result_35)):float * float) in - - let sin_1_x_reset self = - ((self.i_29 <- true ; self.t0_23.pos <- 0.):unit) in - Node { alloc = sin_1_x_alloc; step = sin_1_x_step ; reset = sin_1_x_reset } diff --git a/exm/zelus/sin_1_x.zci b/exm/zelus/sin_1_x.zci deleted file mode 100644 index 42b4e831f36d4800c963051a35613c59ba1a365c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9262 zcmZpfx@;ccN?L@rLmg7aY`!p{xZC8xA`0 z#tROP6E-a1U|>*ZaA5e)$ne3z!NJji;Xjhldj|&xCy>bw3nsBJPh2pGg=4`a7A}Vg z8yp-KOag12;K=ab$pHiy{!fI7fy`s91_^@9gDP}j`0oN0a#*nJfs@063lkg`1c$O% zKomGQGK4ueID+hh2{1Bz1Ubsd(c!}S0}cx=99-b8RAO*p(nKBxF!*4;{Xi=M}}B9D+Zg{%3i=?31KZ@v2_5s32YWj zND;z-k_%WO;4CjF3#@zri$5wi8JP=VFJMW5FrefDmJSGO0ZWg=0+t#G2SP4jX@oE! z8ea_MaPbN_s|L=h z#h#lO%HS&M;jAhGg@rUI-NIFupg6f0#Z9HiJVu5FWG+Jys1N{^gNTBHArHBnV8{ij zfcY;UZet;g#mKN3!E8Y=8xhPV1hWmnoPuC>BAD$6W(R`Vg#%^uY5|Kg zM95(Qiyef8aB(w&*@|FpLNI3_m{SqVX$a;l1QXVPb7W+ghY+2OV9r4>7a*7mNeK73 z2yOEb%=HN75(IM*g1H#MT#8_>Loin&n9C5% zT=|WEg*6s+8q|KWWZV3a8}*|mO?nE2*O&xk`K->*$xX>Di*NpgNQmT zVA%<0?SZrQFJL(Y=NyKx7O)&xz*4t>Wsk!GmXinwZ#+ySvc z?E+X{zX}onS3R&6E?8y(3l~%Z%6)*$g|I>O3s@Gy1%(QzoepX~urhKwEMWNwl>jSR z!1523yM6&nC@8~&TlOxBC1}L_|y8FkS3Ul*`4$}M2oy?`Zg0gL4V zR>n85P+(+uh+sZKFdrkBPaGDoGRcCf5U@)fklV5t<>+&Sz847QOVk_&bsea&4>l5^ z@D+mj8o_*nL%S@@AXX-0gz5(iSQOzkJ0rtekjodaGFc(Fr`*(vQj1G-;Gw#JMP&gi zWBURYt_7@&O(0{z@x%meCoN!Q@&$zgR02dX{D*bu7#Y4ot()M)@E=?@BPF4@Vut?? z7eG2394?$6G^%gBH!tA&uok_f;}7l`Yiy?*3C1(!h(S?GWSvaBw` zWN}P;!A&8EUNKBreS}^KP`?D^Z*V+eDm6zamBf^_K*&mC%7S}V5JyO1%32}x%3#V` zBV-jYWx?GWh{^JpvbG4likPzC79T{fGN!COLa!30ELakvS7iaq3`EAoRO$#;3o0WR zRWW5@V{(p+jA{;`LIxcCD9vGb+03F0G74OWf)g8<1&%^63tXCkS>P~(jSwQI6H zVl;w=b&bK`vHb!DM+O&G<~yv6+N_LP3u+l$82&r3GTMXcc}D#O6E8S`Dtb^o&-}z4 zRL@tU)bpOKj1w0y_%Zk+hTGwz>Yfb$C$TaeoW#ngeqq}J2Zsv_CoW*&QPS0$;IP2K zVZ&huhYcGSu!z9bGcvX_{D%okBMG-M{NJ#VMZtkZmXWcA;Xfl|8;Iy&_&?EMB4~`9 zmHFWUh9HIzR>tBq)H4n0j9GVR?r4C8URD?rYk%T8h4DUh`nglX@3W%7-@Si1@C1(LB z1%c-m7(Uo9V8~}EVr6NW#L8?miIs8Yf(sK^<}6?+V<=}yoy5xQG>MgQo5KQzJcf!5 z8(BmgScJks>4MpO5-a0ehXoATU~w}C7LyRLxbh@c#tCpQuq>G1z%mcwe3rQmEVCII zXTjXfGRuKw1|#DPkb_yaJFskFWSkCi<65|B%mfru3h|5+Ze+(#I6c!C4VPpCl$9a#1=GOmFe zw9kQM4WSavcpt^}E}8bqvR_|Ni*nb#D?YlM^U+L8T-eSQ*9r z!BWzbSQ)2GfE6{YjHaM)gO(7ijK&VEjE0PiJ7FQm%4p!g%BaW4xE&OBtc zjN3o~w*y4%0)<`*D`PS|CKj+Vb}QF`ig{MXdPsaMU}c68)VpC zkYQDZLong9nv9I_X-!5(_#6QvBYcXJkue9G3s4$4ypZ+*!uSjXGZRI( zFhr%p0v0hiOA^kKfwSb{EG0M#+^GULhrpd6Fbmv?2D8AOdr)J?0@~LGMM1;@77K?3 ztjyr90ophbxM7Z*yxuEmX@OGhV|eQNhLn;H!qV;nR>r?b;`{El-$FkgkWho=$8Iaj5OB`4hF*2S88G06E zs5C2+6exQ!H!NUeILF9vo|VaO5-aN(RwiLk_BzGLaACtnmNgD6s~7@61qSQFNuVi7 zMutO-3>QJg%svNJ#yt$)V7V!iSXx24_AxSC0?9paU}e0=-~pCvn8Y#x$@So>;2I;t zO;$FyNvy2ZlUU|Kb>7^tkp)x@GdP3wRZU`936j~$$Z%`JMph;c2UaGwYOqwuB$gV7 z1q{iI47WgSH|DLNW-61~f{7PcnYVxzXKa|l$`1a7M;My=a3s?ETXJz z(^*7Vgjqzv0rb;>Mbv?n`KN=U!vwf9Z5A*x{AOhM$I3Q;5-W@1BozN9OeQGIS2F}VIykbj@Lrg};?3g4 z!ZL}KMP(9;8jBAL8w(Q)BRGg#7BGSU6HCk_R@Q|qPM`pOz{tq7VFGxRJjsC}#9`tB z7QO{6oFH0Y0gJB#OBxFo3mXeFE7J@Z<2IDRA_-wQEC^;~WOA6WfR*hUE87(ZP`4id Dwh!nG diff --git a/exm/zelus/sin_1_x.zls b/exm/zelus/sin_1_x.zls deleted file mode 100644 index 48cc71e..0000000 --- a/exm/zelus/sin_1_x.zls +++ /dev/null @@ -1,7 +0,0 @@ -let hybrid sin_1_x () = - let der t0 = 1.0 init 0.0 in - let d = 0.6 in - let t = t0 -. d in - let der o = sin(1.0 /. t) *. (sin(1.0 /. t) -. (2.0 *. cos(1.0 /. t)) /. t) - init (-. d *. (sin(1.0 /. (-. d))) ** 2.0) in - (present up(o) -> 1.0 else 0.0), o