├── .github └── workflows │ ├── build.yml │ └── opam.yml ├── .gitignore ├── .ocamlformat ├── AUTHORS ├── LICENSE ├── Makefile ├── README.md ├── compiler ├── .ocp-indent ├── analysis │ ├── causal.ml │ ├── causality.ml │ ├── init.ml │ └── initialization.ml ├── dune ├── gencode │ ├── inout.ml │ ├── oaux.ml │ ├── obc.ml │ ├── ocamlprinter.ml │ ├── oprinter.ml │ └── translate.ml ├── global │ ├── defcaus.ml │ ├── definit.ml │ ├── deftypes.ml │ ├── deps_tools.ml │ ├── global.ml │ ├── graph.ml │ ├── initial.ml │ ├── lident.ml │ ├── modules.ml │ ├── pcaus.ml │ ├── pinit.ml │ ├── pp_tools.ml │ ├── printer.ml │ ├── ptypes.ml │ ├── scoping.ml │ ├── vars.ml │ ├── zaux.ml │ ├── zelus.ml │ ├── zident.ml │ ├── zlocation.ml │ └── zmisc.ml ├── main │ ├── compiler.ml │ ├── fixstep.ml │ ├── simulator.ml │ └── zeluc.ml ├── parsing │ ├── zdepend.ml │ ├── zlexer.mll │ ├── zparser.mly │ └── zparsetree.ml ├── rewrite │ ├── activate.ml │ ├── add_copy_for_last.ml │ ├── aform.ml │ ├── automata.ml │ ├── complete.ml │ ├── control.ml │ ├── copy.ml │ ├── cost.ml │ ├── cse.ml │ ├── dependences.ml │ ├── disc.ml │ ├── encore.ml │ ├── horizon.ml │ ├── inline.ml │ ├── letin.ml │ ├── markfunctions.ml │ ├── period.ml │ ├── pre.ml │ ├── present.ml │ ├── proba.ml │ ├── reduce.ml │ ├── remove_last_in_patterns.ml │ ├── reset.ml │ ├── schedule.ml │ ├── shared.ml │ ├── static.ml │ ├── unsafe.ml │ ├── write.ml │ ├── zdeadcode.ml │ └── zopt.ml ├── typing │ ├── interface.ml │ ├── patternsig.ml │ ├── total.ml │ ├── typerrors.ml │ ├── typing.ml │ ├── zmatching.ml │ └── ztypes.ml └── verif │ ├── lmm.ml │ ├── match2condition.ml │ ├── plmm.ml │ ├── tuple2record.orphan.ml │ └── zlus2lmm.ml ├── config.ml ├── configure ├── dune ├── dune-project ├── examples ├── Makefile ├── README.md ├── airtraffic │ ├── Makefile │ ├── a330-simple.svg │ ├── a330.ml │ ├── a330.svg │ ├── airtraffic.zls │ ├── airtrafficgui.ml │ ├── airtrafficgui.mli │ ├── airtrafficgui.zli │ ├── airtrafficrot.zls │ ├── airtraffictpb.zls │ ├── dune │ ├── dune-project │ ├── img │ │ ├── aircraft-model.png │ │ ├── aircraft-model.svg │ │ ├── aircraft-model@2x.png │ │ ├── aircraft-zones.png │ │ ├── aircraft-zones.svg │ │ ├── aircraft-zones@2x.png │ │ └── zones.png │ ├── readme.md │ ├── simplevector.ml │ ├── slides │ │ ├── Makefile │ │ ├── figures │ │ │ └── a330.pdf │ │ ├── lst-hybrid.tex │ │ ├── slides.bib │ │ ├── slides.pdf │ │ └── slides.tex │ └── svgtoocaml.py ├── arch-comp19 │ └── f16 │ │ ├── controlledf16.annot │ │ ├── controlledf16.cmi │ │ ├── controlledf16.cmo │ │ ├── controlledf16.zci │ │ ├── gcasAutopilot.annot │ │ ├── gcasAutopilot.cmi │ │ ├── gcasAutopilot.cmo │ │ ├── gcasAutopilot.zci │ │ ├── lowLevelController.annot │ │ ├── lowLevelController.cmi │ │ ├── lowLevelController.cmo │ │ ├── lowLevelController.zci │ │ ├── matrix.annot │ │ ├── matrix.cmi │ │ ├── matrix.cmo │ │ ├── matrix.zci │ │ ├── run_controlledf16.annot │ │ ├── run_controlledf16.byte │ │ ├── run_controlledf16.cmi │ │ ├── run_controlledf16.cmo │ │ ├── run_controlledf16.zci │ │ ├── run_controlledf16_main.annot │ │ ├── run_controlledf16_main.cmi │ │ ├── run_controlledf16_main.cmo │ │ ├── subf16_model.annot │ │ ├── subf16_model.cmi │ │ ├── subf16_model.cmo │ │ ├── subf16_model.zci │ │ ├── types.annot │ │ ├── types.cmi │ │ ├── types.cmo │ │ ├── types.zci │ │ ├── utils.annot │ │ ├── utils.cmi │ │ ├── utils.cmo │ │ └── utils.zci ├── backhoe │ ├── Makefile │ ├── backhoecontrol.zls │ ├── backhoedyn.zls │ ├── backhoegui.ml │ ├── backhoegui.mli │ ├── backhoegui.zli │ ├── dune │ ├── dune-project │ ├── exercise │ │ ├── Makefile │ │ ├── backhoe.bib │ │ ├── backhoe.pdf │ │ ├── backhoe.tex │ │ └── backhoe_loader.pdf │ ├── img │ │ ├── backhoeactuators.png │ │ ├── backhoeactuators@2x.png │ │ ├── backhoeloop.png │ │ ├── backhoeloop@2x.png │ │ ├── backhoesegmentauto.png │ │ ├── backhoesegmentauto@2x.png │ │ ├── backhoesensors.png │ │ └── backhoesensors@2x.png │ ├── readme.md │ └── slides │ │ ├── Makefile │ │ ├── figures │ │ └── backhoe_loader.pdf │ │ ├── slides.pdf │ │ └── slides.tex ├── ball_spring │ ├── Makefile │ ├── ball_spring.gplot │ ├── ball_spring.zls │ ├── ball_spring_png.gplot │ ├── dune │ ├── dune-project │ ├── img │ │ ├── ball_spring.pdf │ │ ├── ball_spring.png │ │ ├── ball_spring@2x.png │ │ ├── ball_spring_plot.png │ │ └── ball_spring_plot@2x.png │ └── readme.md ├── bangbang │ ├── Makefile │ ├── bangbang.zls │ ├── dune │ ├── dune-project │ ├── img │ │ ├── bangbang-graph.png │ │ ├── bangbang-graph@2x.png │ │ ├── bangbang-model.png │ │ ├── bangbang-model.svg │ │ └── bangbang-model@2x.png │ └── readme.md ├── beginner │ ├── Makefile │ ├── abro.zls │ ├── button.zls │ ├── dune │ ├── dune-project │ ├── hermes.zls │ └── switch.zls ├── billiard │ ├── Makefile │ ├── billiard1d.zls │ ├── billiard_ex1.zls │ ├── billiard_ex2.zls │ ├── billiard_ex3.zls │ ├── billiard_ex4.zls │ ├── billiard_ex4b.zls │ ├── billiard_ex5.zls │ ├── doityourself.zls │ ├── dune │ ├── dune-project │ ├── problems.zls │ └── problems2.zls ├── bouncingball │ ├── Makefile │ ├── autoball.zls │ ├── ball.zls │ ├── dune │ ├── dune-project │ ├── flatball.zls │ ├── flatworld.ml │ ├── flatworld.mli │ ├── flatworld.zli │ ├── img │ │ ├── bouncingball.png │ │ └── bouncingball@2x.png │ ├── readme.md │ ├── show.mli │ ├── show.zli │ ├── showball.ml │ ├── showball.mli │ ├── showball.zli │ ├── world.ml │ ├── world.mli │ └── world.zli ├── boxes │ ├── Makefile │ ├── boxes.zls │ ├── dune │ ├── dune-project │ ├── showboxes.ml │ └── showboxes.zli ├── cantharide │ ├── Makefile │ ├── cantharide.mdl │ ├── cantharide1.zls │ ├── cantharide2.zls │ ├── cantharide3.zls │ ├── cantharide4.zls │ ├── cantharide_ifthen.mdl │ ├── dune │ ├── dune-project │ ├── fly.zls │ └── slides │ │ ├── Makefile │ │ ├── cantharide-sys-nohit.eps │ │ ├── cantharide-sys-nohit.pdf │ │ ├── cantharide-sys.eps │ │ ├── cantharide-sys.pdf │ │ ├── ens.pdf │ │ ├── fly.pdf │ │ ├── greencar.pdf │ │ ├── inria-en.pdf │ │ ├── plot_fly │ │ ├── printmodel.m │ │ ├── redcar.pdf │ │ ├── simulink-nohit.log │ │ ├── simulink-nohit.pdf │ │ ├── simulink-zoom.pdf │ │ ├── simulink.log │ │ ├── simulink.pdf │ │ ├── siunitx.sty │ │ ├── slides.tex │ │ ├── spain.pdf │ │ ├── synchron2013.bib │ │ ├── synchron2013.tex │ │ ├── zelus-zoom.pdf │ │ ├── zelus.log │ │ └── zelus.pdf ├── clutch_engagement │ ├── Makefile │ ├── clutch.plt │ ├── clutch_diff.zls │ ├── clutch_graph.pdf │ ├── clutch_gui.zls │ ├── clutch_log.zls │ ├── clutch_model.zls │ ├── dune │ ├── dune-project │ ├── notes.txt │ ├── simulink │ │ ├── Fn_input.mat │ │ ├── Makefile │ │ ├── notes.txt │ │ ├── ode23.out │ │ ├── ode23.pdf │ │ ├── ode23_in.mat │ │ ├── ode23_out.mat │ │ ├── ode3.out │ │ ├── ode3.pdf │ │ ├── ode3_in.mat │ │ ├── ode3_out.mat │ │ ├── ode45.out │ │ ├── ode45.pdf │ │ ├── ode45_in.mat │ │ ├── ode45_out.mat │ │ └── plot_clutch │ └── solver_results.pdf ├── coffee │ ├── Makefile │ ├── coffee.zls │ ├── dune │ └── dune-project ├── controlled_mass_spring │ ├── Makefile │ ├── controlled_mass_spring.zls │ ├── dune │ └── dune-project ├── cradle │ ├── Makefile │ ├── cradle2.zls │ ├── cradle2bool.zls │ ├── cradle3.zls │ ├── cradle3bool.zls │ ├── cradle3soft.zls │ ├── cradle4bool.zls │ ├── cradle_modular.zls │ ├── dune │ ├── dune-project │ └── notes_cradle.text ├── db_intgr │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── plot.png │ └── test.zls ├── dune ├── engine │ ├── Makefile │ ├── dune │ ├── dune-project │ └── engine.zls ├── fuelcontroller │ ├── Makefile │ ├── README │ ├── diff_plots │ │ ├── slk_basicfuel.out │ │ ├── slk_mapfail.out │ │ ├── zls_basicfuel.out │ │ └── zls_mapfail.out │ ├── dumpnode.zls │ ├── dune │ ├── dune-project │ ├── fuelc.zli │ ├── fuelc.zls │ ├── fuelc_common.zli │ ├── fuelc_common.zls │ ├── fuelc_data.ml │ ├── fuelc_data.mli │ ├── fuelc_data.zli │ ├── fuelc_engine.zli │ ├── fuelc_engine.zls │ ├── fuelc_logic.zli │ ├── fuelc_logic.zls │ ├── fuelc_subsys.zli │ ├── fuelc_subsys.zls │ ├── library.zli │ ├── library.zls │ ├── lookup.ml │ ├── lookup.mli │ ├── lookup.zli │ ├── mlmisc.ml │ └── mlmisc.zli ├── heater │ ├── Makefile │ ├── constants.zls │ ├── dune │ ├── dune-project │ ├── heat.zls │ ├── heatc.zls │ ├── heatdc.zls │ ├── io.zls │ ├── main_heat.zls │ ├── main_heatc.zls │ ├── main_heatdc.zls │ ├── observers.ml │ ├── observers.zls │ └── test_heat.zls ├── higher_order │ ├── Makefile │ ├── dune │ ├── dune-project │ └── updown.zls ├── horloge │ ├── Makefile │ ├── draw.ml │ ├── draw.mli │ ├── draw.zli │ ├── dune │ ├── dune-project │ ├── horloge.zls │ ├── img │ │ ├── horloge.png │ │ └── horloge@2x.png │ └── readme.md ├── lane_change_maneuver │ ├── Makefile │ ├── README.md │ ├── constants.ml │ ├── constants.zli │ ├── draw.ml │ ├── draw.zli │ ├── dune │ ├── dune-project │ ├── interior.zls │ ├── leader.zls │ ├── merging.zls │ ├── noise.zls │ ├── rear.zls │ ├── simu.zls │ └── vehicle.zls ├── ltta │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── ltta.zls │ ├── misc.ml │ ├── misc.mli │ └── misc.zli ├── misc │ ├── Makefile │ ├── count.zls │ ├── derivative.zls │ ├── discontinuity.zls │ ├── div_by_zero.zls │ ├── dune │ ├── dune-project │ ├── euler_forward_error.zls │ ├── hardstop_integr.zls │ ├── heatingh20.zls │ ├── hybridaut.zls │ ├── input_window.zls │ ├── instable.zls │ ├── int_of_float.zls │ ├── integrales_compliquees.zls │ ├── khalil.zls │ ├── match_seesaw.zls │ ├── ode_non_lipshitz.zls │ ├── sincos.zls │ ├── sliding.zls │ ├── sqrt.zls │ ├── suspend01.zls │ ├── tabledep.zls │ ├── unsafe.ml │ ├── unsafe.zli │ ├── updown.zls │ ├── water.zls │ ├── ysquared.zls │ └── zero.zls ├── pendulum │ ├── Makefile │ ├── aux.ml │ ├── aux.zli │ ├── data.zls │ ├── dune │ ├── dune-project │ ├── misc.zls │ └── pendulum.zls ├── pi_calculator │ ├── Makefile │ ├── dune │ ├── dune-project │ └── pi_calculator.zls ├── pong │ ├── Makefile │ ├── dune │ ├── dune-project │ └── pong.zls ├── potential_examples ├── power │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── power.zls │ └── powerV1.zls ├── push_pull_streams │ ├── Makefile │ ├── dune │ ├── dune-project │ └── join.zls ├── qss │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── qss1.zls │ └── qss2.zls ├── rosace │ └── scadehybrid │ │ ├── consts.scade │ │ ├── rosace_controller.scade │ │ ├── rosace_simu.scade │ │ └── rosace_utils.scade ├── soas_relaycontrol │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── img │ │ ├── soas-command.png │ │ ├── soas-command@2x.png │ │ ├── soas-filter.png │ │ ├── soas-filter@2x.png │ │ ├── soas-gainchanger.png │ │ ├── soas-gainchanger@2x.png │ │ ├── soas-model1.png │ │ ├── soas-model1@2x.png │ │ ├── soas-model2.png │ │ ├── soas-model2@2x.png │ │ ├── soas-model3.png │ │ ├── soas-model3@2x.png │ │ ├── soas-model4@2x.png │ │ ├── soas-output1.png │ │ ├── soas-output1@2x.png │ │ ├── soas-output2.png │ │ ├── soas-output2@2x.png │ │ ├── soas-output3.png │ │ ├── soas-output3@2x.png │ │ ├── soas-process.png │ │ ├── soas-process@2x.png │ │ ├── soas-relay1.png │ │ ├── soas-relay1@2x.png │ │ ├── soas-relay3.png │ │ └── soas-relay3@2x.png │ ├── readme.md │ ├── slides │ │ ├── Makefile │ │ ├── slides.pdf │ │ └── slides.tex │ ├── soas.gplot │ ├── soas.zls │ ├── soas1_basic.zls │ ├── soas2_leadnet.zls │ ├── soas3_gainchanger.zls │ └── soas4_gainchanger_disc.zls ├── stick_slip │ ├── Makefile │ ├── dune │ ├── dune-project │ └── stick_slip.zls ├── stick_slip_friction │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── notes_stick_slip_friction.txt │ └── stick_slip_friction.zls ├── stickysprings │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── img │ │ ├── stickysprings.png │ │ ├── stickysprings.svg │ │ └── stickysprings@2x.png │ ├── readme.md │ ├── stickysprings.zls │ ├── stickysprings3d.zls │ ├── testworld.ml │ ├── world.ml │ ├── world.mli │ └── world.zli ├── suspension │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── notes_suspension.txt │ └── suspension.zls ├── timing_test │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── misc.ml │ ├── misc.mli │ ├── misc.zli │ └── timing_test.zls ├── van_der_pol │ ├── Makefile │ ├── dune │ ├── dune-project │ └── van_der_pol.zls ├── watch │ ├── Makefile │ ├── draw.ml │ ├── draw.mli │ ├── draw.zli │ ├── dune │ ├── dune-project │ ├── img │ │ ├── watch.png │ │ └── watch@2x.png │ ├── readme.md │ └── watch.zls └── zener_diode │ ├── Makefile │ ├── dune │ ├── dune-project │ ├── lzc.zls │ └── plot.png ├── lib ├── gtk │ ├── dune │ ├── gtkplot.ml │ ├── gtkplot.mli │ ├── gtkplot.zli │ ├── input.ml │ ├── input.zli │ ├── scope.zls │ ├── zlsrungtk.ml │ └── zlsrungtk.mli └── std │ ├── array.zli │ ├── basics.ml │ ├── basics.zli │ ├── char.zli │ ├── comparison.zli │ ├── comparison.zls │ ├── complex.zli │ ├── dump.zls │ ├── dune │ ├── graphics.zli │ ├── int32.zli │ ├── int64.zli │ ├── lift.ml │ ├── list.zli │ ├── nativeint.zli │ ├── node.zli │ ├── node_base.ml │ ├── random.zli │ ├── run.ml │ ├── run.zli │ ├── solvers │ ├── defaultsolver.nosundials.ml │ ├── defaultsolver.sundials.ml │ ├── illinois.ml │ ├── illinois.mli │ ├── node.nosundials.ml │ ├── node.sundials.ml │ ├── odexx.ml │ ├── solvers.nosundials.ml │ └── solvers.sundials.ml │ ├── stdlib.zli │ ├── string.zli │ ├── zls.ml │ ├── zlsolve.ml │ ├── zlsolve.mli │ ├── zlsrun.ml │ ├── zlsrun.mli │ └── ztypes.ml ├── man ├── Fig │ ├── bouncingball.pdf │ ├── bouncingball.png │ ├── from.fig │ ├── heater.eps │ ├── heater.fig │ ├── heater_control.eps │ ├── heater_control.fig │ ├── parallel_multiplier.eps │ ├── parallel_multiplier.fig │ ├── parallel_multiplier0.eps │ ├── parallel_multiplier0.fig │ ├── pendulum.eps │ ├── pendulum.fig │ ├── pipelined_multiplier.eps │ ├── pipelined_multiplier.fig │ ├── rewind.eps │ ├── rewind.fig │ ├── risingEdgeRetrigger.eps │ ├── risingEdgeRetrigger.pdf │ ├── risingEdgeRetrigger.ps │ ├── serial_multiplier.eps │ ├── serial_multiplier.fig │ └── serial_multiplier.pdf ├── Makefile ├── checklistings.hva ├── checklistings.sh ├── checklistings.sty ├── hevea.sty ├── mantosite.xsl ├── manual.tex ├── plainurl.bst ├── samples │ └── world.zli ├── synctoens.sh ├── zelus.bib └── zelus.hva ├── src └── ctests │ └── good │ └── t_3.zci ├── test ├── .gitignore ├── Makefile ├── bad │ ├── Makefile │ ├── t1.zls │ ├── t10.zls │ ├── t11.zls │ ├── t12.zls │ ├── t13.zls │ ├── t14.zls │ ├── t15.zls │ ├── t16.zls │ ├── t17.zls │ ├── t18.zls │ ├── t19.zls │ ├── t2.zls │ ├── t20.zls │ ├── t21.zls │ ├── t22.zls │ ├── t23.zls │ ├── t24.zls │ ├── t25.zls │ ├── t26.zls │ ├── t27.zls │ ├── t28.zls │ ├── t29.zls │ ├── t3.zls │ ├── t30.zls │ ├── t31.zls │ ├── t32.zls │ ├── t33.zls │ ├── t34.zls │ ├── t35.zls │ ├── t36.zls │ ├── t37.zls │ ├── t38.zls │ ├── t39.zls │ ├── t4.zls │ ├── t40.zls │ ├── t41.zls │ ├── t42.zls │ ├── t43.zls │ ├── t44.zls │ ├── t45.zls │ ├── t46.zls │ ├── t47.zls │ ├── t5.zls │ ├── t6.zls │ ├── t7.zls │ ├── t8.zls │ └── t9.zls ├── check ├── color ├── dune ├── good │ ├── Makefile │ ├── bug_reduce │ │ ├── Makefile │ │ ├── _tags │ │ ├── aux.zli │ │ ├── aux.zls │ │ └── bug.zls │ ├── t0.zls │ ├── t00.zls │ ├── t1.zls │ ├── t10.zls │ ├── t100.zls │ ├── t101.zls │ ├── t102.zls │ ├── t103.zls │ ├── t104.zls │ ├── t105.zls │ ├── t106.zls │ ├── t107.zls │ ├── t108.zls │ ├── t11.zls │ ├── t110.zls │ ├── t111.zls │ ├── t112.zls │ ├── t113.zls │ ├── t114.zls │ ├── t115.zls │ ├── t116.zls │ ├── t117.zls │ ├── t118.zls │ ├── t119.zls │ ├── t12.zls │ ├── t120.zls │ ├── t122.zls │ ├── t123.zls │ ├── t124.zls │ ├── t125.zls │ ├── t126.zls │ ├── t127.zls │ ├── t128.zls │ ├── t129.zls │ ├── t13.zls │ ├── t130.zls │ ├── t131.zls │ ├── t132.zls │ ├── t133.zls │ ├── t134.zls │ ├── t135.zls │ ├── t136.zls │ ├── t137.zls │ ├── t138.zls │ ├── t139.zls │ ├── t14.zls │ ├── t140.zls │ ├── t141.zls │ ├── t142.zls │ ├── t143.zls │ ├── t144.zls │ ├── t145.zls │ ├── t146.zls │ ├── t147.zls │ ├── t148.zls │ ├── t149.zls │ ├── t15.zls │ ├── t150.zls │ ├── t151.zls │ ├── t152.zls │ ├── t153.zls │ ├── t154.zls │ ├── t155.zls │ ├── t16.zls │ ├── t17.zls │ ├── t18.zls │ ├── t19.zls │ ├── t2.zls │ ├── t20.zls │ ├── t21.zls │ ├── t22.zls │ ├── t23.zls │ ├── t24.zls │ ├── t25.zls │ ├── t26.zls │ ├── t27.zls │ ├── t28.zls │ ├── t29.zls │ ├── t3.zls │ ├── t30.zls │ ├── t31.zls │ ├── t32.zls │ ├── t33.zls │ ├── t34.zls │ ├── t35.zls │ ├── t36.zls │ ├── t37.zls │ ├── t38.zls │ ├── t39.zls │ ├── t4.zls │ ├── t40.zls │ ├── t41.zls │ ├── t42.zls │ ├── t43.zls │ ├── t44.zls │ ├── t45.zls │ ├── t46.zls │ ├── t47.zls │ ├── t48.zls │ ├── t49.zls │ ├── t5.zls │ ├── t50.zls │ ├── t51.zls │ ├── t52.zls │ ├── t53.zls │ ├── t54.zls │ ├── t55.zls │ ├── t56.zls │ ├── t57.zls │ ├── t58.zls │ ├── t59.zls │ ├── t6.zls │ ├── t60.zls │ ├── t61.zls │ ├── t62.zls │ ├── t63.zls │ ├── t64.zls │ ├── t65.zls │ ├── t66.zls │ ├── t67.zls │ ├── t68.zls │ ├── t69.zls │ ├── t7.zls │ ├── t70.zls │ ├── t71.zls │ ├── t72.zls │ ├── t73.zls │ ├── t74.zls │ ├── t75.zls │ ├── t76.zls │ ├── t77.zls │ ├── t78.zls │ ├── t79.zls │ ├── t8.zls │ ├── t80.zls │ ├── t81.zls │ ├── t82.zls │ ├── t83.zls │ ├── t84.zls │ ├── t85.zls │ ├── t86.zls │ ├── t87.zls │ ├── t88.zls │ ├── t89.zls │ ├── t9.zls │ ├── t90.zls │ ├── t91.zls │ ├── t92.zls │ ├── t93.zls │ ├── t94.zls │ ├── t95.zls │ ├── t96.zls │ ├── t97.zls │ ├── t98.zls │ └── t99.zls ├── run │ ├── Makefile │ ├── t1.zls │ ├── t10.zls │ ├── t11.zls │ ├── t12.zls │ ├── t13.zls │ ├── t14.zls │ ├── t15.zls │ ├── t16.zls │ ├── t17.zls │ ├── t18.zls │ ├── t19.zls │ ├── t2.zls │ ├── t20.zls │ ├── t21.zls │ ├── t22.zls │ ├── t23.zls │ ├── t24.zls │ ├── t25.zls │ ├── t26.zls │ ├── t27.zls │ ├── t28.zls │ ├── t29.zls │ ├── t3.zls │ ├── t4.zls │ ├── t5.zls │ ├── t6.zls │ ├── t7.zls │ ├── t8.zls │ └── t9.zls └── test_runner.ml ├── tools ├── Makefile ├── diff_log.ml ├── dune ├── lst-zelus.tex ├── luciole_zls.ml ├── mat_to_text ├── plot_diff ├── plot_internals ├── plot_steps ├── printmodel.m ├── zelus.tmLanguage.json ├── zelus.vim ├── zlsdep.ml └── zltohtml.mll ├── www ├── Readme ├── bootstrap.txt ├── genhtml.sh ├── postproc.xsl ├── src │ ├── L1157425-cropped.jpg │ ├── L1157425.jpg │ ├── airplanes.xcf │ ├── backhoe.xcf │ ├── contact.html │ ├── download.html │ ├── examples.html │ ├── inc-header.html │ ├── inc-javascript.html │ ├── inc-links.html │ ├── inc-titlebar.html │ ├── index.html │ ├── papers.bib │ ├── papers.html │ ├── stickysprings.xcf │ └── variables.less ├── synctoens.sh └── www │ ├── contact.html │ ├── css │ ├── bootstrap-responsive.css │ ├── bootstrap-responsive.min.css │ ├── bootstrap.css │ ├── bootstrap.min.css │ ├── glyphicons.css │ ├── zelus-src.css │ └── zelus.css │ ├── download.html │ ├── examples.html │ ├── experiments.html │ ├── fonts │ ├── glyphicons-halflings-regular.eot │ ├── glyphicons-halflings-regular.svg │ ├── glyphicons-halflings-regular.ttf │ ├── glyphicons-halflings-regular.woff │ └── glyphicons-halflings-regular.woff2 │ ├── img │ ├── aircraft-model.png │ ├── aircraft-model@2x.png │ ├── aircraft-zones.png │ ├── aircraft-zones@2x.png │ ├── airplanes.jpg │ ├── backhoe.jpg │ ├── backhoeactuators.png │ ├── backhoeactuators@2x.png │ ├── backhoeloop.png │ ├── backhoeloop@2x.png │ ├── backhoesegmentauto.png │ ├── backhoesegmentauto@2x.png │ ├── backhoesensors.png │ ├── backhoesensors@2x.png │ ├── ball_spring.pdf │ ├── ball_spring.png │ ├── ball_spring@2x.png │ ├── ball_spring_plot.png │ ├── ball_spring_plot@2x.png │ ├── bangbang-graph.png │ ├── bangbang-graph@2x.png │ ├── bangbang-model.png │ ├── bangbang-model@2x.png │ ├── bouncingball.png │ ├── bouncingball@2x.png │ ├── ens.png │ ├── glyphicons-halflings-white.png │ ├── glyphicons-halflings.png │ ├── horloge.png │ ├── horloge@2x.png │ ├── inria.png │ ├── machine.jpg │ ├── machine@2x.jpg │ ├── soas-command.png │ ├── soas-command@2x.png │ ├── soas-filter.png │ ├── soas-filter@2x.png │ ├── soas-gainchanger.png │ ├── soas-gainchanger@2x.png │ ├── soas-model1.png │ ├── soas-model1@2x.png │ ├── soas-model2.png │ ├── soas-model2@2x.png │ ├── soas-model3.png │ ├── soas-model3@2x.png │ ├── soas-model4@2x.png │ ├── soas-output1.png │ ├── soas-output1@2x.png │ ├── soas-output2.png │ ├── soas-output2@2x.png │ ├── soas-output3.png │ ├── soas-output3@2x.png │ ├── soas-process.png │ ├── soas-process@2x.png │ ├── soas-relay1.png │ ├── soas-relay1@2x.png │ ├── soas-relay3.png │ ├── soas-relay3@2x.png │ ├── stickysprings.jpg │ ├── stickysprings.png │ ├── stickysprings@2x.png │ ├── watch.png │ ├── watch@2x.png │ ├── zelus.png │ └── zones.png │ ├── index.html │ ├── js │ ├── bootstrap.min.js │ ├── html5shiv.js │ └── jquery.js │ ├── papers.html │ └── papers_bib.html ├── zelus-gtk.opam ├── zelus.docker └── zelus.opam /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/opam.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/.github/workflows/opam.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode 2 | *~ 3 | *.exe 4 | *.bc 5 | .merlin 6 | zconfig.ml 7 | _build/ 8 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | profile=compact -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- 1 | Timothy Bourke 2 | Marc Pouzet 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/README.md -------------------------------------------------------------------------------- /compiler/.ocp-indent: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/.ocp-indent -------------------------------------------------------------------------------- /compiler/analysis/causal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/analysis/causal.ml -------------------------------------------------------------------------------- /compiler/analysis/causality.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/analysis/causality.ml -------------------------------------------------------------------------------- /compiler/analysis/init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/analysis/init.ml -------------------------------------------------------------------------------- /compiler/analysis/initialization.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/analysis/initialization.ml -------------------------------------------------------------------------------- /compiler/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/dune -------------------------------------------------------------------------------- /compiler/gencode/inout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/inout.ml -------------------------------------------------------------------------------- /compiler/gencode/oaux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/oaux.ml -------------------------------------------------------------------------------- /compiler/gencode/obc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/obc.ml -------------------------------------------------------------------------------- /compiler/gencode/ocamlprinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/ocamlprinter.ml -------------------------------------------------------------------------------- /compiler/gencode/oprinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/oprinter.ml -------------------------------------------------------------------------------- /compiler/gencode/translate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/gencode/translate.ml -------------------------------------------------------------------------------- /compiler/global/defcaus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/defcaus.ml -------------------------------------------------------------------------------- /compiler/global/definit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/definit.ml -------------------------------------------------------------------------------- /compiler/global/deftypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/deftypes.ml -------------------------------------------------------------------------------- /compiler/global/deps_tools.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/deps_tools.ml -------------------------------------------------------------------------------- /compiler/global/global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/global.ml -------------------------------------------------------------------------------- /compiler/global/graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/graph.ml -------------------------------------------------------------------------------- /compiler/global/initial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/initial.ml -------------------------------------------------------------------------------- /compiler/global/lident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/lident.ml -------------------------------------------------------------------------------- /compiler/global/modules.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/modules.ml -------------------------------------------------------------------------------- /compiler/global/pcaus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/pcaus.ml -------------------------------------------------------------------------------- /compiler/global/pinit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/pinit.ml -------------------------------------------------------------------------------- /compiler/global/pp_tools.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/pp_tools.ml -------------------------------------------------------------------------------- /compiler/global/printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/printer.ml -------------------------------------------------------------------------------- /compiler/global/ptypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/ptypes.ml -------------------------------------------------------------------------------- /compiler/global/scoping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/scoping.ml -------------------------------------------------------------------------------- /compiler/global/vars.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/vars.ml -------------------------------------------------------------------------------- /compiler/global/zaux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/zaux.ml -------------------------------------------------------------------------------- /compiler/global/zelus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/zelus.ml -------------------------------------------------------------------------------- /compiler/global/zident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/zident.ml -------------------------------------------------------------------------------- /compiler/global/zlocation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/zlocation.ml -------------------------------------------------------------------------------- /compiler/global/zmisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/global/zmisc.ml -------------------------------------------------------------------------------- /compiler/main/compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/main/compiler.ml -------------------------------------------------------------------------------- /compiler/main/fixstep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/main/fixstep.ml -------------------------------------------------------------------------------- /compiler/main/simulator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/main/simulator.ml -------------------------------------------------------------------------------- /compiler/main/zeluc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/main/zeluc.ml -------------------------------------------------------------------------------- /compiler/parsing/zdepend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/parsing/zdepend.ml -------------------------------------------------------------------------------- /compiler/parsing/zlexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/parsing/zlexer.mll -------------------------------------------------------------------------------- /compiler/parsing/zparser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/parsing/zparser.mly -------------------------------------------------------------------------------- /compiler/parsing/zparsetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/parsing/zparsetree.ml -------------------------------------------------------------------------------- /compiler/rewrite/activate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/activate.ml -------------------------------------------------------------------------------- /compiler/rewrite/add_copy_for_last.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/add_copy_for_last.ml -------------------------------------------------------------------------------- /compiler/rewrite/aform.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/aform.ml -------------------------------------------------------------------------------- /compiler/rewrite/automata.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/automata.ml -------------------------------------------------------------------------------- /compiler/rewrite/complete.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/complete.ml -------------------------------------------------------------------------------- /compiler/rewrite/control.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/control.ml -------------------------------------------------------------------------------- /compiler/rewrite/copy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/copy.ml -------------------------------------------------------------------------------- /compiler/rewrite/cost.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/cost.ml -------------------------------------------------------------------------------- /compiler/rewrite/cse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/cse.ml -------------------------------------------------------------------------------- /compiler/rewrite/dependences.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/dependences.ml -------------------------------------------------------------------------------- /compiler/rewrite/disc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/disc.ml -------------------------------------------------------------------------------- /compiler/rewrite/encore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/encore.ml -------------------------------------------------------------------------------- /compiler/rewrite/horizon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/horizon.ml -------------------------------------------------------------------------------- /compiler/rewrite/inline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/inline.ml -------------------------------------------------------------------------------- /compiler/rewrite/letin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/letin.ml -------------------------------------------------------------------------------- /compiler/rewrite/markfunctions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/markfunctions.ml -------------------------------------------------------------------------------- /compiler/rewrite/period.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/period.ml -------------------------------------------------------------------------------- /compiler/rewrite/pre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/pre.ml -------------------------------------------------------------------------------- /compiler/rewrite/present.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/present.ml -------------------------------------------------------------------------------- /compiler/rewrite/proba.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/proba.ml -------------------------------------------------------------------------------- /compiler/rewrite/reduce.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/reduce.ml -------------------------------------------------------------------------------- /compiler/rewrite/remove_last_in_patterns.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/remove_last_in_patterns.ml -------------------------------------------------------------------------------- /compiler/rewrite/reset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/reset.ml -------------------------------------------------------------------------------- /compiler/rewrite/schedule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/schedule.ml -------------------------------------------------------------------------------- /compiler/rewrite/shared.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/shared.ml -------------------------------------------------------------------------------- /compiler/rewrite/static.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/static.ml -------------------------------------------------------------------------------- /compiler/rewrite/unsafe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/unsafe.ml -------------------------------------------------------------------------------- /compiler/rewrite/write.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/write.ml -------------------------------------------------------------------------------- /compiler/rewrite/zdeadcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/zdeadcode.ml -------------------------------------------------------------------------------- /compiler/rewrite/zopt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/rewrite/zopt.ml -------------------------------------------------------------------------------- /compiler/typing/interface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/interface.ml -------------------------------------------------------------------------------- /compiler/typing/patternsig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/patternsig.ml -------------------------------------------------------------------------------- /compiler/typing/total.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/total.ml -------------------------------------------------------------------------------- /compiler/typing/typerrors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/typerrors.ml -------------------------------------------------------------------------------- /compiler/typing/typing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/typing.ml -------------------------------------------------------------------------------- /compiler/typing/zmatching.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/zmatching.ml -------------------------------------------------------------------------------- /compiler/typing/ztypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/typing/ztypes.ml -------------------------------------------------------------------------------- /compiler/verif/lmm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/verif/lmm.ml -------------------------------------------------------------------------------- /compiler/verif/match2condition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/verif/match2condition.ml -------------------------------------------------------------------------------- /compiler/verif/plmm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/verif/plmm.ml -------------------------------------------------------------------------------- /compiler/verif/tuple2record.orphan.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/verif/tuple2record.orphan.ml -------------------------------------------------------------------------------- /compiler/verif/zlus2lmm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/compiler/verif/zlus2lmm.ml -------------------------------------------------------------------------------- /config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/config.ml -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/configure -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/dune-project -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/airtraffic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/Makefile -------------------------------------------------------------------------------- /examples/airtraffic/a330-simple.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/a330-simple.svg -------------------------------------------------------------------------------- /examples/airtraffic/a330.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/a330.ml -------------------------------------------------------------------------------- /examples/airtraffic/a330.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/a330.svg -------------------------------------------------------------------------------- /examples/airtraffic/airtraffic.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtraffic.zls -------------------------------------------------------------------------------- /examples/airtraffic/airtrafficgui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtrafficgui.ml -------------------------------------------------------------------------------- /examples/airtraffic/airtrafficgui.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtrafficgui.mli -------------------------------------------------------------------------------- /examples/airtraffic/airtrafficgui.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtrafficgui.zli -------------------------------------------------------------------------------- /examples/airtraffic/airtrafficrot.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtrafficrot.zls -------------------------------------------------------------------------------- /examples/airtraffic/airtraffictpb.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/airtraffictpb.zls -------------------------------------------------------------------------------- /examples/airtraffic/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/dune -------------------------------------------------------------------------------- /examples/airtraffic/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/airtraffic/img/aircraft-model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/img/aircraft-model.png -------------------------------------------------------------------------------- /examples/airtraffic/img/aircraft-model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/img/aircraft-model.svg -------------------------------------------------------------------------------- /examples/airtraffic/img/aircraft-zones.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/img/aircraft-zones.png -------------------------------------------------------------------------------- /examples/airtraffic/img/aircraft-zones.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/img/aircraft-zones.svg -------------------------------------------------------------------------------- /examples/airtraffic/img/zones.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/img/zones.png -------------------------------------------------------------------------------- /examples/airtraffic/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/readme.md -------------------------------------------------------------------------------- /examples/airtraffic/simplevector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/simplevector.ml -------------------------------------------------------------------------------- /examples/airtraffic/slides/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/Makefile -------------------------------------------------------------------------------- /examples/airtraffic/slides/figures/a330.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/figures/a330.pdf -------------------------------------------------------------------------------- /examples/airtraffic/slides/lst-hybrid.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/lst-hybrid.tex -------------------------------------------------------------------------------- /examples/airtraffic/slides/slides.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/slides.bib -------------------------------------------------------------------------------- /examples/airtraffic/slides/slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/slides.pdf -------------------------------------------------------------------------------- /examples/airtraffic/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/slides/slides.tex -------------------------------------------------------------------------------- /examples/airtraffic/svgtoocaml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/airtraffic/svgtoocaml.py -------------------------------------------------------------------------------- /examples/arch-comp19/f16/controlledf16.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/controlledf16.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/controlledf16.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/controlledf16.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/controlledf16.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/controlledf16.zci -------------------------------------------------------------------------------- /examples/arch-comp19/f16/gcasAutopilot.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/gcasAutopilot.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/gcasAutopilot.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/gcasAutopilot.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/gcasAutopilot.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/gcasAutopilot.zci -------------------------------------------------------------------------------- /examples/arch-comp19/f16/matrix.annot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/matrix.annot -------------------------------------------------------------------------------- /examples/arch-comp19/f16/matrix.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/matrix.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/matrix.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/matrix.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/matrix.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/matrix.zci -------------------------------------------------------------------------------- /examples/arch-comp19/f16/subf16_model.annot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/subf16_model.annot -------------------------------------------------------------------------------- /examples/arch-comp19/f16/subf16_model.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/subf16_model.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/subf16_model.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/subf16_model.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/subf16_model.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/subf16_model.zci -------------------------------------------------------------------------------- /examples/arch-comp19/f16/types.annot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/types.annot -------------------------------------------------------------------------------- /examples/arch-comp19/f16/types.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/types.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/types.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/types.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/types.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/types.zci -------------------------------------------------------------------------------- /examples/arch-comp19/f16/utils.annot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/utils.annot -------------------------------------------------------------------------------- /examples/arch-comp19/f16/utils.cmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/utils.cmi -------------------------------------------------------------------------------- /examples/arch-comp19/f16/utils.cmo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/utils.cmo -------------------------------------------------------------------------------- /examples/arch-comp19/f16/utils.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/arch-comp19/f16/utils.zci -------------------------------------------------------------------------------- /examples/backhoe/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/Makefile -------------------------------------------------------------------------------- /examples/backhoe/backhoecontrol.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/backhoecontrol.zls -------------------------------------------------------------------------------- /examples/backhoe/backhoedyn.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/backhoedyn.zls -------------------------------------------------------------------------------- /examples/backhoe/backhoegui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/backhoegui.ml -------------------------------------------------------------------------------- /examples/backhoe/backhoegui.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/backhoegui.mli -------------------------------------------------------------------------------- /examples/backhoe/backhoegui.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/backhoegui.zli -------------------------------------------------------------------------------- /examples/backhoe/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/dune -------------------------------------------------------------------------------- /examples/backhoe/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/backhoe/exercise/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/exercise/Makefile -------------------------------------------------------------------------------- /examples/backhoe/exercise/backhoe.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/exercise/backhoe.bib -------------------------------------------------------------------------------- /examples/backhoe/exercise/backhoe.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/exercise/backhoe.pdf -------------------------------------------------------------------------------- /examples/backhoe/exercise/backhoe.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/exercise/backhoe.tex -------------------------------------------------------------------------------- /examples/backhoe/img/backhoeactuators.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoeactuators.png -------------------------------------------------------------------------------- /examples/backhoe/img/backhoeloop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoeloop.png -------------------------------------------------------------------------------- /examples/backhoe/img/backhoeloop@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoeloop@2x.png -------------------------------------------------------------------------------- /examples/backhoe/img/backhoesegmentauto.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoesegmentauto.png -------------------------------------------------------------------------------- /examples/backhoe/img/backhoesensors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoesensors.png -------------------------------------------------------------------------------- /examples/backhoe/img/backhoesensors@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/img/backhoesensors@2x.png -------------------------------------------------------------------------------- /examples/backhoe/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/readme.md -------------------------------------------------------------------------------- /examples/backhoe/slides/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/slides/Makefile -------------------------------------------------------------------------------- /examples/backhoe/slides/slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/slides/slides.pdf -------------------------------------------------------------------------------- /examples/backhoe/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/backhoe/slides/slides.tex -------------------------------------------------------------------------------- /examples/ball_spring/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/Makefile -------------------------------------------------------------------------------- /examples/ball_spring/ball_spring.gplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/ball_spring.gplot -------------------------------------------------------------------------------- /examples/ball_spring/ball_spring.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/ball_spring.zls -------------------------------------------------------------------------------- /examples/ball_spring/ball_spring_png.gplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/ball_spring_png.gplot -------------------------------------------------------------------------------- /examples/ball_spring/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/dune -------------------------------------------------------------------------------- /examples/ball_spring/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/ball_spring/img/ball_spring.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/img/ball_spring.pdf -------------------------------------------------------------------------------- /examples/ball_spring/img/ball_spring.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/img/ball_spring.png -------------------------------------------------------------------------------- /examples/ball_spring/img/ball_spring@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/img/ball_spring@2x.png -------------------------------------------------------------------------------- /examples/ball_spring/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ball_spring/readme.md -------------------------------------------------------------------------------- /examples/bangbang/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/Makefile -------------------------------------------------------------------------------- /examples/bangbang/bangbang.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/bangbang.zls -------------------------------------------------------------------------------- /examples/bangbang/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/dune -------------------------------------------------------------------------------- /examples/bangbang/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/bangbang/img/bangbang-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/img/bangbang-graph.png -------------------------------------------------------------------------------- /examples/bangbang/img/bangbang-graph@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/img/bangbang-graph@2x.png -------------------------------------------------------------------------------- /examples/bangbang/img/bangbang-model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/img/bangbang-model.png -------------------------------------------------------------------------------- /examples/bangbang/img/bangbang-model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/img/bangbang-model.svg -------------------------------------------------------------------------------- /examples/bangbang/img/bangbang-model@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/img/bangbang-model@2x.png -------------------------------------------------------------------------------- /examples/bangbang/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bangbang/readme.md -------------------------------------------------------------------------------- /examples/beginner/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/Makefile -------------------------------------------------------------------------------- /examples/beginner/abro.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/abro.zls -------------------------------------------------------------------------------- /examples/beginner/button.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/button.zls -------------------------------------------------------------------------------- /examples/beginner/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/dune -------------------------------------------------------------------------------- /examples/beginner/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/beginner/hermes.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/hermes.zls -------------------------------------------------------------------------------- /examples/beginner/switch.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/beginner/switch.zls -------------------------------------------------------------------------------- /examples/billiard/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/Makefile -------------------------------------------------------------------------------- /examples/billiard/billiard1d.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard1d.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex1.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex2.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex3.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex4.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex4.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex4b.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex4b.zls -------------------------------------------------------------------------------- /examples/billiard/billiard_ex5.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/billiard_ex5.zls -------------------------------------------------------------------------------- /examples/billiard/doityourself.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/doityourself.zls -------------------------------------------------------------------------------- /examples/billiard/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/dune -------------------------------------------------------------------------------- /examples/billiard/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/billiard/problems.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/problems.zls -------------------------------------------------------------------------------- /examples/billiard/problems2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/billiard/problems2.zls -------------------------------------------------------------------------------- /examples/bouncingball/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/Makefile -------------------------------------------------------------------------------- /examples/bouncingball/autoball.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/autoball.zls -------------------------------------------------------------------------------- /examples/bouncingball/ball.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/ball.zls -------------------------------------------------------------------------------- /examples/bouncingball/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/dune -------------------------------------------------------------------------------- /examples/bouncingball/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/bouncingball/flatball.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/flatball.zls -------------------------------------------------------------------------------- /examples/bouncingball/flatworld.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/flatworld.ml -------------------------------------------------------------------------------- /examples/bouncingball/flatworld.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/flatworld.mli -------------------------------------------------------------------------------- /examples/bouncingball/flatworld.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/flatworld.zli -------------------------------------------------------------------------------- /examples/bouncingball/img/bouncingball.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/img/bouncingball.png -------------------------------------------------------------------------------- /examples/bouncingball/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/readme.md -------------------------------------------------------------------------------- /examples/bouncingball/show.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/show.mli -------------------------------------------------------------------------------- /examples/bouncingball/show.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/show.zli -------------------------------------------------------------------------------- /examples/bouncingball/showball.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/showball.ml -------------------------------------------------------------------------------- /examples/bouncingball/showball.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/showball.mli -------------------------------------------------------------------------------- /examples/bouncingball/showball.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/showball.zli -------------------------------------------------------------------------------- /examples/bouncingball/world.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/world.ml -------------------------------------------------------------------------------- /examples/bouncingball/world.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/world.mli -------------------------------------------------------------------------------- /examples/bouncingball/world.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/bouncingball/world.zli -------------------------------------------------------------------------------- /examples/boxes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/boxes/Makefile -------------------------------------------------------------------------------- /examples/boxes/boxes.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/boxes/boxes.zls -------------------------------------------------------------------------------- /examples/boxes/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/boxes/dune -------------------------------------------------------------------------------- /examples/boxes/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/boxes/showboxes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/boxes/showboxes.ml -------------------------------------------------------------------------------- /examples/boxes/showboxes.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/boxes/showboxes.zli -------------------------------------------------------------------------------- /examples/cantharide/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/Makefile -------------------------------------------------------------------------------- /examples/cantharide/cantharide.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide.mdl -------------------------------------------------------------------------------- /examples/cantharide/cantharide1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide1.zls -------------------------------------------------------------------------------- /examples/cantharide/cantharide2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide2.zls -------------------------------------------------------------------------------- /examples/cantharide/cantharide3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide3.zls -------------------------------------------------------------------------------- /examples/cantharide/cantharide4.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide4.zls -------------------------------------------------------------------------------- /examples/cantharide/cantharide_ifthen.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/cantharide_ifthen.mdl -------------------------------------------------------------------------------- /examples/cantharide/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/dune -------------------------------------------------------------------------------- /examples/cantharide/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/cantharide/fly.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/fly.zls -------------------------------------------------------------------------------- /examples/cantharide/slides/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/Makefile -------------------------------------------------------------------------------- /examples/cantharide/slides/ens.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/ens.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/fly.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/fly.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/greencar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/greencar.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/inria-en.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/inria-en.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/plot_fly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/plot_fly -------------------------------------------------------------------------------- /examples/cantharide/slides/printmodel.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/printmodel.m -------------------------------------------------------------------------------- /examples/cantharide/slides/redcar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/redcar.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/simulink.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/simulink.log -------------------------------------------------------------------------------- /examples/cantharide/slides/simulink.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/simulink.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/siunitx.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/siunitx.sty -------------------------------------------------------------------------------- /examples/cantharide/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/slides.tex -------------------------------------------------------------------------------- /examples/cantharide/slides/spain.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/spain.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/synchron2013.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/synchron2013.bib -------------------------------------------------------------------------------- /examples/cantharide/slides/synchron2013.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/synchron2013.tex -------------------------------------------------------------------------------- /examples/cantharide/slides/zelus-zoom.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/zelus-zoom.pdf -------------------------------------------------------------------------------- /examples/cantharide/slides/zelus.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/zelus.log -------------------------------------------------------------------------------- /examples/cantharide/slides/zelus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cantharide/slides/zelus.pdf -------------------------------------------------------------------------------- /examples/clutch_engagement/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/Makefile -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch.plt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch.plt -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch_diff.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch_diff.zls -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch_graph.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch_graph.pdf -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch_gui.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch_gui.zls -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch_log.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch_log.zls -------------------------------------------------------------------------------- /examples/clutch_engagement/clutch_model.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/clutch_model.zls -------------------------------------------------------------------------------- /examples/clutch_engagement/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/dune -------------------------------------------------------------------------------- /examples/clutch_engagement/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/clutch_engagement/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/clutch_engagement/notes.txt -------------------------------------------------------------------------------- /examples/clutch_engagement/simulink/ode3.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/clutch_engagement/simulink/ode3.pdf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/coffee/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/coffee/Makefile -------------------------------------------------------------------------------- /examples/coffee/coffee.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/coffee/coffee.zls -------------------------------------------------------------------------------- /examples/coffee/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/coffee/dune -------------------------------------------------------------------------------- /examples/coffee/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/controlled_mass_spring/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/controlled_mass_spring/Makefile -------------------------------------------------------------------------------- /examples/controlled_mass_spring/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/controlled_mass_spring/dune -------------------------------------------------------------------------------- /examples/controlled_mass_spring/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/cradle/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/Makefile -------------------------------------------------------------------------------- /examples/cradle/cradle2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle2.zls -------------------------------------------------------------------------------- /examples/cradle/cradle2bool.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle2bool.zls -------------------------------------------------------------------------------- /examples/cradle/cradle3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle3.zls -------------------------------------------------------------------------------- /examples/cradle/cradle3bool.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle3bool.zls -------------------------------------------------------------------------------- /examples/cradle/cradle3soft.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle3soft.zls -------------------------------------------------------------------------------- /examples/cradle/cradle4bool.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle4bool.zls -------------------------------------------------------------------------------- /examples/cradle/cradle_modular.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/cradle_modular.zls -------------------------------------------------------------------------------- /examples/cradle/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/dune -------------------------------------------------------------------------------- /examples/cradle/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/cradle/notes_cradle.text: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/cradle/notes_cradle.text -------------------------------------------------------------------------------- /examples/db_intgr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/db_intgr/Makefile -------------------------------------------------------------------------------- /examples/db_intgr/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/db_intgr/dune -------------------------------------------------------------------------------- /examples/db_intgr/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/db_intgr/plot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/db_intgr/plot.png -------------------------------------------------------------------------------- /examples/db_intgr/test.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/db_intgr/test.zls -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/dune -------------------------------------------------------------------------------- /examples/engine/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/engine/Makefile -------------------------------------------------------------------------------- /examples/engine/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/engine/dune -------------------------------------------------------------------------------- /examples/engine/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/engine/engine.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/engine/engine.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/Makefile -------------------------------------------------------------------------------- /examples/fuelcontroller/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/README -------------------------------------------------------------------------------- /examples/fuelcontroller/dumpnode.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/dumpnode.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/dune -------------------------------------------------------------------------------- /examples/fuelcontroller/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_common.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_common.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_common.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_common.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_data.ml -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_data.mli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_data.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_data.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_engine.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_engine.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_engine.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_engine.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_logic.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_logic.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_logic.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_logic.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_subsys.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_subsys.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/fuelc_subsys.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/fuelc_subsys.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/library.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/library.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/library.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/library.zls -------------------------------------------------------------------------------- /examples/fuelcontroller/lookup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/lookup.ml -------------------------------------------------------------------------------- /examples/fuelcontroller/lookup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/lookup.mli -------------------------------------------------------------------------------- /examples/fuelcontroller/lookup.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/lookup.zli -------------------------------------------------------------------------------- /examples/fuelcontroller/mlmisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/mlmisc.ml -------------------------------------------------------------------------------- /examples/fuelcontroller/mlmisc.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/fuelcontroller/mlmisc.zli -------------------------------------------------------------------------------- /examples/heater/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/Makefile -------------------------------------------------------------------------------- /examples/heater/constants.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/constants.zls -------------------------------------------------------------------------------- /examples/heater/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/dune -------------------------------------------------------------------------------- /examples/heater/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/heater/heat.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/heat.zls -------------------------------------------------------------------------------- /examples/heater/heatc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/heatc.zls -------------------------------------------------------------------------------- /examples/heater/heatdc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/heatdc.zls -------------------------------------------------------------------------------- /examples/heater/io.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/io.zls -------------------------------------------------------------------------------- /examples/heater/main_heat.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/main_heat.zls -------------------------------------------------------------------------------- /examples/heater/main_heatc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/main_heatc.zls -------------------------------------------------------------------------------- /examples/heater/main_heatdc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/main_heatdc.zls -------------------------------------------------------------------------------- /examples/heater/observers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/observers.ml -------------------------------------------------------------------------------- /examples/heater/observers.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/observers.zls -------------------------------------------------------------------------------- /examples/heater/test_heat.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/heater/test_heat.zls -------------------------------------------------------------------------------- /examples/higher_order/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/higher_order/Makefile -------------------------------------------------------------------------------- /examples/higher_order/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/higher_order/dune -------------------------------------------------------------------------------- /examples/higher_order/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/higher_order/updown.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/higher_order/updown.zls -------------------------------------------------------------------------------- /examples/horloge/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/Makefile -------------------------------------------------------------------------------- /examples/horloge/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/draw.ml -------------------------------------------------------------------------------- /examples/horloge/draw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/draw.mli -------------------------------------------------------------------------------- /examples/horloge/draw.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/draw.zli -------------------------------------------------------------------------------- /examples/horloge/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/dune -------------------------------------------------------------------------------- /examples/horloge/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/horloge/horloge.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/horloge.zls -------------------------------------------------------------------------------- /examples/horloge/img/horloge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/img/horloge.png -------------------------------------------------------------------------------- /examples/horloge/img/horloge@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/img/horloge@2x.png -------------------------------------------------------------------------------- /examples/horloge/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/horloge/readme.md -------------------------------------------------------------------------------- /examples/lane_change_maneuver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/Makefile -------------------------------------------------------------------------------- /examples/lane_change_maneuver/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/README.md -------------------------------------------------------------------------------- /examples/lane_change_maneuver/constants.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/constants.ml -------------------------------------------------------------------------------- /examples/lane_change_maneuver/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/draw.ml -------------------------------------------------------------------------------- /examples/lane_change_maneuver/draw.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/draw.zli -------------------------------------------------------------------------------- /examples/lane_change_maneuver/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/dune -------------------------------------------------------------------------------- /examples/lane_change_maneuver/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/lane_change_maneuver/leader.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/leader.zls -------------------------------------------------------------------------------- /examples/lane_change_maneuver/noise.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/noise.zls -------------------------------------------------------------------------------- /examples/lane_change_maneuver/rear.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/rear.zls -------------------------------------------------------------------------------- /examples/lane_change_maneuver/simu.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/lane_change_maneuver/simu.zls -------------------------------------------------------------------------------- /examples/ltta/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/Makefile -------------------------------------------------------------------------------- /examples/ltta/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/dune -------------------------------------------------------------------------------- /examples/ltta/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/ltta/ltta.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/ltta.zls -------------------------------------------------------------------------------- /examples/ltta/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/misc.ml -------------------------------------------------------------------------------- /examples/ltta/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/misc.mli -------------------------------------------------------------------------------- /examples/ltta/misc.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/ltta/misc.zli -------------------------------------------------------------------------------- /examples/misc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/Makefile -------------------------------------------------------------------------------- /examples/misc/count.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/count.zls -------------------------------------------------------------------------------- /examples/misc/derivative.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/derivative.zls -------------------------------------------------------------------------------- /examples/misc/discontinuity.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/discontinuity.zls -------------------------------------------------------------------------------- /examples/misc/div_by_zero.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/div_by_zero.zls -------------------------------------------------------------------------------- /examples/misc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/dune -------------------------------------------------------------------------------- /examples/misc/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/misc/euler_forward_error.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/euler_forward_error.zls -------------------------------------------------------------------------------- /examples/misc/hardstop_integr.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/hardstop_integr.zls -------------------------------------------------------------------------------- /examples/misc/heatingh20.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/heatingh20.zls -------------------------------------------------------------------------------- /examples/misc/hybridaut.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/hybridaut.zls -------------------------------------------------------------------------------- /examples/misc/input_window.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/input_window.zls -------------------------------------------------------------------------------- /examples/misc/instable.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/instable.zls -------------------------------------------------------------------------------- /examples/misc/int_of_float.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/int_of_float.zls -------------------------------------------------------------------------------- /examples/misc/integrales_compliquees.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/integrales_compliquees.zls -------------------------------------------------------------------------------- /examples/misc/khalil.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/khalil.zls -------------------------------------------------------------------------------- /examples/misc/match_seesaw.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/match_seesaw.zls -------------------------------------------------------------------------------- /examples/misc/ode_non_lipshitz.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/ode_non_lipshitz.zls -------------------------------------------------------------------------------- /examples/misc/sincos.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/sincos.zls -------------------------------------------------------------------------------- /examples/misc/sliding.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/sliding.zls -------------------------------------------------------------------------------- /examples/misc/sqrt.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/sqrt.zls -------------------------------------------------------------------------------- /examples/misc/suspend01.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/suspend01.zls -------------------------------------------------------------------------------- /examples/misc/tabledep.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/tabledep.zls -------------------------------------------------------------------------------- /examples/misc/unsafe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/unsafe.ml -------------------------------------------------------------------------------- /examples/misc/unsafe.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/unsafe.zli -------------------------------------------------------------------------------- /examples/misc/updown.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/updown.zls -------------------------------------------------------------------------------- /examples/misc/water.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/water.zls -------------------------------------------------------------------------------- /examples/misc/ysquared.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/ysquared.zls -------------------------------------------------------------------------------- /examples/misc/zero.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/misc/zero.zls -------------------------------------------------------------------------------- /examples/pendulum/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/Makefile -------------------------------------------------------------------------------- /examples/pendulum/aux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/aux.ml -------------------------------------------------------------------------------- /examples/pendulum/aux.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/aux.zli -------------------------------------------------------------------------------- /examples/pendulum/data.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/data.zls -------------------------------------------------------------------------------- /examples/pendulum/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/dune -------------------------------------------------------------------------------- /examples/pendulum/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/pendulum/misc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/misc.zls -------------------------------------------------------------------------------- /examples/pendulum/pendulum.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pendulum/pendulum.zls -------------------------------------------------------------------------------- /examples/pi_calculator/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pi_calculator/Makefile -------------------------------------------------------------------------------- /examples/pi_calculator/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pi_calculator/dune -------------------------------------------------------------------------------- /examples/pi_calculator/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/pi_calculator/pi_calculator.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pi_calculator/pi_calculator.zls -------------------------------------------------------------------------------- /examples/pong/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pong/Makefile -------------------------------------------------------------------------------- /examples/pong/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pong/dune -------------------------------------------------------------------------------- /examples/pong/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/pong/pong.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/pong/pong.zls -------------------------------------------------------------------------------- /examples/potential_examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/potential_examples -------------------------------------------------------------------------------- /examples/power/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/power/Makefile -------------------------------------------------------------------------------- /examples/power/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/power/dune -------------------------------------------------------------------------------- /examples/power/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/power/power.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/power/power.zls -------------------------------------------------------------------------------- /examples/power/powerV1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/power/powerV1.zls -------------------------------------------------------------------------------- /examples/push_pull_streams/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/push_pull_streams/Makefile -------------------------------------------------------------------------------- /examples/push_pull_streams/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/push_pull_streams/dune -------------------------------------------------------------------------------- /examples/push_pull_streams/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/push_pull_streams/join.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/push_pull_streams/join.zls -------------------------------------------------------------------------------- /examples/qss/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/qss/Makefile -------------------------------------------------------------------------------- /examples/qss/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/qss/dune -------------------------------------------------------------------------------- /examples/qss/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/qss/qss1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/qss/qss1.zls -------------------------------------------------------------------------------- /examples/qss/qss2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/qss/qss2.zls -------------------------------------------------------------------------------- /examples/rosace/scadehybrid/consts.scade: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/rosace/scadehybrid/consts.scade -------------------------------------------------------------------------------- /examples/soas_relaycontrol/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/soas_relaycontrol/Makefile -------------------------------------------------------------------------------- /examples/soas_relaycontrol/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/soas_relaycontrol/dune -------------------------------------------------------------------------------- /examples/soas_relaycontrol/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/soas_relaycontrol/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/soas_relaycontrol/readme.md -------------------------------------------------------------------------------- /examples/soas_relaycontrol/soas.gplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/soas_relaycontrol/soas.gplot -------------------------------------------------------------------------------- /examples/soas_relaycontrol/soas.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/soas_relaycontrol/soas.zls -------------------------------------------------------------------------------- /examples/stick_slip/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stick_slip/Makefile -------------------------------------------------------------------------------- /examples/stick_slip/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stick_slip/dune -------------------------------------------------------------------------------- /examples/stick_slip/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/stick_slip/stick_slip.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stick_slip/stick_slip.zls -------------------------------------------------------------------------------- /examples/stick_slip_friction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stick_slip_friction/Makefile -------------------------------------------------------------------------------- /examples/stick_slip_friction/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stick_slip_friction/dune -------------------------------------------------------------------------------- /examples/stick_slip_friction/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/stickysprings/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/Makefile -------------------------------------------------------------------------------- /examples/stickysprings/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/dune -------------------------------------------------------------------------------- /examples/stickysprings/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/stickysprings/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/readme.md -------------------------------------------------------------------------------- /examples/stickysprings/stickysprings.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/stickysprings.zls -------------------------------------------------------------------------------- /examples/stickysprings/testworld.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/testworld.ml -------------------------------------------------------------------------------- /examples/stickysprings/world.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/world.ml -------------------------------------------------------------------------------- /examples/stickysprings/world.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/world.mli -------------------------------------------------------------------------------- /examples/stickysprings/world.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/stickysprings/world.zli -------------------------------------------------------------------------------- /examples/suspension/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/suspension/Makefile -------------------------------------------------------------------------------- /examples/suspension/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/suspension/dune -------------------------------------------------------------------------------- /examples/suspension/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/suspension/notes_suspension.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/suspension/notes_suspension.txt -------------------------------------------------------------------------------- /examples/suspension/suspension.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/suspension/suspension.zls -------------------------------------------------------------------------------- /examples/timing_test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/Makefile -------------------------------------------------------------------------------- /examples/timing_test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/dune -------------------------------------------------------------------------------- /examples/timing_test/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/timing_test/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/misc.ml -------------------------------------------------------------------------------- /examples/timing_test/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/misc.mli -------------------------------------------------------------------------------- /examples/timing_test/misc.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/misc.zli -------------------------------------------------------------------------------- /examples/timing_test/timing_test.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/timing_test/timing_test.zls -------------------------------------------------------------------------------- /examples/van_der_pol/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/van_der_pol/Makefile -------------------------------------------------------------------------------- /examples/van_der_pol/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/van_der_pol/dune -------------------------------------------------------------------------------- /examples/van_der_pol/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/van_der_pol/van_der_pol.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/van_der_pol/van_der_pol.zls -------------------------------------------------------------------------------- /examples/watch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/Makefile -------------------------------------------------------------------------------- /examples/watch/draw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/draw.ml -------------------------------------------------------------------------------- /examples/watch/draw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/draw.mli -------------------------------------------------------------------------------- /examples/watch/draw.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/draw.zli -------------------------------------------------------------------------------- /examples/watch/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/dune -------------------------------------------------------------------------------- /examples/watch/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/watch/img/watch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/img/watch.png -------------------------------------------------------------------------------- /examples/watch/img/watch@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/img/watch@2x.png -------------------------------------------------------------------------------- /examples/watch/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/readme.md -------------------------------------------------------------------------------- /examples/watch/watch.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/watch/watch.zls -------------------------------------------------------------------------------- /examples/zener_diode/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/zener_diode/Makefile -------------------------------------------------------------------------------- /examples/zener_diode/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/zener_diode/dune -------------------------------------------------------------------------------- /examples/zener_diode/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) -------------------------------------------------------------------------------- /examples/zener_diode/lzc.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/zener_diode/lzc.zls -------------------------------------------------------------------------------- /examples/zener_diode/plot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/examples/zener_diode/plot.png -------------------------------------------------------------------------------- /lib/gtk/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/dune -------------------------------------------------------------------------------- /lib/gtk/gtkplot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/gtkplot.ml -------------------------------------------------------------------------------- /lib/gtk/gtkplot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/gtkplot.mli -------------------------------------------------------------------------------- /lib/gtk/gtkplot.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/gtkplot.zli -------------------------------------------------------------------------------- /lib/gtk/input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/input.ml -------------------------------------------------------------------------------- /lib/gtk/input.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/input.zli -------------------------------------------------------------------------------- /lib/gtk/scope.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/scope.zls -------------------------------------------------------------------------------- /lib/gtk/zlsrungtk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/zlsrungtk.ml -------------------------------------------------------------------------------- /lib/gtk/zlsrungtk.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/gtk/zlsrungtk.mli -------------------------------------------------------------------------------- /lib/std/array.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/array.zli -------------------------------------------------------------------------------- /lib/std/basics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/basics.ml -------------------------------------------------------------------------------- /lib/std/basics.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/basics.zli -------------------------------------------------------------------------------- /lib/std/char.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/char.zli -------------------------------------------------------------------------------- /lib/std/comparison.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/comparison.zli -------------------------------------------------------------------------------- /lib/std/comparison.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/comparison.zls -------------------------------------------------------------------------------- /lib/std/complex.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/complex.zli -------------------------------------------------------------------------------- /lib/std/dump.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/dump.zls -------------------------------------------------------------------------------- /lib/std/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/dune -------------------------------------------------------------------------------- /lib/std/graphics.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/graphics.zli -------------------------------------------------------------------------------- /lib/std/int32.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/int32.zli -------------------------------------------------------------------------------- /lib/std/int64.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/int64.zli -------------------------------------------------------------------------------- /lib/std/lift.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/lift.ml -------------------------------------------------------------------------------- /lib/std/list.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/list.zli -------------------------------------------------------------------------------- /lib/std/nativeint.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/nativeint.zli -------------------------------------------------------------------------------- /lib/std/node.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/node.zli -------------------------------------------------------------------------------- /lib/std/node_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/node_base.ml -------------------------------------------------------------------------------- /lib/std/random.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/random.zli -------------------------------------------------------------------------------- /lib/std/run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/run.ml -------------------------------------------------------------------------------- /lib/std/run.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/run.zli -------------------------------------------------------------------------------- /lib/std/solvers/defaultsolver.nosundials.ml: -------------------------------------------------------------------------------- 1 | include Solvers.Ode45 -------------------------------------------------------------------------------- /lib/std/solvers/defaultsolver.sundials.ml: -------------------------------------------------------------------------------- 1 | include Solvers.Sundials_cvode -------------------------------------------------------------------------------- /lib/std/solvers/illinois.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/solvers/illinois.ml -------------------------------------------------------------------------------- /lib/std/solvers/illinois.mli: -------------------------------------------------------------------------------- 1 | include Zls.ZEROC_SOLVER 2 | -------------------------------------------------------------------------------- /lib/std/solvers/node.nosundials.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/solvers/node.nosundials.ml -------------------------------------------------------------------------------- /lib/std/solvers/node.sundials.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/solvers/node.sundials.ml -------------------------------------------------------------------------------- /lib/std/solvers/odexx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/solvers/odexx.ml -------------------------------------------------------------------------------- /lib/std/solvers/solvers.nosundials.ml: -------------------------------------------------------------------------------- 1 | open Zls 2 | 3 | include Odexx -------------------------------------------------------------------------------- /lib/std/solvers/solvers.sundials.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/solvers/solvers.sundials.ml -------------------------------------------------------------------------------- /lib/std/stdlib.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/stdlib.zli -------------------------------------------------------------------------------- /lib/std/string.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/string.zli -------------------------------------------------------------------------------- /lib/std/zls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/zls.ml -------------------------------------------------------------------------------- /lib/std/zlsolve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/zlsolve.ml -------------------------------------------------------------------------------- /lib/std/zlsolve.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/zlsolve.mli -------------------------------------------------------------------------------- /lib/std/zlsrun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/zlsrun.ml -------------------------------------------------------------------------------- /lib/std/zlsrun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/zlsrun.mli -------------------------------------------------------------------------------- /lib/std/ztypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/lib/std/ztypes.ml -------------------------------------------------------------------------------- /man/Fig/bouncingball.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/bouncingball.pdf -------------------------------------------------------------------------------- /man/Fig/bouncingball.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/bouncingball.png -------------------------------------------------------------------------------- /man/Fig/from.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/from.fig -------------------------------------------------------------------------------- /man/Fig/heater.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/heater.eps -------------------------------------------------------------------------------- /man/Fig/heater.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/heater.fig -------------------------------------------------------------------------------- /man/Fig/heater_control.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/heater_control.eps -------------------------------------------------------------------------------- /man/Fig/heater_control.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/heater_control.fig -------------------------------------------------------------------------------- /man/Fig/parallel_multiplier.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/parallel_multiplier.eps -------------------------------------------------------------------------------- /man/Fig/parallel_multiplier.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/parallel_multiplier.fig -------------------------------------------------------------------------------- /man/Fig/parallel_multiplier0.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/parallel_multiplier0.eps -------------------------------------------------------------------------------- /man/Fig/parallel_multiplier0.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/parallel_multiplier0.fig -------------------------------------------------------------------------------- /man/Fig/pendulum.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/pendulum.eps -------------------------------------------------------------------------------- /man/Fig/pendulum.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/pendulum.fig -------------------------------------------------------------------------------- /man/Fig/pipelined_multiplier.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/pipelined_multiplier.eps -------------------------------------------------------------------------------- /man/Fig/pipelined_multiplier.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/pipelined_multiplier.fig -------------------------------------------------------------------------------- /man/Fig/rewind.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/rewind.eps -------------------------------------------------------------------------------- /man/Fig/rewind.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/rewind.fig -------------------------------------------------------------------------------- /man/Fig/risingEdgeRetrigger.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/risingEdgeRetrigger.eps -------------------------------------------------------------------------------- /man/Fig/risingEdgeRetrigger.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/risingEdgeRetrigger.pdf -------------------------------------------------------------------------------- /man/Fig/risingEdgeRetrigger.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/risingEdgeRetrigger.ps -------------------------------------------------------------------------------- /man/Fig/serial_multiplier.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/serial_multiplier.eps -------------------------------------------------------------------------------- /man/Fig/serial_multiplier.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/serial_multiplier.fig -------------------------------------------------------------------------------- /man/Fig/serial_multiplier.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Fig/serial_multiplier.pdf -------------------------------------------------------------------------------- /man/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/Makefile -------------------------------------------------------------------------------- /man/checklistings.hva: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/checklistings.hva -------------------------------------------------------------------------------- /man/checklistings.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/checklistings.sh -------------------------------------------------------------------------------- /man/checklistings.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/checklistings.sty -------------------------------------------------------------------------------- /man/hevea.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/hevea.sty -------------------------------------------------------------------------------- /man/mantosite.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/mantosite.xsl -------------------------------------------------------------------------------- /man/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/manual.tex -------------------------------------------------------------------------------- /man/plainurl.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/plainurl.bst -------------------------------------------------------------------------------- /man/samples/world.zli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/samples/world.zli -------------------------------------------------------------------------------- /man/synctoens.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/synctoens.sh -------------------------------------------------------------------------------- /man/zelus.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/zelus.bib -------------------------------------------------------------------------------- /man/zelus.hva: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/man/zelus.hva -------------------------------------------------------------------------------- /src/ctests/good/t_3.zci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/src/ctests/good/t_3.zci -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/.gitignore -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/bad/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/Makefile -------------------------------------------------------------------------------- /test/bad/t1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t1.zls -------------------------------------------------------------------------------- /test/bad/t10.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t10.zls -------------------------------------------------------------------------------- /test/bad/t11.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t11.zls -------------------------------------------------------------------------------- /test/bad/t12.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t12.zls -------------------------------------------------------------------------------- /test/bad/t13.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t13.zls -------------------------------------------------------------------------------- /test/bad/t14.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t14.zls -------------------------------------------------------------------------------- /test/bad/t15.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t15.zls -------------------------------------------------------------------------------- /test/bad/t16.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t16.zls -------------------------------------------------------------------------------- /test/bad/t17.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t17.zls -------------------------------------------------------------------------------- /test/bad/t18.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t18.zls -------------------------------------------------------------------------------- /test/bad/t19.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t19.zls -------------------------------------------------------------------------------- /test/bad/t2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t2.zls -------------------------------------------------------------------------------- /test/bad/t20.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t20.zls -------------------------------------------------------------------------------- /test/bad/t21.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t21.zls -------------------------------------------------------------------------------- /test/bad/t22.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t22.zls -------------------------------------------------------------------------------- /test/bad/t23.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t23.zls -------------------------------------------------------------------------------- /test/bad/t24.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t24.zls -------------------------------------------------------------------------------- /test/bad/t25.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t25.zls -------------------------------------------------------------------------------- /test/bad/t26.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t26.zls -------------------------------------------------------------------------------- /test/bad/t27.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t27.zls -------------------------------------------------------------------------------- /test/bad/t28.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t28.zls -------------------------------------------------------------------------------- /test/bad/t29.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t29.zls -------------------------------------------------------------------------------- /test/bad/t3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t3.zls -------------------------------------------------------------------------------- /test/bad/t30.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t30.zls -------------------------------------------------------------------------------- /test/bad/t31.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t31.zls -------------------------------------------------------------------------------- /test/bad/t32.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t32.zls -------------------------------------------------------------------------------- /test/bad/t33.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t33.zls -------------------------------------------------------------------------------- /test/bad/t34.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t34.zls -------------------------------------------------------------------------------- /test/bad/t35.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t35.zls -------------------------------------------------------------------------------- /test/bad/t36.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t36.zls -------------------------------------------------------------------------------- /test/bad/t37.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t37.zls -------------------------------------------------------------------------------- /test/bad/t38.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t38.zls -------------------------------------------------------------------------------- /test/bad/t39.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t39.zls -------------------------------------------------------------------------------- /test/bad/t4.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t4.zls -------------------------------------------------------------------------------- /test/bad/t40.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t40.zls -------------------------------------------------------------------------------- /test/bad/t41.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t41.zls -------------------------------------------------------------------------------- /test/bad/t42.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t42.zls -------------------------------------------------------------------------------- /test/bad/t43.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t43.zls -------------------------------------------------------------------------------- /test/bad/t44.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t44.zls -------------------------------------------------------------------------------- /test/bad/t45.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t45.zls -------------------------------------------------------------------------------- /test/bad/t46.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t46.zls -------------------------------------------------------------------------------- /test/bad/t47.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t47.zls -------------------------------------------------------------------------------- /test/bad/t5.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t5.zls -------------------------------------------------------------------------------- /test/bad/t6.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t6.zls -------------------------------------------------------------------------------- /test/bad/t7.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t7.zls -------------------------------------------------------------------------------- /test/bad/t8.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t8.zls -------------------------------------------------------------------------------- /test/bad/t9.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/bad/t9.zls -------------------------------------------------------------------------------- /test/check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/check -------------------------------------------------------------------------------- /test/color: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/color -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/dune -------------------------------------------------------------------------------- /test/good/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/Makefile -------------------------------------------------------------------------------- /test/good/bug_reduce/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/bug_reduce/Makefile -------------------------------------------------------------------------------- /test/good/bug_reduce/_tags: -------------------------------------------------------------------------------- 1 | true: \ 2 | package(zelus.gtk) 3 | -------------------------------------------------------------------------------- /test/good/bug_reduce/aux.zli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/good/bug_reduce/aux.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/bug_reduce/aux.zls -------------------------------------------------------------------------------- /test/good/bug_reduce/bug.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/bug_reduce/bug.zls -------------------------------------------------------------------------------- /test/good/t0.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t0.zls -------------------------------------------------------------------------------- /test/good/t00.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t00.zls -------------------------------------------------------------------------------- /test/good/t1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t1.zls -------------------------------------------------------------------------------- /test/good/t10.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t10.zls -------------------------------------------------------------------------------- /test/good/t100.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t100.zls -------------------------------------------------------------------------------- /test/good/t101.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t101.zls -------------------------------------------------------------------------------- /test/good/t102.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t102.zls -------------------------------------------------------------------------------- /test/good/t103.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t103.zls -------------------------------------------------------------------------------- /test/good/t104.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t104.zls -------------------------------------------------------------------------------- /test/good/t105.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t105.zls -------------------------------------------------------------------------------- /test/good/t106.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t106.zls -------------------------------------------------------------------------------- /test/good/t107.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t107.zls -------------------------------------------------------------------------------- /test/good/t108.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t108.zls -------------------------------------------------------------------------------- /test/good/t11.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t11.zls -------------------------------------------------------------------------------- /test/good/t110.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t110.zls -------------------------------------------------------------------------------- /test/good/t111.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t111.zls -------------------------------------------------------------------------------- /test/good/t112.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t112.zls -------------------------------------------------------------------------------- /test/good/t113.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t113.zls -------------------------------------------------------------------------------- /test/good/t114.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t114.zls -------------------------------------------------------------------------------- /test/good/t115.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t115.zls -------------------------------------------------------------------------------- /test/good/t116.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t116.zls -------------------------------------------------------------------------------- /test/good/t117.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t117.zls -------------------------------------------------------------------------------- /test/good/t118.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t118.zls -------------------------------------------------------------------------------- /test/good/t119.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t119.zls -------------------------------------------------------------------------------- /test/good/t12.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t12.zls -------------------------------------------------------------------------------- /test/good/t120.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t120.zls -------------------------------------------------------------------------------- /test/good/t122.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t122.zls -------------------------------------------------------------------------------- /test/good/t123.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t123.zls -------------------------------------------------------------------------------- /test/good/t124.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t124.zls -------------------------------------------------------------------------------- /test/good/t125.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t125.zls -------------------------------------------------------------------------------- /test/good/t126.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t126.zls -------------------------------------------------------------------------------- /test/good/t127.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t127.zls -------------------------------------------------------------------------------- /test/good/t128.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t128.zls -------------------------------------------------------------------------------- /test/good/t129.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t129.zls -------------------------------------------------------------------------------- /test/good/t13.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t13.zls -------------------------------------------------------------------------------- /test/good/t130.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t130.zls -------------------------------------------------------------------------------- /test/good/t131.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t131.zls -------------------------------------------------------------------------------- /test/good/t132.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t132.zls -------------------------------------------------------------------------------- /test/good/t133.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t133.zls -------------------------------------------------------------------------------- /test/good/t134.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t134.zls -------------------------------------------------------------------------------- /test/good/t135.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t135.zls -------------------------------------------------------------------------------- /test/good/t136.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t136.zls -------------------------------------------------------------------------------- /test/good/t137.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t137.zls -------------------------------------------------------------------------------- /test/good/t138.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t138.zls -------------------------------------------------------------------------------- /test/good/t139.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t139.zls -------------------------------------------------------------------------------- /test/good/t14.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t14.zls -------------------------------------------------------------------------------- /test/good/t140.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t140.zls -------------------------------------------------------------------------------- /test/good/t141.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t141.zls -------------------------------------------------------------------------------- /test/good/t142.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t142.zls -------------------------------------------------------------------------------- /test/good/t143.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t143.zls -------------------------------------------------------------------------------- /test/good/t144.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t144.zls -------------------------------------------------------------------------------- /test/good/t145.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t145.zls -------------------------------------------------------------------------------- /test/good/t146.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t146.zls -------------------------------------------------------------------------------- /test/good/t147.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t147.zls -------------------------------------------------------------------------------- /test/good/t148.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t148.zls -------------------------------------------------------------------------------- /test/good/t149.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t149.zls -------------------------------------------------------------------------------- /test/good/t15.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t15.zls -------------------------------------------------------------------------------- /test/good/t150.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t150.zls -------------------------------------------------------------------------------- /test/good/t151.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t151.zls -------------------------------------------------------------------------------- /test/good/t152.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t152.zls -------------------------------------------------------------------------------- /test/good/t153.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t153.zls -------------------------------------------------------------------------------- /test/good/t154.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t154.zls -------------------------------------------------------------------------------- /test/good/t155.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t155.zls -------------------------------------------------------------------------------- /test/good/t16.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t16.zls -------------------------------------------------------------------------------- /test/good/t17.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t17.zls -------------------------------------------------------------------------------- /test/good/t18.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t18.zls -------------------------------------------------------------------------------- /test/good/t19.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t19.zls -------------------------------------------------------------------------------- /test/good/t2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t2.zls -------------------------------------------------------------------------------- /test/good/t20.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t20.zls -------------------------------------------------------------------------------- /test/good/t21.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t21.zls -------------------------------------------------------------------------------- /test/good/t22.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t22.zls -------------------------------------------------------------------------------- /test/good/t23.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t23.zls -------------------------------------------------------------------------------- /test/good/t24.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t24.zls -------------------------------------------------------------------------------- /test/good/t25.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t25.zls -------------------------------------------------------------------------------- /test/good/t26.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t26.zls -------------------------------------------------------------------------------- /test/good/t27.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t27.zls -------------------------------------------------------------------------------- /test/good/t28.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t28.zls -------------------------------------------------------------------------------- /test/good/t29.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t29.zls -------------------------------------------------------------------------------- /test/good/t3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t3.zls -------------------------------------------------------------------------------- /test/good/t30.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t30.zls -------------------------------------------------------------------------------- /test/good/t31.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t31.zls -------------------------------------------------------------------------------- /test/good/t32.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t32.zls -------------------------------------------------------------------------------- /test/good/t33.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t33.zls -------------------------------------------------------------------------------- /test/good/t34.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t34.zls -------------------------------------------------------------------------------- /test/good/t35.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t35.zls -------------------------------------------------------------------------------- /test/good/t36.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t36.zls -------------------------------------------------------------------------------- /test/good/t37.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t37.zls -------------------------------------------------------------------------------- /test/good/t38.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t38.zls -------------------------------------------------------------------------------- /test/good/t39.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t39.zls -------------------------------------------------------------------------------- /test/good/t4.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t4.zls -------------------------------------------------------------------------------- /test/good/t40.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t40.zls -------------------------------------------------------------------------------- /test/good/t41.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t41.zls -------------------------------------------------------------------------------- /test/good/t42.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t42.zls -------------------------------------------------------------------------------- /test/good/t43.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t43.zls -------------------------------------------------------------------------------- /test/good/t44.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t44.zls -------------------------------------------------------------------------------- /test/good/t45.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t45.zls -------------------------------------------------------------------------------- /test/good/t46.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t46.zls -------------------------------------------------------------------------------- /test/good/t47.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t47.zls -------------------------------------------------------------------------------- /test/good/t48.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t48.zls -------------------------------------------------------------------------------- /test/good/t49.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t49.zls -------------------------------------------------------------------------------- /test/good/t5.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t5.zls -------------------------------------------------------------------------------- /test/good/t50.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t50.zls -------------------------------------------------------------------------------- /test/good/t51.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t51.zls -------------------------------------------------------------------------------- /test/good/t52.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t52.zls -------------------------------------------------------------------------------- /test/good/t53.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t53.zls -------------------------------------------------------------------------------- /test/good/t54.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t54.zls -------------------------------------------------------------------------------- /test/good/t55.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t55.zls -------------------------------------------------------------------------------- /test/good/t56.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t56.zls -------------------------------------------------------------------------------- /test/good/t57.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t57.zls -------------------------------------------------------------------------------- /test/good/t58.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t58.zls -------------------------------------------------------------------------------- /test/good/t59.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t59.zls -------------------------------------------------------------------------------- /test/good/t6.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t6.zls -------------------------------------------------------------------------------- /test/good/t60.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t60.zls -------------------------------------------------------------------------------- /test/good/t61.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t61.zls -------------------------------------------------------------------------------- /test/good/t62.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t62.zls -------------------------------------------------------------------------------- /test/good/t63.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t63.zls -------------------------------------------------------------------------------- /test/good/t64.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t64.zls -------------------------------------------------------------------------------- /test/good/t65.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t65.zls -------------------------------------------------------------------------------- /test/good/t66.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t66.zls -------------------------------------------------------------------------------- /test/good/t67.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t67.zls -------------------------------------------------------------------------------- /test/good/t68.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t68.zls -------------------------------------------------------------------------------- /test/good/t69.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t69.zls -------------------------------------------------------------------------------- /test/good/t7.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t7.zls -------------------------------------------------------------------------------- /test/good/t70.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t70.zls -------------------------------------------------------------------------------- /test/good/t71.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t71.zls -------------------------------------------------------------------------------- /test/good/t72.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t72.zls -------------------------------------------------------------------------------- /test/good/t73.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t73.zls -------------------------------------------------------------------------------- /test/good/t74.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t74.zls -------------------------------------------------------------------------------- /test/good/t75.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t75.zls -------------------------------------------------------------------------------- /test/good/t76.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t76.zls -------------------------------------------------------------------------------- /test/good/t77.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t77.zls -------------------------------------------------------------------------------- /test/good/t78.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t78.zls -------------------------------------------------------------------------------- /test/good/t79.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t79.zls -------------------------------------------------------------------------------- /test/good/t8.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t8.zls -------------------------------------------------------------------------------- /test/good/t80.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t80.zls -------------------------------------------------------------------------------- /test/good/t81.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t81.zls -------------------------------------------------------------------------------- /test/good/t82.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t82.zls -------------------------------------------------------------------------------- /test/good/t83.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t83.zls -------------------------------------------------------------------------------- /test/good/t84.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t84.zls -------------------------------------------------------------------------------- /test/good/t85.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t85.zls -------------------------------------------------------------------------------- /test/good/t86.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t86.zls -------------------------------------------------------------------------------- /test/good/t87.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t87.zls -------------------------------------------------------------------------------- /test/good/t88.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t88.zls -------------------------------------------------------------------------------- /test/good/t89.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t89.zls -------------------------------------------------------------------------------- /test/good/t9.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t9.zls -------------------------------------------------------------------------------- /test/good/t90.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t90.zls -------------------------------------------------------------------------------- /test/good/t91.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t91.zls -------------------------------------------------------------------------------- /test/good/t92.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t92.zls -------------------------------------------------------------------------------- /test/good/t93.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t93.zls -------------------------------------------------------------------------------- /test/good/t94.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t94.zls -------------------------------------------------------------------------------- /test/good/t95.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t95.zls -------------------------------------------------------------------------------- /test/good/t96.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t96.zls -------------------------------------------------------------------------------- /test/good/t97.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t97.zls -------------------------------------------------------------------------------- /test/good/t98.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t98.zls -------------------------------------------------------------------------------- /test/good/t99.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/good/t99.zls -------------------------------------------------------------------------------- /test/run/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/Makefile -------------------------------------------------------------------------------- /test/run/t1.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t1.zls -------------------------------------------------------------------------------- /test/run/t10.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t10.zls -------------------------------------------------------------------------------- /test/run/t11.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t11.zls -------------------------------------------------------------------------------- /test/run/t12.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t12.zls -------------------------------------------------------------------------------- /test/run/t13.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t13.zls -------------------------------------------------------------------------------- /test/run/t14.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t14.zls -------------------------------------------------------------------------------- /test/run/t15.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t15.zls -------------------------------------------------------------------------------- /test/run/t16.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t16.zls -------------------------------------------------------------------------------- /test/run/t17.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t17.zls -------------------------------------------------------------------------------- /test/run/t18.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t18.zls -------------------------------------------------------------------------------- /test/run/t19.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t19.zls -------------------------------------------------------------------------------- /test/run/t2.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t2.zls -------------------------------------------------------------------------------- /test/run/t20.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t20.zls -------------------------------------------------------------------------------- /test/run/t21.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t21.zls -------------------------------------------------------------------------------- /test/run/t22.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t22.zls -------------------------------------------------------------------------------- /test/run/t23.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t23.zls -------------------------------------------------------------------------------- /test/run/t24.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t24.zls -------------------------------------------------------------------------------- /test/run/t25.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t25.zls -------------------------------------------------------------------------------- /test/run/t26.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t26.zls -------------------------------------------------------------------------------- /test/run/t27.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t27.zls -------------------------------------------------------------------------------- /test/run/t28.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t28.zls -------------------------------------------------------------------------------- /test/run/t29.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t29.zls -------------------------------------------------------------------------------- /test/run/t3.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t3.zls -------------------------------------------------------------------------------- /test/run/t4.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t4.zls -------------------------------------------------------------------------------- /test/run/t5.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t5.zls -------------------------------------------------------------------------------- /test/run/t6.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t6.zls -------------------------------------------------------------------------------- /test/run/t7.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t7.zls -------------------------------------------------------------------------------- /test/run/t8.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t8.zls -------------------------------------------------------------------------------- /test/run/t9.zls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/run/t9.zls -------------------------------------------------------------------------------- /test/test_runner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/test/test_runner.ml -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/diff_log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/diff_log.ml -------------------------------------------------------------------------------- /tools/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/dune -------------------------------------------------------------------------------- /tools/lst-zelus.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/lst-zelus.tex -------------------------------------------------------------------------------- /tools/luciole_zls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/luciole_zls.ml -------------------------------------------------------------------------------- /tools/mat_to_text: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/mat_to_text -------------------------------------------------------------------------------- /tools/plot_diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/plot_diff -------------------------------------------------------------------------------- /tools/plot_internals: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/plot_internals -------------------------------------------------------------------------------- /tools/plot_steps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/plot_steps -------------------------------------------------------------------------------- /tools/printmodel.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/printmodel.m -------------------------------------------------------------------------------- /tools/zelus.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/zelus.tmLanguage.json -------------------------------------------------------------------------------- /tools/zelus.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/zelus.vim -------------------------------------------------------------------------------- /tools/zlsdep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/zlsdep.ml -------------------------------------------------------------------------------- /tools/zltohtml.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/tools/zltohtml.mll -------------------------------------------------------------------------------- /www/Readme: -------------------------------------------------------------------------------- 1 | installer multimarkdown 2 | -------------------------------------------------------------------------------- /www/bootstrap.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/bootstrap.txt -------------------------------------------------------------------------------- /www/genhtml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/genhtml.sh -------------------------------------------------------------------------------- /www/postproc.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/postproc.xsl -------------------------------------------------------------------------------- /www/src/L1157425-cropped.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/L1157425-cropped.jpg -------------------------------------------------------------------------------- /www/src/L1157425.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/L1157425.jpg -------------------------------------------------------------------------------- /www/src/airplanes.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/airplanes.xcf -------------------------------------------------------------------------------- /www/src/backhoe.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/backhoe.xcf -------------------------------------------------------------------------------- /www/src/contact.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/contact.html -------------------------------------------------------------------------------- /www/src/download.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/download.html -------------------------------------------------------------------------------- /www/src/examples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/examples.html -------------------------------------------------------------------------------- /www/src/inc-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/inc-header.html -------------------------------------------------------------------------------- /www/src/inc-javascript.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/inc-javascript.html -------------------------------------------------------------------------------- /www/src/inc-links.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/inc-links.html -------------------------------------------------------------------------------- /www/src/inc-titlebar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/inc-titlebar.html -------------------------------------------------------------------------------- /www/src/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/index.html -------------------------------------------------------------------------------- /www/src/papers.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/papers.bib -------------------------------------------------------------------------------- /www/src/papers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/papers.html -------------------------------------------------------------------------------- /www/src/stickysprings.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/stickysprings.xcf -------------------------------------------------------------------------------- /www/src/variables.less: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/src/variables.less -------------------------------------------------------------------------------- /www/synctoens.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/synctoens.sh -------------------------------------------------------------------------------- /www/www/contact.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/contact.html -------------------------------------------------------------------------------- /www/www/css/bootstrap-responsive.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/bootstrap-responsive.css -------------------------------------------------------------------------------- /www/www/css/bootstrap-responsive.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/bootstrap-responsive.min.css -------------------------------------------------------------------------------- /www/www/css/bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/bootstrap.css -------------------------------------------------------------------------------- /www/www/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/bootstrap.min.css -------------------------------------------------------------------------------- /www/www/css/glyphicons.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/glyphicons.css -------------------------------------------------------------------------------- /www/www/css/zelus-src.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/zelus-src.css -------------------------------------------------------------------------------- /www/www/css/zelus.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/css/zelus.css -------------------------------------------------------------------------------- /www/www/download.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/download.html -------------------------------------------------------------------------------- /www/www/examples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/examples.html -------------------------------------------------------------------------------- /www/www/experiments.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/experiments.html -------------------------------------------------------------------------------- /www/www/img/aircraft-model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/aircraft-model.png -------------------------------------------------------------------------------- /www/www/img/aircraft-model@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/aircraft-model@2x.png -------------------------------------------------------------------------------- /www/www/img/aircraft-zones.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/aircraft-zones.png -------------------------------------------------------------------------------- /www/www/img/aircraft-zones@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/aircraft-zones@2x.png -------------------------------------------------------------------------------- /www/www/img/airplanes.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/airplanes.jpg -------------------------------------------------------------------------------- /www/www/img/backhoe.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoe.jpg -------------------------------------------------------------------------------- /www/www/img/backhoeactuators.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoeactuators.png -------------------------------------------------------------------------------- /www/www/img/backhoeactuators@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoeactuators@2x.png -------------------------------------------------------------------------------- /www/www/img/backhoeloop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoeloop.png -------------------------------------------------------------------------------- /www/www/img/backhoeloop@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoeloop@2x.png -------------------------------------------------------------------------------- /www/www/img/backhoesegmentauto.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoesegmentauto.png -------------------------------------------------------------------------------- /www/www/img/backhoesegmentauto@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoesegmentauto@2x.png -------------------------------------------------------------------------------- /www/www/img/backhoesensors.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoesensors.png -------------------------------------------------------------------------------- /www/www/img/backhoesensors@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/backhoesensors@2x.png -------------------------------------------------------------------------------- /www/www/img/ball_spring.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ball_spring.pdf -------------------------------------------------------------------------------- /www/www/img/ball_spring.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ball_spring.png -------------------------------------------------------------------------------- /www/www/img/ball_spring@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ball_spring@2x.png -------------------------------------------------------------------------------- /www/www/img/ball_spring_plot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ball_spring_plot.png -------------------------------------------------------------------------------- /www/www/img/ball_spring_plot@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ball_spring_plot@2x.png -------------------------------------------------------------------------------- /www/www/img/bangbang-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bangbang-graph.png -------------------------------------------------------------------------------- /www/www/img/bangbang-graph@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bangbang-graph@2x.png -------------------------------------------------------------------------------- /www/www/img/bangbang-model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bangbang-model.png -------------------------------------------------------------------------------- /www/www/img/bangbang-model@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bangbang-model@2x.png -------------------------------------------------------------------------------- /www/www/img/bouncingball.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bouncingball.png -------------------------------------------------------------------------------- /www/www/img/bouncingball@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/bouncingball@2x.png -------------------------------------------------------------------------------- /www/www/img/ens.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/ens.png -------------------------------------------------------------------------------- /www/www/img/glyphicons-halflings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/glyphicons-halflings.png -------------------------------------------------------------------------------- /www/www/img/horloge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/horloge.png -------------------------------------------------------------------------------- /www/www/img/horloge@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/horloge@2x.png -------------------------------------------------------------------------------- /www/www/img/inria.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/inria.png -------------------------------------------------------------------------------- /www/www/img/machine.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/machine.jpg -------------------------------------------------------------------------------- /www/www/img/machine@2x.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/machine@2x.jpg -------------------------------------------------------------------------------- /www/www/img/soas-command.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-command.png -------------------------------------------------------------------------------- /www/www/img/soas-command@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-command@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-filter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-filter.png -------------------------------------------------------------------------------- /www/www/img/soas-filter@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-filter@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-gainchanger.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-gainchanger.png -------------------------------------------------------------------------------- /www/www/img/soas-gainchanger@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-gainchanger@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-model1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model1.png -------------------------------------------------------------------------------- /www/www/img/soas-model1@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model1@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-model2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model2.png -------------------------------------------------------------------------------- /www/www/img/soas-model2@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model2@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-model3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model3.png -------------------------------------------------------------------------------- /www/www/img/soas-model3@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model3@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-model4@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-model4@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-output1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output1.png -------------------------------------------------------------------------------- /www/www/img/soas-output1@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output1@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-output2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output2.png -------------------------------------------------------------------------------- /www/www/img/soas-output2@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output2@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-output3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output3.png -------------------------------------------------------------------------------- /www/www/img/soas-output3@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-output3@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-process.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-process.png -------------------------------------------------------------------------------- /www/www/img/soas-process@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-process@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-relay1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-relay1.png -------------------------------------------------------------------------------- /www/www/img/soas-relay1@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-relay1@2x.png -------------------------------------------------------------------------------- /www/www/img/soas-relay3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-relay3.png -------------------------------------------------------------------------------- /www/www/img/soas-relay3@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/soas-relay3@2x.png -------------------------------------------------------------------------------- /www/www/img/stickysprings.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/stickysprings.jpg -------------------------------------------------------------------------------- /www/www/img/stickysprings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/stickysprings.png -------------------------------------------------------------------------------- /www/www/img/stickysprings@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/stickysprings@2x.png -------------------------------------------------------------------------------- /www/www/img/watch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/watch.png -------------------------------------------------------------------------------- /www/www/img/watch@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/watch@2x.png -------------------------------------------------------------------------------- /www/www/img/zelus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/zelus.png -------------------------------------------------------------------------------- /www/www/img/zones.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/img/zones.png -------------------------------------------------------------------------------- /www/www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/index.html -------------------------------------------------------------------------------- /www/www/js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/js/bootstrap.min.js -------------------------------------------------------------------------------- /www/www/js/html5shiv.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/js/html5shiv.js -------------------------------------------------------------------------------- /www/www/js/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/js/jquery.js -------------------------------------------------------------------------------- /www/www/papers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/papers.html -------------------------------------------------------------------------------- /www/www/papers_bib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/www/www/papers_bib.html -------------------------------------------------------------------------------- /zelus-gtk.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/zelus-gtk.opam -------------------------------------------------------------------------------- /zelus.docker: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/zelus.docker -------------------------------------------------------------------------------- /zelus.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INRIA/zelus/HEAD/zelus.opam --------------------------------------------------------------------------------