├── .github └── workflows │ └── actions.yml ├── .gitignore ├── .merlin ├── CHANGES.md ├── INTERVAL ├── .depend ├── COPYING ├── COPYING.LESSER ├── EXAMPLES │ ├── B_AND_B │ │ ├── .depend │ │ ├── Makefile │ │ ├── b_and_b.ml │ │ ├── b_and_b.mli │ │ ├── main.ml │ │ ├── pqueue.ml │ │ └── pqueue.mli │ ├── Makefile │ ├── example.ml │ └── precision.ml ├── Makefile ├── README ├── TESTS │ ├── Makefile │ └── tests.ml ├── chcw.c ├── doc │ ├── Fpu.html │ ├── Fpu_rename.html │ ├── Fpu_rename_all.html │ ├── Interval.html │ ├── index.html │ ├── index_attributes.html │ ├── index_class_types.html │ ├── index_classes.html │ ├── index_exceptions.html │ ├── index_extensions.html │ ├── index_methods.html │ ├── index_module_types.html │ ├── index_modules.html │ ├── index_types.html │ ├── index_values.html │ ├── interval.dvi │ ├── interval.pdf │ ├── style.css │ ├── type_Fpu.html │ ├── type_Fpu_rename.html │ ├── type_Fpu_rename_all.html │ └── type_Interval.html ├── fpu.ml ├── fpu.mli ├── fpu_rename.ml ├── fpu_rename.mli ├── fpu_rename_all.ml ├── fpu_rename_all.mli ├── interval.ml └── interval.mli ├── LICENSE ├── Makefile ├── README.md ├── REFERENCE.md ├── VM_Instructions.md ├── b_and_b ├── Makefile ├── compile.template ├── opt0.ml ├── opt0.mli └── opt_func.ml ├── benchmarks ├── README.md ├── configs │ └── unique.cfg ├── macro │ ├── FPTaylor │ │ ├── approx.cfg │ │ ├── carbonGas.txt │ │ ├── carbonGas_test.txt │ │ ├── config-a.cfg │ │ ├── config-b.cfg │ │ ├── config-d.cfg │ │ ├── config-dev-b.cfg │ │ ├── config-test.cfg │ │ ├── doppler1.txt │ │ ├── doppler2.txt │ │ ├── doppler3.txt │ │ ├── func.txt │ │ ├── jet.txt │ │ ├── jet_fp.txt │ │ ├── predatorPrey.txt │ │ ├── rigidBody.txt │ │ ├── turbine.txt │ │ └── verhulst.txt │ ├── Fluctuat │ │ ├── carbonGas.c │ │ ├── doppler1.c │ │ ├── doppler2.c │ │ ├── doppler3.c │ │ ├── jetEngine.c │ │ ├── predatorPrey.c │ │ ├── quadratic_fit.c │ │ ├── rigidBody1.c │ │ ├── rigidBody2.c │ │ ├── sine.c │ │ ├── sineOrder3.c │ │ ├── sqroot.c │ │ ├── stynlinski.c │ │ ├── turbine1.c │ │ ├── turbine2.c │ │ ├── turbine3.c │ │ └── verhulst.c │ ├── Gappa │ │ ├── carbonGas-hints.g │ │ ├── carbonGas.g │ │ ├── doppler1-hints.g │ │ ├── doppler1.g │ │ ├── doppler2-hints.g │ │ ├── doppler2.g │ │ ├── doppler3-hints.g │ │ ├── doppler3.g │ │ ├── func.g │ │ ├── jet-hints.g │ │ ├── jet.g │ │ ├── predatorPrey-hints.g │ │ ├── predatorPrey.g │ │ ├── rigidBody-hints.g │ │ ├── rigidBody.g │ │ ├── sine-hints.g │ │ ├── sineOrder3-hints.g │ │ ├── sqroot-hints.g │ │ ├── turbine-hints.g │ │ ├── turbine.g │ │ ├── turbine1-hints.g │ │ ├── turbine2-hints.g │ │ ├── turbine3-hints.g │ │ ├── verhulst-hints.g │ │ └── verhulst.g │ ├── Makefile │ ├── Rosa │ │ └── RosaBenchmarks.scala │ └── trans │ │ ├── config-trans-a.cfg │ │ ├── config-trans-b.cfg │ │ ├── greatCircleAzimuth.txt │ │ ├── logexp.txt │ │ └── point_on_sphere.txt ├── macro2 │ ├── config-b.cfg │ ├── delta.txt │ ├── delta4.txt │ └── dqmom9.txt ├── micro │ ├── Makefile │ ├── config.cfg │ ├── config2.cfg │ ├── fluctuat │ │ ├── nonlin1.c │ │ ├── nonlin2.c │ │ └── sum3.c │ ├── fpacfcl │ │ ├── nonlin1_bounds.smt2 │ │ ├── nonlin1_error.smt2 │ │ ├── nonlin2_bounds.smt2 │ │ ├── nonlin2_error.smt2 │ │ ├── sum3_bounds.smt2 │ │ └── sum3_error.smt2 │ ├── gappa_nonlin1.g │ ├── gappa_nonlin1_hints.g │ ├── gappa_nonlin2.g │ ├── gappa_nonlin2_hints.g │ ├── gappa_sum3.g │ ├── gappa_sum3_hints.g │ ├── mathsat-5 │ │ ├── nonlin1_bounds.smt2 │ │ ├── nonlin1_error.smt2 │ │ ├── nonlin2_bounds.smt2 │ │ ├── nonlin2_error.smt2 │ │ ├── sum3_bounds.smt2 │ │ └── sum3_error.smt2 │ ├── micro.txt │ ├── rosa.scala │ └── z3 │ │ ├── nonlin1_bounds.smt2 │ │ ├── nonlin1_error.smt2 │ │ ├── nonlin2_bounds.smt2 │ │ ├── nonlin2_error.smt2 │ │ ├── sum3_bounds.smt2 │ │ └── sum3_error.smt2 ├── micro2 │ ├── Gappa │ │ ├── f1.g │ │ ├── f1_hints_abs.g │ │ ├── f1_hints_rel.g │ │ ├── f1_mixed.g │ │ ├── sqrt.g │ │ ├── sqrt_add.g │ │ ├── sqrt_add_hints_abs.g │ │ ├── sqrt_add_hints_rel.g │ │ ├── sqrt_sub.g │ │ ├── sqrt_sub_hints_abs.g │ │ └── sqrt_sub_hints_rel.g │ ├── Makefile │ ├── add1.txt │ ├── config-a.cfg │ ├── config-abs-tol.cfg │ ├── config-abs-tol2.cfg │ ├── config-abs.cfg │ ├── config-b.cfg │ ├── config-dev-abs.cfg │ ├── config-dev-rel.cfg │ ├── config-rel-tol.cfg │ ├── config-rel.cfg │ ├── config-z3-abs.cfg │ ├── config-z3.cfg │ ├── example.txt │ ├── exp1x.txt │ ├── exp1x_log.txt │ ├── f1.txt │ ├── f1_all.txt │ ├── f1_mixed.txt │ ├── fluctuat │ │ └── f1.c │ ├── log_test.txt │ ├── log_test_32.txt │ ├── rosa │ │ └── benchmarks.scala │ ├── sqrt_add.txt │ ├── sqrt_sub.txt │ └── victor.txt ├── proofs │ ├── Makefile │ ├── carbonGas.txt │ ├── config-c.cfg │ ├── config-trans-a.cfg │ ├── config.cfg │ ├── doppler1.txt │ ├── doppler2.txt │ ├── doppler3.txt │ ├── exp1x.txt │ ├── f1.txt │ ├── func.txt │ ├── greatCircleAzimuth.txt │ ├── hypot32.txt │ ├── jet.txt │ ├── logexp.txt │ ├── micro.txt │ ├── p1.txt │ ├── p2.txt │ ├── p3.txt │ ├── point_on_sphere.txt │ ├── predatorPrey.txt │ ├── proofs │ │ ├── doppler1.hl │ │ └── f1.hl │ ├── rigidBody.txt │ ├── sqrt_sub.txt │ ├── sum3.txt │ ├── turbine.txt │ └── verhulst.txt ├── real2float │ ├── Makefile │ ├── README.md │ ├── approx.cfg │ ├── carbonGas.txt │ ├── carbonGas_fp.txt │ ├── config-a.cfg │ ├── config-b.cfg │ ├── config-c.cfg │ ├── config-dev-tol.cfg │ ├── config-dev.cfg │ ├── config-z3.cfg │ ├── develop.cfg │ ├── doppler1.txt │ ├── doppler1_fp.txt │ ├── doppler2.txt │ ├── doppler2_fp.txt │ ├── doppler3.txt │ ├── doppler3_fp.txt │ ├── floudas1.txt │ ├── floudas1_fp.txt │ ├── floudas2.txt │ ├── floudas2_fp.txt │ ├── floudas3.txt │ ├── floudas3_fp.txt │ ├── hartman3.txt │ ├── hartman3_fp.txt │ ├── hartman6.txt │ ├── hartman6_fp.txt │ ├── hol │ │ ├── verify_a.hl │ │ └── verify_c.hl │ ├── iters.cfg │ ├── kepler0.txt │ ├── kepler0_fp.txt │ ├── kepler1.txt │ ├── kepler1_fp.txt │ ├── kepler2.txt │ ├── kepler2_fp.txt │ ├── logexp.txt │ ├── logexp_fp.txt │ ├── no-simpl.cfg │ ├── predPrey.txt │ ├── predPrey_fp.txt │ ├── proof.cfg │ ├── results.txt │ ├── rigidbody1.txt │ ├── rigidbody1_fp.txt │ ├── rigidbody2.txt │ ├── rigidbody2_fp.txt │ ├── sineOrder3.txt │ ├── sineOrder3_fp.txt │ ├── sineTaylor.txt │ ├── sineTaylor_fp.txt │ ├── sphere.txt │ ├── sphere_fp.txt │ ├── sqroot.txt │ ├── sqroot_fp.txt │ ├── verhulst.txt │ ├── verhulst_fp.txt │ └── xtol.cfg ├── tests │ ├── config-bb-a.cfg │ ├── config-bb-b.cfg │ ├── config-gelpia.cfg │ ├── config-z3.cfg │ ├── test01_sum3.txt │ ├── test02_sum8.txt │ ├── test03_nonlin2.txt │ ├── test04_dqmom9.txt │ ├── test05_nonlin1.txt │ └── test06_sums4.txt └── toplas │ ├── FPTaylor │ ├── azimuth.txt │ ├── carbonGas.txt │ ├── config-a.cfg │ ├── config-b.cfg │ ├── config-c-tol.cfg │ ├── config-c.cfg │ ├── config-z3.cfg │ ├── doppler1.txt │ ├── doppler2.txt │ ├── doppler3.txt │ ├── extra │ │ ├── cheb_10.txt │ │ ├── cheb_2.txt │ │ ├── cheb_3.txt │ │ ├── cheb_4.txt │ │ ├── cheb_5.txt │ │ ├── cheb_6.txt │ │ ├── cheb_7.txt │ │ ├── cheb_8.txt │ │ ├── cheb_9.txt │ │ ├── extra-b.cfg │ │ ├── extra-z3.cfg │ │ ├── legendre_10.txt │ │ ├── legendre_5.txt │ │ ├── legendre_6.txt │ │ ├── legendre_7.txt │ │ ├── legendre_8.txt │ │ ├── legendre_9.txt │ │ ├── trid_10.txt │ │ ├── trid_2.txt │ │ ├── trid_3.txt │ │ ├── trid_4.txt │ │ ├── trid_5.txt │ │ ├── trid_6.txt │ │ ├── trid_7.txt │ │ ├── trid_8.txt │ │ └── trid_9.txt │ ├── floudas1.txt │ ├── floudas2.txt │ ├── floudas3.txt │ ├── hartman3.txt │ ├── hartman6.txt │ ├── himmilbeau.txt │ ├── jet.txt │ ├── kepler0.txt │ ├── kepler1.txt │ ├── kepler2.txt │ ├── logexp.txt │ ├── predatorPrey.txt │ ├── rigidBody1.txt │ ├── rigidBody2.txt │ ├── sine.txt │ ├── sineOrder3.txt │ ├── sphere.txt │ ├── sqroot.txt │ ├── t_div_t1.txt │ ├── turbine1.txt │ ├── turbine2.txt │ ├── turbine3.txt │ └── verhulst.txt │ ├── Fluctuat │ ├── carbonGas.c │ ├── doppler1.c │ ├── doppler2.c │ ├── doppler3.c │ ├── fluctuat_benchmark.sh │ ├── himmilbeau.c │ ├── jet.c │ ├── kepler0.c │ ├── kepler1.c │ ├── kepler2.c │ ├── predatorPrey.c │ ├── project.rc │ ├── rigidBody1.c │ ├── rigidBody2.c │ ├── sine.c │ ├── sineOrder3.c │ ├── sqroot.c │ ├── t_div_t1.c │ ├── turbine1.c │ ├── turbine2.c │ ├── turbine3.c │ └── verhulst.c │ ├── FluctuatSubdiv │ ├── carbonGas.c │ ├── doppler1.c │ ├── doppler2.c │ ├── doppler3.c │ ├── fluctuat_benchmark.sh │ ├── himmilbeau.c │ ├── jet.c │ ├── kepler0.c │ ├── kepler1.c │ ├── kepler2.c │ ├── predatorPrey.c │ ├── project.rc │ ├── rigidBody1.c │ ├── rigidBody2.c │ ├── sine.c │ ├── sineOrder3.c │ ├── sqroot.c │ ├── t_div_t1.c │ ├── turbine1.c │ ├── turbine2.c │ ├── turbine3.c │ └── verhulst.c │ ├── Gappa │ ├── carbonGas-hints.g │ ├── carbonGas-simple-hints.g │ ├── carbonGas.g │ ├── doppler1-hints.g │ ├── doppler1-simple-hints.g │ ├── doppler1.g │ ├── doppler2-hints.g │ ├── doppler2-simple-hints.g │ ├── doppler2.g │ ├── doppler3-hints.g │ ├── doppler3-simple-hints.g │ ├── doppler3.g │ ├── himmilbeau-hints.g │ ├── himmilbeau-simple-hints.g │ ├── himmilbeau.g │ ├── jet-hints.g │ ├── jet-simple-hints.g │ ├── jet.g │ ├── kepler0-hints.g │ ├── kepler0-simple-hints.g │ ├── kepler0.g │ ├── kepler1-hints.g │ ├── kepler1-simple-hints.g │ ├── kepler1.g │ ├── kepler2-hints.g │ ├── kepler2-simple-hints.g │ ├── kepler2.g │ ├── predatorPrey-hints.g │ ├── predatorPrey-simple-hints.g │ ├── predatorPrey.g │ ├── rigidBody1-hints.g │ ├── rigidBody1-simple-hints.g │ ├── rigidBody1.g │ ├── rigidBody2-hints.g │ ├── rigidBody2-simple-hints.g │ ├── rigidBody2.g │ ├── sine-hints.g │ ├── sine-simple-hints.g │ ├── sine.g │ ├── sineOrder3-hints.g │ ├── sineOrder3-simple-hints.g │ ├── sineOrder3.g │ ├── sqroot-hints.g │ ├── sqroot-simple-hints.g │ ├── sqroot.g │ ├── t_div_t1-hints.g │ ├── t_div_t1-simple-hints.g │ ├── t_div_t1.g │ ├── turbine1-hints.g │ ├── turbine1-simple-hints.g │ ├── turbine1.g │ ├── turbine2-hints.g │ ├── turbine2-simple-hints.g │ ├── turbine2.g │ ├── turbine3-hints.g │ ├── turbine3-simple-hints.g │ ├── turbine3.g │ ├── verhulst-hints.g │ ├── verhulst-simple-hints.g │ └── verhulst.g │ ├── Makefile │ ├── README.md │ ├── Rosa │ └── rosa.scala │ ├── formal-b-extra.hl │ ├── formal-b.hl │ ├── print_results.py │ └── runall.sh ├── binary_float.ml ├── config.ml ├── config.mli ├── const.ml ├── const.mli ├── default.cfg ├── eval.ml ├── eval.mli ├── experiments ├── abs_min_max │ ├── abs.txt │ ├── abs_float.txt │ ├── max.txt │ ├── min.txt │ └── precisa_max.txt ├── conditionals │ ├── Makefile │ ├── Rosa │ │ ├── PathError.scala │ │ ├── TriangleProgression.scala │ │ └── test.scala │ ├── config.cfg │ ├── results.txt │ ├── smart-root1.txt │ ├── sqroot.c │ ├── test.txt │ ├── test2.c │ ├── test2.txt │ ├── test2_else.txt │ ├── test2_then.txt │ ├── triangle1.txt │ ├── triangle12.txt │ ├── triangle2.txt │ └── triangle3.txt ├── config-a-abs.cfg ├── config-a-rel.cfg ├── config-b-abs.cfg ├── config-b-rel.cfg ├── controllers │ ├── pid1.txt │ ├── pid1_iters.txt │ ├── pid2.txt │ ├── pid2_iters.txt │ └── results.txt ├── derivatives │ ├── config-a.cfg │ └── ex1.txt ├── herbie │ ├── Gappa │ │ └── add1.g │ ├── Makefile │ ├── config-a.cfg │ ├── config-b.cfg │ ├── config-c.cfg │ ├── config-dev-b.cfg │ ├── config-trans-a.cfg │ ├── config-trans-b.cfg │ ├── exp1x.txt │ ├── exp1x_log.txt │ ├── fluctuat │ │ └── sqrt_add.c │ ├── hypot32.txt │ ├── hypot64.txt │ ├── jet.txt │ ├── jet32.txt │ ├── jet64.txt │ ├── results-func.txt │ ├── sine3.txt │ ├── sine3_32.txt │ ├── sine3_64.txt │ ├── sqroot.txt │ ├── sqroot32.txt │ ├── sqroot64.txt │ ├── sqroot_details.txt │ ├── sqrt.g │ ├── sqrt.scala │ ├── sqrt1.txt │ ├── sqrt_add.txt │ ├── sqrt_sub.txt │ ├── sqrt_sub11.txt │ ├── sqrt_sub_64.txt │ └── sub_rat.txt ├── micro │ ├── add11.txt │ ├── config-abs-tol.cfg │ ├── config-dev-abs.cfg │ ├── config-dev-rel.cfg │ ├── config-linear.cfg │ ├── config-rel-tol.cfg │ ├── k_log1pf.g │ ├── k_log1pf.txt │ ├── k_sin1.g │ ├── k_sin1.txt │ ├── k_sin1_rel.g │ ├── k_sin1_rel.txt │ ├── linear.g │ ├── linear.txt │ ├── numerals.txt │ ├── sqrt_sub11.txt │ └── sub_sub.txt ├── mini │ ├── Makefile │ ├── config-a.cfg │ ├── config-b.cfg │ ├── config-dev-a.cfg │ ├── config-dev-b.cfg │ ├── config-dev.cfg │ ├── const.g │ ├── const.txt │ ├── sub.txt │ ├── sub_sub.txt │ └── var.txt ├── pown │ ├── pow10.txt │ ├── pow4.txt │ ├── pow5.txt │ ├── pow6.txt │ ├── pow7.txt │ ├── pow8.txt │ └── pow9.txt ├── px4 │ ├── c │ │ ├── Makefile │ │ └── const.c │ ├── constants.txt │ ├── constants3.txt │ ├── original.txt │ └── original3.txt ├── results │ ├── doppler_tests.txt │ ├── fluctuat.txt │ ├── hol_light.txt │ └── trans.txt ├── sine3 │ ├── config-dev-b.cfg │ └── sine3_32.txt ├── sv-comp │ ├── config-a.cfg │ ├── config-b.cfg │ ├── fphile │ │ └── sine.fphile │ └── sine.txt ├── tests │ ├── b01.txt │ ├── config-abs-tol.cfg │ ├── config-dev-abs.cfg │ ├── config-dev-rel.cfg │ ├── config-rel-tol.cfg │ ├── config_div.cfg │ ├── div_by_zero.txt │ ├── ex1-config.cfg │ ├── ex1.txt │ ├── numerals.txt │ ├── numerals2.txt │ ├── nums.txt │ ├── rel.txt │ ├── sine.txt │ ├── sqrt_precisa.txt │ ├── sum.txt │ ├── t_div_t1_32.txt │ └── var.txt ├── tol.cfg └── trans │ ├── rhumbDistance.txt │ └── sineOrder3_approx.txt ├── export.cfg ├── export_main.ml ├── expr.ml ├── expr.mli ├── exprOut.ml ├── exprOut.mli ├── formal ├── README.md ├── bin_float.hl ├── build_tform.hl ├── build_tform2.hl ├── eval_expr.hl ├── ieee754 │ ├── README.md │ ├── common.hl │ ├── fixed.hl │ ├── fixed │ │ └── fixed.tex │ ├── fixed_thms.hl │ ├── float.hl │ ├── float │ │ └── float.tex │ ├── float_thms.hl │ ├── ieee-old.hl │ ├── ieee.hl │ ├── ieee_thms.hl │ ├── load.hl │ └── outline │ │ └── outline.tex ├── ipow.hl ├── lib.hl ├── list_eval.hl ├── load.hl ├── proof.hl ├── proof_rules.hl ├── rat.hl ├── rounding.hl ├── tests │ ├── azimuth.hl │ ├── benchmarks_a.hl │ ├── benchmarks_c.hl │ ├── benchmarks_trans_a.hl │ ├── exp1x.hl │ ├── hypot.hl │ ├── jet.hl │ ├── logexp_text.hl │ ├── sphere.hl │ ├── sqrt_sub.hl │ └── utils.hl └── tform.hl ├── fptaylor.ml ├── fptaylor.mli ├── func.ml ├── input_lexer.mll ├── input_parser.mly ├── input_parser_env.ml ├── input_parser_env.mli ├── js ├── examples.js ├── index.html ├── main.js └── start_server.sh ├── lib.ml ├── lib.mli ├── log.ml ├── log.mli ├── main.ml ├── main_js.ml ├── maxima.ml ├── maxima.mli ├── more_num.ml ├── more_num.mli ├── opt.ml ├── opt.mli ├── opt_basic_bb.ml ├── opt_basic_bb.mli ├── opt_bb_eval.ml ├── opt_bb_eval.mli ├── opt_common.ml ├── opt_common.mli ├── opt_gelpia.ml ├── opt_gelpia.mli ├── opt_nlopt.ml ├── opt_nlopt.mli ├── opt_z3.ml ├── opt_z3.mli ├── out_error_bounds.ml ├── out_error_bounds.mli ├── out_fpcore.ml ├── out_fpcore.mli ├── out_test.ml ├── parser.ml ├── parser.mli ├── rounding.ml ├── rounding.mli ├── rounding_simpl.ml ├── rounding_simpl.mli ├── scripts ├── Makefile ├── common.py ├── config-b.cfg ├── config.py ├── fptaylor.py ├── generate_tests.py ├── plot │ ├── config-b.cfg │ ├── config-c.cfg │ ├── config-eval.cfg │ ├── config-simp.cfg │ ├── develop.cfg │ ├── examples │ │ ├── basic.txt │ │ ├── const.txt │ │ ├── div6.txt │ │ ├── exp1x_32.txt │ │ ├── horner50.txt │ │ ├── mul6.txt │ │ ├── poly50.txt │ │ ├── predatorPrey.txt │ │ ├── sine.txt │ │ ├── sineOrder3.txt │ │ ├── sqroot.txt │ │ ├── t_div_t1.txt │ │ ├── test_sine.txt │ │ ├── var.txt │ │ ├── verhulst.txt │ │ ├── x3.txt │ │ └── x4.txt │ ├── gappa_data.py │ └── plot.py ├── run_tests.py ├── tasks │ └── fptaylor.py ├── test.py └── tests.cfg ├── simple_interval ├── LICENSE ├── Makefile ├── README.md ├── fast_interval │ ├── Makefile │ ├── fpu.ml │ ├── interval.ml │ ├── interval1.ml │ └── interval1.mli ├── fpu.ml ├── interval.ml ├── interval2.ml └── interval2.mli ├── task.ml ├── task.mli ├── taylor_form.ml ├── taylor_form.mli ├── tests ├── basic │ ├── _tests-b.cfg │ ├── _tests-b.yml │ ├── _tests.cfg │ ├── _tests.yml │ ├── _tests_eval.cfg │ ├── _tests_eval.yml │ ├── constants.txt │ ├── constants2.txt │ ├── ops.txt │ ├── ops_constants.txt │ ├── ops_nonsmooth.txt │ ├── ops_pow.txt │ ├── ops_trans.txt │ ├── rounding.txt │ ├── rounding2.txt │ ├── uncertainty.txt │ └── variables.txt ├── core │ ├── _tests-b.cfg │ ├── _tests-b.yml │ ├── _tests.cfg │ ├── _tests.yml │ ├── carbonGas.txt │ ├── doppler1.txt │ ├── doppler2.txt │ ├── doppler3.txt │ ├── himmilbeau.txt │ ├── jet.txt │ ├── kepler0.txt │ ├── kepler1.txt │ ├── kepler2.txt │ ├── predatorPrey.txt │ ├── rigidBody1.txt │ ├── rigidBody2.txt │ ├── sine.txt │ ├── sineOrder3.txt │ ├── sqroot.txt │ ├── t_div_t1.txt │ ├── turbine1.txt │ ├── turbine2.txt │ ├── turbine3.txt │ └── verhulst.txt ├── micro │ ├── _tests-b.cfg │ ├── _tests-b.yml │ ├── _tests.cfg │ ├── _tests.yml │ ├── f1_all.txt │ ├── micro.txt │ ├── sqrt_add.txt │ ├── sqrt_sub.txt │ ├── sub.txt │ └── sub_sub.txt └── transcendental │ ├── _tests-b.cfg │ ├── _tests-b.yml │ ├── _tests.cfg │ ├── _tests.yml │ ├── azimuth.txt │ ├── hartman3.txt │ ├── logexp.txt │ └── sphere.txt ├── unused ├── expr_sym.ml ├── fpbench_lexer.mll ├── fpbench_parser.ml ├── fpbench_parser.mli ├── fpbench_test.ml ├── js │ ├── Makefile │ ├── aaa.ml │ ├── index-w3c.html │ ├── index.html │ ├── style.css │ ├── test-bootstrap.html │ ├── test-w3c.html │ └── test.html ├── more_num.py ├── more_num_tests.ml ├── out_racket.ml ├── out_racket.mli ├── parser (fpbench).ml ├── proof.mli ├── taylor_form_set.ml ├── test.ml ├── test_code.ml ├── test_opt.ml └── z3optimize.py ├── version.ml ├── version.mli └── z3opt └── z3opt.py /.github/workflows/actions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/.github/workflows/actions.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/.merlin -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/CHANGES.md -------------------------------------------------------------------------------- /INTERVAL/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/.depend -------------------------------------------------------------------------------- /INTERVAL/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/COPYING -------------------------------------------------------------------------------- /INTERVAL/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/COPYING.LESSER -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/.depend -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/Makefile -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/b_and_b.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/b_and_b.ml -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/b_and_b.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/b_and_b.mli -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/main.ml -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/pqueue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/pqueue.ml -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/B_AND_B/pqueue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/B_AND_B/pqueue.mli -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/Makefile -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/example.ml -------------------------------------------------------------------------------- /INTERVAL/EXAMPLES/precision.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/EXAMPLES/precision.ml -------------------------------------------------------------------------------- /INTERVAL/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/Makefile -------------------------------------------------------------------------------- /INTERVAL/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/README -------------------------------------------------------------------------------- /INTERVAL/TESTS/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/TESTS/Makefile -------------------------------------------------------------------------------- /INTERVAL/TESTS/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/TESTS/tests.ml -------------------------------------------------------------------------------- /INTERVAL/chcw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/chcw.c -------------------------------------------------------------------------------- /INTERVAL/doc/Fpu.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/Fpu.html -------------------------------------------------------------------------------- /INTERVAL/doc/Fpu_rename.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/Fpu_rename.html -------------------------------------------------------------------------------- /INTERVAL/doc/Fpu_rename_all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/Fpu_rename_all.html -------------------------------------------------------------------------------- /INTERVAL/doc/Interval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/Interval.html -------------------------------------------------------------------------------- /INTERVAL/doc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_attributes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_attributes.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_class_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_class_types.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_classes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_classes.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_exceptions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_exceptions.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_extensions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_extensions.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_methods.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_methods.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_module_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_module_types.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_modules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_modules.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_types.html -------------------------------------------------------------------------------- /INTERVAL/doc/index_values.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/index_values.html -------------------------------------------------------------------------------- /INTERVAL/doc/interval.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/interval.dvi -------------------------------------------------------------------------------- /INTERVAL/doc/interval.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/interval.pdf -------------------------------------------------------------------------------- /INTERVAL/doc/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/style.css -------------------------------------------------------------------------------- /INTERVAL/doc/type_Fpu.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/type_Fpu.html -------------------------------------------------------------------------------- /INTERVAL/doc/type_Fpu_rename.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/type_Fpu_rename.html -------------------------------------------------------------------------------- /INTERVAL/doc/type_Fpu_rename_all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/type_Fpu_rename_all.html -------------------------------------------------------------------------------- /INTERVAL/doc/type_Interval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/doc/type_Interval.html -------------------------------------------------------------------------------- /INTERVAL/fpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu.ml -------------------------------------------------------------------------------- /INTERVAL/fpu.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu.mli -------------------------------------------------------------------------------- /INTERVAL/fpu_rename.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu_rename.ml -------------------------------------------------------------------------------- /INTERVAL/fpu_rename.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu_rename.mli -------------------------------------------------------------------------------- /INTERVAL/fpu_rename_all.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu_rename_all.ml -------------------------------------------------------------------------------- /INTERVAL/fpu_rename_all.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/fpu_rename_all.mli -------------------------------------------------------------------------------- /INTERVAL/interval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/interval.ml -------------------------------------------------------------------------------- /INTERVAL/interval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/INTERVAL/interval.mli -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/README.md -------------------------------------------------------------------------------- /REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/REFERENCE.md -------------------------------------------------------------------------------- /VM_Instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/VM_Instructions.md -------------------------------------------------------------------------------- /b_and_b/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/b_and_b/Makefile -------------------------------------------------------------------------------- /b_and_b/compile.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/b_and_b/compile.template -------------------------------------------------------------------------------- /b_and_b/opt0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/b_and_b/opt0.ml -------------------------------------------------------------------------------- /b_and_b/opt0.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/b_and_b/opt0.mli -------------------------------------------------------------------------------- /b_and_b/opt_func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/b_and_b/opt_func.ml -------------------------------------------------------------------------------- /benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/configs/unique.cfg: -------------------------------------------------------------------------------- 1 | unique-indices = true -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/approx.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/approx.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/carbonGas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/carbonGas.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/carbonGas_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/carbonGas_test.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/config-a.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/config-b.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/config-d.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/config-d.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/config-dev-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/config-dev-b.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/config-test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/config-test.cfg -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/doppler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/doppler1.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/doppler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/doppler2.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/doppler3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/doppler3.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/func.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/func.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/jet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/jet.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/jet_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/jet_fp.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/predatorPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/predatorPrey.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/rigidBody.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/rigidBody.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/turbine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/turbine.txt -------------------------------------------------------------------------------- /benchmarks/macro/FPTaylor/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/FPTaylor/verhulst.txt -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/carbonGas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/carbonGas.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/doppler1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/doppler1.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/doppler2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/doppler2.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/doppler3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/doppler3.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/jetEngine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/jetEngine.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/predatorPrey.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/predatorPrey.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/quadratic_fit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/quadratic_fit.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/rigidBody1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/rigidBody1.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/rigidBody2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/rigidBody2.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/sine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/sine.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/sineOrder3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/sineOrder3.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/sqroot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/sqroot.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/stynlinski.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/stynlinski.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/turbine1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/turbine1.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/turbine2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/turbine2.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/turbine3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/turbine3.c -------------------------------------------------------------------------------- /benchmarks/macro/Fluctuat/verhulst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Fluctuat/verhulst.c -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/carbonGas-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/carbonGas-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/carbonGas.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/carbonGas.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler1-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler1.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler2-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler2.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler3-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/doppler3.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/doppler3.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/func.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/func.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/jet-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/jet-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/jet.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/jet.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/predatorPrey-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/predatorPrey-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/predatorPrey.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/predatorPrey.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/rigidBody-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/rigidBody-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/rigidBody.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/rigidBody.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/sine-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/sine-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/sineOrder3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/sineOrder3-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/sqroot-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/sqroot-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/turbine-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/turbine-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/turbine.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/turbine.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/turbine1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/turbine1-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/turbine2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/turbine2-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/turbine3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/turbine3-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/verhulst-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/verhulst-hints.g -------------------------------------------------------------------------------- /benchmarks/macro/Gappa/verhulst.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Gappa/verhulst.g -------------------------------------------------------------------------------- /benchmarks/macro/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Makefile -------------------------------------------------------------------------------- /benchmarks/macro/Rosa/RosaBenchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/Rosa/RosaBenchmarks.scala -------------------------------------------------------------------------------- /benchmarks/macro/trans/config-trans-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/trans/config-trans-a.cfg -------------------------------------------------------------------------------- /benchmarks/macro/trans/config-trans-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/trans/config-trans-b.cfg -------------------------------------------------------------------------------- /benchmarks/macro/trans/greatCircleAzimuth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/trans/greatCircleAzimuth.txt -------------------------------------------------------------------------------- /benchmarks/macro/trans/logexp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/trans/logexp.txt -------------------------------------------------------------------------------- /benchmarks/macro/trans/point_on_sphere.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro/trans/point_on_sphere.txt -------------------------------------------------------------------------------- /benchmarks/macro2/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro2/config-b.cfg -------------------------------------------------------------------------------- /benchmarks/macro2/delta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro2/delta.txt -------------------------------------------------------------------------------- /benchmarks/macro2/delta4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro2/delta4.txt -------------------------------------------------------------------------------- /benchmarks/macro2/dqmom9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/macro2/dqmom9.txt -------------------------------------------------------------------------------- /benchmarks/micro/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/Makefile -------------------------------------------------------------------------------- /benchmarks/micro/config.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/config.cfg -------------------------------------------------------------------------------- /benchmarks/micro/config2.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/config2.cfg -------------------------------------------------------------------------------- /benchmarks/micro/fluctuat/nonlin1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fluctuat/nonlin1.c -------------------------------------------------------------------------------- /benchmarks/micro/fluctuat/nonlin2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fluctuat/nonlin2.c -------------------------------------------------------------------------------- /benchmarks/micro/fluctuat/sum3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fluctuat/sum3.c -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/nonlin1_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/nonlin1_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/nonlin1_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/nonlin1_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/nonlin2_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/nonlin2_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/nonlin2_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/nonlin2_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/sum3_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/sum3_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/fpacfcl/sum3_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/fpacfcl/sum3_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/gappa_nonlin1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_nonlin1.g -------------------------------------------------------------------------------- /benchmarks/micro/gappa_nonlin1_hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_nonlin1_hints.g -------------------------------------------------------------------------------- /benchmarks/micro/gappa_nonlin2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_nonlin2.g -------------------------------------------------------------------------------- /benchmarks/micro/gappa_nonlin2_hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_nonlin2_hints.g -------------------------------------------------------------------------------- /benchmarks/micro/gappa_sum3.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_sum3.g -------------------------------------------------------------------------------- /benchmarks/micro/gappa_sum3_hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/gappa_sum3_hints.g -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/nonlin1_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/nonlin1_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/nonlin1_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/nonlin1_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/nonlin2_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/nonlin2_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/nonlin2_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/nonlin2_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/sum3_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/sum3_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/mathsat-5/sum3_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/mathsat-5/sum3_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/micro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/micro.txt -------------------------------------------------------------------------------- /benchmarks/micro/rosa.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/rosa.scala -------------------------------------------------------------------------------- /benchmarks/micro/z3/nonlin1_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/nonlin1_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/z3/nonlin1_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/nonlin1_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/z3/nonlin2_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/nonlin2_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/z3/nonlin2_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/nonlin2_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/z3/sum3_bounds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/sum3_bounds.smt2 -------------------------------------------------------------------------------- /benchmarks/micro/z3/sum3_error.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro/z3/sum3_error.smt2 -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/f1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/f1.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/f1_hints_abs.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/f1_hints_abs.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/f1_hints_rel.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/f1_hints_rel.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/f1_mixed.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/f1_mixed.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_add.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_add.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_add_hints_abs.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_add_hints_abs.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_add_hints_rel.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_add_hints_rel.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_sub.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_sub.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_sub_hints_abs.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_sub_hints_abs.g -------------------------------------------------------------------------------- /benchmarks/micro2/Gappa/sqrt_sub_hints_rel.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Gappa/sqrt_sub_hints_rel.g -------------------------------------------------------------------------------- /benchmarks/micro2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/Makefile -------------------------------------------------------------------------------- /benchmarks/micro2/add1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/add1.txt -------------------------------------------------------------------------------- /benchmarks/micro2/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-a.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-abs-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-abs-tol.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-abs-tol2.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-abs-tol2.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-abs.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-b.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-dev-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-dev-abs.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-dev-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-dev-rel.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-rel-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-rel-tol.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-rel.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-z3-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-z3-abs.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/config-z3.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/config-z3.cfg -------------------------------------------------------------------------------- /benchmarks/micro2/example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/example.txt -------------------------------------------------------------------------------- /benchmarks/micro2/exp1x.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/exp1x.txt -------------------------------------------------------------------------------- /benchmarks/micro2/exp1x_log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/exp1x_log.txt -------------------------------------------------------------------------------- /benchmarks/micro2/f1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/f1.txt -------------------------------------------------------------------------------- /benchmarks/micro2/f1_all.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/f1_all.txt -------------------------------------------------------------------------------- /benchmarks/micro2/f1_mixed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/f1_mixed.txt -------------------------------------------------------------------------------- /benchmarks/micro2/fluctuat/f1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/fluctuat/f1.c -------------------------------------------------------------------------------- /benchmarks/micro2/log_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/log_test.txt -------------------------------------------------------------------------------- /benchmarks/micro2/log_test_32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/log_test_32.txt -------------------------------------------------------------------------------- /benchmarks/micro2/rosa/benchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/rosa/benchmarks.scala -------------------------------------------------------------------------------- /benchmarks/micro2/sqrt_add.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/sqrt_add.txt -------------------------------------------------------------------------------- /benchmarks/micro2/sqrt_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/sqrt_sub.txt -------------------------------------------------------------------------------- /benchmarks/micro2/victor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/micro2/victor.txt -------------------------------------------------------------------------------- /benchmarks/proofs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/Makefile -------------------------------------------------------------------------------- /benchmarks/proofs/carbonGas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/carbonGas.txt -------------------------------------------------------------------------------- /benchmarks/proofs/config-c.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/config-c.cfg -------------------------------------------------------------------------------- /benchmarks/proofs/config-trans-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/config-trans-a.cfg -------------------------------------------------------------------------------- /benchmarks/proofs/config.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/config.cfg -------------------------------------------------------------------------------- /benchmarks/proofs/doppler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/doppler1.txt -------------------------------------------------------------------------------- /benchmarks/proofs/doppler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/doppler2.txt -------------------------------------------------------------------------------- /benchmarks/proofs/doppler3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/doppler3.txt -------------------------------------------------------------------------------- /benchmarks/proofs/exp1x.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/exp1x.txt -------------------------------------------------------------------------------- /benchmarks/proofs/f1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/f1.txt -------------------------------------------------------------------------------- /benchmarks/proofs/func.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/func.txt -------------------------------------------------------------------------------- /benchmarks/proofs/greatCircleAzimuth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/greatCircleAzimuth.txt -------------------------------------------------------------------------------- /benchmarks/proofs/hypot32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/hypot32.txt -------------------------------------------------------------------------------- /benchmarks/proofs/jet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/jet.txt -------------------------------------------------------------------------------- /benchmarks/proofs/logexp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/logexp.txt -------------------------------------------------------------------------------- /benchmarks/proofs/micro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/micro.txt -------------------------------------------------------------------------------- /benchmarks/proofs/p1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/p1.txt -------------------------------------------------------------------------------- /benchmarks/proofs/p2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/p2.txt -------------------------------------------------------------------------------- /benchmarks/proofs/p3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/p3.txt -------------------------------------------------------------------------------- /benchmarks/proofs/point_on_sphere.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/point_on_sphere.txt -------------------------------------------------------------------------------- /benchmarks/proofs/predatorPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/predatorPrey.txt -------------------------------------------------------------------------------- /benchmarks/proofs/proofs/doppler1.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/proofs/doppler1.hl -------------------------------------------------------------------------------- /benchmarks/proofs/proofs/f1.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/proofs/f1.hl -------------------------------------------------------------------------------- /benchmarks/proofs/rigidBody.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/rigidBody.txt -------------------------------------------------------------------------------- /benchmarks/proofs/sqrt_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/sqrt_sub.txt -------------------------------------------------------------------------------- /benchmarks/proofs/sum3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/sum3.txt -------------------------------------------------------------------------------- /benchmarks/proofs/turbine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/turbine.txt -------------------------------------------------------------------------------- /benchmarks/proofs/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/proofs/verhulst.txt -------------------------------------------------------------------------------- /benchmarks/real2float/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/Makefile -------------------------------------------------------------------------------- /benchmarks/real2float/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/README.md -------------------------------------------------------------------------------- /benchmarks/real2float/approx.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/approx.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/carbonGas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/carbonGas.txt -------------------------------------------------------------------------------- /benchmarks/real2float/carbonGas_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/carbonGas_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-a.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-b.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/config-c.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-c.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/config-dev-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-dev-tol.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/config-dev.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-dev.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/config-z3.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/config-z3.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/develop.cfg: -------------------------------------------------------------------------------- 1 | develop = true -------------------------------------------------------------------------------- /benchmarks/real2float/doppler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler1.txt -------------------------------------------------------------------------------- /benchmarks/real2float/doppler1_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler1_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/doppler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler2.txt -------------------------------------------------------------------------------- /benchmarks/real2float/doppler2_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler2_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/doppler3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler3.txt -------------------------------------------------------------------------------- /benchmarks/real2float/doppler3_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/doppler3_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas1.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas1_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas1_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas2.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas2_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas2_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas3.txt -------------------------------------------------------------------------------- /benchmarks/real2float/floudas3_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/floudas3_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/hartman3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hartman3.txt -------------------------------------------------------------------------------- /benchmarks/real2float/hartman3_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hartman3_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/hartman6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hartman6.txt -------------------------------------------------------------------------------- /benchmarks/real2float/hartman6_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hartman6_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/hol/verify_a.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hol/verify_a.hl -------------------------------------------------------------------------------- /benchmarks/real2float/hol/verify_c.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/hol/verify_c.hl -------------------------------------------------------------------------------- /benchmarks/real2float/iters.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/iters.cfg -------------------------------------------------------------------------------- /benchmarks/real2float/kepler0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler0.txt -------------------------------------------------------------------------------- /benchmarks/real2float/kepler0_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler0_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/kepler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler1.txt -------------------------------------------------------------------------------- /benchmarks/real2float/kepler1_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler1_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/kepler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler2.txt -------------------------------------------------------------------------------- /benchmarks/real2float/kepler2_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/kepler2_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/logexp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/logexp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/logexp_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/logexp_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/no-simpl.cfg: -------------------------------------------------------------------------------- 1 | maxima-simplification = false -------------------------------------------------------------------------------- /benchmarks/real2float/predPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/predPrey.txt -------------------------------------------------------------------------------- /benchmarks/real2float/predPrey_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/predPrey_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/proof.cfg: -------------------------------------------------------------------------------- 1 | proof-record = true 2 | *opt-f-abs-tol = 1.0 -------------------------------------------------------------------------------- /benchmarks/real2float/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/results.txt -------------------------------------------------------------------------------- /benchmarks/real2float/rigidbody1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/rigidbody1.txt -------------------------------------------------------------------------------- /benchmarks/real2float/rigidbody1_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/rigidbody1_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/rigidbody2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/rigidbody2.txt -------------------------------------------------------------------------------- /benchmarks/real2float/rigidbody2_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/rigidbody2_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sineOrder3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sineOrder3.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sineOrder3_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sineOrder3_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sineTaylor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sineTaylor.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sineTaylor_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sineTaylor_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sphere.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sphere.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sphere_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sphere_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sqroot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sqroot.txt -------------------------------------------------------------------------------- /benchmarks/real2float/sqroot_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/sqroot_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/verhulst.txt -------------------------------------------------------------------------------- /benchmarks/real2float/verhulst_fp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/verhulst_fp.txt -------------------------------------------------------------------------------- /benchmarks/real2float/xtol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/real2float/xtol.cfg -------------------------------------------------------------------------------- /benchmarks/tests/config-bb-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/config-bb-a.cfg -------------------------------------------------------------------------------- /benchmarks/tests/config-bb-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/config-bb-b.cfg -------------------------------------------------------------------------------- /benchmarks/tests/config-gelpia.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/config-gelpia.cfg -------------------------------------------------------------------------------- /benchmarks/tests/config-z3.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/config-z3.cfg -------------------------------------------------------------------------------- /benchmarks/tests/test01_sum3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test01_sum3.txt -------------------------------------------------------------------------------- /benchmarks/tests/test02_sum8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test02_sum8.txt -------------------------------------------------------------------------------- /benchmarks/tests/test03_nonlin2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test03_nonlin2.txt -------------------------------------------------------------------------------- /benchmarks/tests/test04_dqmom9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test04_dqmom9.txt -------------------------------------------------------------------------------- /benchmarks/tests/test05_nonlin1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test05_nonlin1.txt -------------------------------------------------------------------------------- /benchmarks/tests/test06_sums4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/tests/test06_sums4.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/azimuth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/azimuth.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/carbonGas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/carbonGas.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/config-a.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/config-b.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/config-c-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/config-c-tol.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/config-c.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/config-c.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/config-z3.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/config-z3.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/doppler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/doppler1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/doppler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/doppler2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/doppler3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/doppler3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_10.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_4.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_5.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_6.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_7.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_8.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/cheb_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/cheb_9.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/extra-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/extra-b.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/extra-z3.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/extra-z3.cfg -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_10.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_5.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_6.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_7.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_8.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/legendre_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/legendre_9.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_10.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_4.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_5.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_6.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_7.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_8.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/extra/trid_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/extra/trid_9.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/floudas1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/floudas1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/floudas2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/floudas2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/floudas3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/floudas3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/hartman3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/hartman3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/hartman6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/hartman6.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/himmilbeau.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/himmilbeau.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/jet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/jet.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/kepler0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/kepler0.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/kepler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/kepler1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/kepler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/kepler2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/logexp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/logexp.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/predatorPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/predatorPrey.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/rigidBody1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/rigidBody1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/rigidBody2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/rigidBody2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/sine.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/sineOrder3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/sineOrder3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/sphere.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/sphere.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/sqroot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/sqroot.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/t_div_t1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/t_div_t1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/turbine1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/turbine1.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/turbine2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/turbine2.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/turbine3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/turbine3.txt -------------------------------------------------------------------------------- /benchmarks/toplas/FPTaylor/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FPTaylor/verhulst.txt -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/carbonGas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/carbonGas.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/doppler1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/doppler1.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/doppler2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/doppler2.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/doppler3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/doppler3.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/fluctuat_benchmark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/fluctuat_benchmark.sh -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/himmilbeau.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/himmilbeau.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/jet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/jet.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/kepler0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/kepler0.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/kepler1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/kepler1.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/kepler2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/kepler2.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/predatorPrey.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/predatorPrey.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/project.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/project.rc -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/rigidBody1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/rigidBody1.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/rigidBody2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/rigidBody2.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/sine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/sine.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/sineOrder3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/sineOrder3.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/sqroot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/sqroot.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/t_div_t1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/t_div_t1.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/turbine1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/turbine1.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/turbine2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/turbine2.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/turbine3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/turbine3.c -------------------------------------------------------------------------------- /benchmarks/toplas/Fluctuat/verhulst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Fluctuat/verhulst.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/carbonGas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/carbonGas.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/doppler1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/doppler1.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/doppler2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/doppler2.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/doppler3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/doppler3.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/fluctuat_benchmark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/fluctuat_benchmark.sh -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/himmilbeau.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/himmilbeau.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/jet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/jet.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/kepler0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/kepler0.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/kepler1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/kepler1.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/kepler2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/kepler2.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/predatorPrey.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/predatorPrey.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/project.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/project.rc -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/rigidBody1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/rigidBody1.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/rigidBody2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/rigidBody2.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/sine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/sine.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/sineOrder3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/sineOrder3.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/sqroot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/sqroot.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/t_div_t1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/t_div_t1.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/turbine1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/turbine1.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/turbine2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/turbine2.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/turbine3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/turbine3.c -------------------------------------------------------------------------------- /benchmarks/toplas/FluctuatSubdiv/verhulst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/FluctuatSubdiv/verhulst.c -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/carbonGas-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/carbonGas-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/carbonGas-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/carbonGas-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/carbonGas.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/carbonGas.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler1-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler1-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler1-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler1.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler2-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler2-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler2-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler2.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler3-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler3-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler3-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/doppler3.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/doppler3.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/himmilbeau-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/himmilbeau-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/himmilbeau-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/himmilbeau-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/himmilbeau.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/himmilbeau.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/jet-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/jet-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/jet-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/jet-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/jet.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/jet.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler0-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler0-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler0-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler0-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler0.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler0.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler1-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler1-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler1-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler1.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler2-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler2-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler2-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/kepler2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/kepler2.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/predatorPrey-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/predatorPrey-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/predatorPrey-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/predatorPrey-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/predatorPrey.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/predatorPrey.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody1-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody1-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody1-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody1.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody2-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody2-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody2-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/rigidBody2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/rigidBody2.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sine-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sine-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sine-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sine-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sine.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sine.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sineOrder3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sineOrder3-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sineOrder3-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sineOrder3-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sineOrder3.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sineOrder3.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sqroot-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sqroot-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sqroot-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sqroot-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/sqroot.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/sqroot.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/t_div_t1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/t_div_t1-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/t_div_t1-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/t_div_t1-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/t_div_t1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/t_div_t1.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine1-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine1-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine1-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine1-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine1.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine2-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine2-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine2-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine2-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine2.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine2.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine3-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine3-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine3-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine3-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/turbine3.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/turbine3.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/verhulst-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/verhulst-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/verhulst-simple-hints.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/verhulst-simple-hints.g -------------------------------------------------------------------------------- /benchmarks/toplas/Gappa/verhulst.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Gappa/verhulst.g -------------------------------------------------------------------------------- /benchmarks/toplas/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Makefile -------------------------------------------------------------------------------- /benchmarks/toplas/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/README.md -------------------------------------------------------------------------------- /benchmarks/toplas/Rosa/rosa.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/Rosa/rosa.scala -------------------------------------------------------------------------------- /benchmarks/toplas/formal-b-extra.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/formal-b-extra.hl -------------------------------------------------------------------------------- /benchmarks/toplas/formal-b.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/formal-b.hl -------------------------------------------------------------------------------- /benchmarks/toplas/print_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/print_results.py -------------------------------------------------------------------------------- /benchmarks/toplas/runall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/benchmarks/toplas/runall.sh -------------------------------------------------------------------------------- /binary_float.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/binary_float.ml -------------------------------------------------------------------------------- /config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/config.ml -------------------------------------------------------------------------------- /config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/config.mli -------------------------------------------------------------------------------- /const.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/const.ml -------------------------------------------------------------------------------- /const.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/const.mli -------------------------------------------------------------------------------- /default.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/default.cfg -------------------------------------------------------------------------------- /eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/eval.ml -------------------------------------------------------------------------------- /eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/eval.mli -------------------------------------------------------------------------------- /experiments/abs_min_max/abs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/abs_min_max/abs.txt -------------------------------------------------------------------------------- /experiments/abs_min_max/abs_float.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/abs_min_max/abs_float.txt -------------------------------------------------------------------------------- /experiments/abs_min_max/max.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/abs_min_max/max.txt -------------------------------------------------------------------------------- /experiments/abs_min_max/min.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/abs_min_max/min.txt -------------------------------------------------------------------------------- /experiments/abs_min_max/precisa_max.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/abs_min_max/precisa_max.txt -------------------------------------------------------------------------------- /experiments/conditionals/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/Makefile -------------------------------------------------------------------------------- /experiments/conditionals/Rosa/PathError.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/Rosa/PathError.scala -------------------------------------------------------------------------------- /experiments/conditionals/Rosa/TriangleProgression.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/Rosa/TriangleProgression.scala -------------------------------------------------------------------------------- /experiments/conditionals/Rosa/test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/Rosa/test.scala -------------------------------------------------------------------------------- /experiments/conditionals/config.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/config.cfg -------------------------------------------------------------------------------- /experiments/conditionals/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/results.txt -------------------------------------------------------------------------------- /experiments/conditionals/smart-root1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/smart-root1.txt -------------------------------------------------------------------------------- /experiments/conditionals/sqroot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/sqroot.c -------------------------------------------------------------------------------- /experiments/conditionals/test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/test.txt -------------------------------------------------------------------------------- /experiments/conditionals/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/test2.c -------------------------------------------------------------------------------- /experiments/conditionals/test2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/test2.txt -------------------------------------------------------------------------------- /experiments/conditionals/test2_else.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/test2_else.txt -------------------------------------------------------------------------------- /experiments/conditionals/test2_then.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/test2_then.txt -------------------------------------------------------------------------------- /experiments/conditionals/triangle1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/triangle1.txt -------------------------------------------------------------------------------- /experiments/conditionals/triangle12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/triangle12.txt -------------------------------------------------------------------------------- /experiments/conditionals/triangle2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/triangle2.txt -------------------------------------------------------------------------------- /experiments/conditionals/triangle3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/conditionals/triangle3.txt -------------------------------------------------------------------------------- /experiments/config-a-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/config-a-abs.cfg -------------------------------------------------------------------------------- /experiments/config-a-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/config-a-rel.cfg -------------------------------------------------------------------------------- /experiments/config-b-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/config-b-abs.cfg -------------------------------------------------------------------------------- /experiments/config-b-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/config-b-rel.cfg -------------------------------------------------------------------------------- /experiments/controllers/pid1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/controllers/pid1.txt -------------------------------------------------------------------------------- /experiments/controllers/pid1_iters.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/controllers/pid1_iters.txt -------------------------------------------------------------------------------- /experiments/controllers/pid2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/controllers/pid2.txt -------------------------------------------------------------------------------- /experiments/controllers/pid2_iters.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/controllers/pid2_iters.txt -------------------------------------------------------------------------------- /experiments/controllers/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/controllers/results.txt -------------------------------------------------------------------------------- /experiments/derivatives/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/derivatives/config-a.cfg -------------------------------------------------------------------------------- /experiments/derivatives/ex1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/derivatives/ex1.txt -------------------------------------------------------------------------------- /experiments/herbie/Gappa/add1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/Gappa/add1.g -------------------------------------------------------------------------------- /experiments/herbie/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/Makefile -------------------------------------------------------------------------------- /experiments/herbie/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-a.cfg -------------------------------------------------------------------------------- /experiments/herbie/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-b.cfg -------------------------------------------------------------------------------- /experiments/herbie/config-c.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-c.cfg -------------------------------------------------------------------------------- /experiments/herbie/config-dev-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-dev-b.cfg -------------------------------------------------------------------------------- /experiments/herbie/config-trans-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-trans-a.cfg -------------------------------------------------------------------------------- /experiments/herbie/config-trans-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/config-trans-b.cfg -------------------------------------------------------------------------------- /experiments/herbie/exp1x.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/exp1x.txt -------------------------------------------------------------------------------- /experiments/herbie/exp1x_log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/exp1x_log.txt -------------------------------------------------------------------------------- /experiments/herbie/fluctuat/sqrt_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/fluctuat/sqrt_add.c -------------------------------------------------------------------------------- /experiments/herbie/hypot32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/hypot32.txt -------------------------------------------------------------------------------- /experiments/herbie/hypot64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/hypot64.txt -------------------------------------------------------------------------------- /experiments/herbie/jet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/jet.txt -------------------------------------------------------------------------------- /experiments/herbie/jet32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/jet32.txt -------------------------------------------------------------------------------- /experiments/herbie/jet64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/jet64.txt -------------------------------------------------------------------------------- /experiments/herbie/results-func.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/results-func.txt -------------------------------------------------------------------------------- /experiments/herbie/sine3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sine3.txt -------------------------------------------------------------------------------- /experiments/herbie/sine3_32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sine3_32.txt -------------------------------------------------------------------------------- /experiments/herbie/sine3_64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sine3_64.txt -------------------------------------------------------------------------------- /experiments/herbie/sqroot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqroot.txt -------------------------------------------------------------------------------- /experiments/herbie/sqroot32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqroot32.txt -------------------------------------------------------------------------------- /experiments/herbie/sqroot64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqroot64.txt -------------------------------------------------------------------------------- /experiments/herbie/sqroot_details.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqroot_details.txt -------------------------------------------------------------------------------- /experiments/herbie/sqrt.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt.g -------------------------------------------------------------------------------- /experiments/herbie/sqrt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt.scala -------------------------------------------------------------------------------- /experiments/herbie/sqrt1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt1.txt -------------------------------------------------------------------------------- /experiments/herbie/sqrt_add.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt_add.txt -------------------------------------------------------------------------------- /experiments/herbie/sqrt_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt_sub.txt -------------------------------------------------------------------------------- /experiments/herbie/sqrt_sub11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt_sub11.txt -------------------------------------------------------------------------------- /experiments/herbie/sqrt_sub_64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sqrt_sub_64.txt -------------------------------------------------------------------------------- /experiments/herbie/sub_rat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/herbie/sub_rat.txt -------------------------------------------------------------------------------- /experiments/micro/add11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/add11.txt -------------------------------------------------------------------------------- /experiments/micro/config-abs-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/config-abs-tol.cfg -------------------------------------------------------------------------------- /experiments/micro/config-dev-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/config-dev-abs.cfg -------------------------------------------------------------------------------- /experiments/micro/config-dev-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/config-dev-rel.cfg -------------------------------------------------------------------------------- /experiments/micro/config-linear.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/config-linear.cfg -------------------------------------------------------------------------------- /experiments/micro/config-rel-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/config-rel-tol.cfg -------------------------------------------------------------------------------- /experiments/micro/k_log1pf.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_log1pf.g -------------------------------------------------------------------------------- /experiments/micro/k_log1pf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_log1pf.txt -------------------------------------------------------------------------------- /experiments/micro/k_sin1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_sin1.g -------------------------------------------------------------------------------- /experiments/micro/k_sin1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_sin1.txt -------------------------------------------------------------------------------- /experiments/micro/k_sin1_rel.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_sin1_rel.g -------------------------------------------------------------------------------- /experiments/micro/k_sin1_rel.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/k_sin1_rel.txt -------------------------------------------------------------------------------- /experiments/micro/linear.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/linear.g -------------------------------------------------------------------------------- /experiments/micro/linear.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/linear.txt -------------------------------------------------------------------------------- /experiments/micro/numerals.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/numerals.txt -------------------------------------------------------------------------------- /experiments/micro/sqrt_sub11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/sqrt_sub11.txt -------------------------------------------------------------------------------- /experiments/micro/sub_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/micro/sub_sub.txt -------------------------------------------------------------------------------- /experiments/mini/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/Makefile -------------------------------------------------------------------------------- /experiments/mini/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/config-a.cfg -------------------------------------------------------------------------------- /experiments/mini/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/config-b.cfg -------------------------------------------------------------------------------- /experiments/mini/config-dev-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/config-dev-a.cfg -------------------------------------------------------------------------------- /experiments/mini/config-dev-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/config-dev-b.cfg -------------------------------------------------------------------------------- /experiments/mini/config-dev.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/config-dev.cfg -------------------------------------------------------------------------------- /experiments/mini/const.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/const.g -------------------------------------------------------------------------------- /experiments/mini/const.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/const.txt -------------------------------------------------------------------------------- /experiments/mini/sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/sub.txt -------------------------------------------------------------------------------- /experiments/mini/sub_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/sub_sub.txt -------------------------------------------------------------------------------- /experiments/mini/var.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/mini/var.txt -------------------------------------------------------------------------------- /experiments/pown/pow10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow10.txt -------------------------------------------------------------------------------- /experiments/pown/pow4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow4.txt -------------------------------------------------------------------------------- /experiments/pown/pow5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow5.txt -------------------------------------------------------------------------------- /experiments/pown/pow6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow6.txt -------------------------------------------------------------------------------- /experiments/pown/pow7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow7.txt -------------------------------------------------------------------------------- /experiments/pown/pow8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow8.txt -------------------------------------------------------------------------------- /experiments/pown/pow9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/pown/pow9.txt -------------------------------------------------------------------------------- /experiments/px4/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/c/Makefile -------------------------------------------------------------------------------- /experiments/px4/c/const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/c/const.c -------------------------------------------------------------------------------- /experiments/px4/constants.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/constants.txt -------------------------------------------------------------------------------- /experiments/px4/constants3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/constants3.txt -------------------------------------------------------------------------------- /experiments/px4/original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/original.txt -------------------------------------------------------------------------------- /experiments/px4/original3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/px4/original3.txt -------------------------------------------------------------------------------- /experiments/results/doppler_tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/results/doppler_tests.txt -------------------------------------------------------------------------------- /experiments/results/fluctuat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/results/fluctuat.txt -------------------------------------------------------------------------------- /experiments/results/hol_light.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/results/hol_light.txt -------------------------------------------------------------------------------- /experiments/results/trans.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/results/trans.txt -------------------------------------------------------------------------------- /experiments/sine3/config-dev-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sine3/config-dev-b.cfg -------------------------------------------------------------------------------- /experiments/sine3/sine3_32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sine3/sine3_32.txt -------------------------------------------------------------------------------- /experiments/sv-comp/config-a.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sv-comp/config-a.cfg -------------------------------------------------------------------------------- /experiments/sv-comp/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sv-comp/config-b.cfg -------------------------------------------------------------------------------- /experiments/sv-comp/fphile/sine.fphile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sv-comp/fphile/sine.fphile -------------------------------------------------------------------------------- /experiments/sv-comp/sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/sv-comp/sine.txt -------------------------------------------------------------------------------- /experiments/tests/b01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/b01.txt -------------------------------------------------------------------------------- /experiments/tests/config-abs-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/config-abs-tol.cfg -------------------------------------------------------------------------------- /experiments/tests/config-dev-abs.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/config-dev-abs.cfg -------------------------------------------------------------------------------- /experiments/tests/config-dev-rel.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/config-dev-rel.cfg -------------------------------------------------------------------------------- /experiments/tests/config-rel-tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/config-rel-tol.cfg -------------------------------------------------------------------------------- /experiments/tests/config_div.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/config_div.cfg -------------------------------------------------------------------------------- /experiments/tests/div_by_zero.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/div_by_zero.txt -------------------------------------------------------------------------------- /experiments/tests/ex1-config.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/ex1-config.cfg -------------------------------------------------------------------------------- /experiments/tests/ex1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/ex1.txt -------------------------------------------------------------------------------- /experiments/tests/numerals.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/numerals.txt -------------------------------------------------------------------------------- /experiments/tests/numerals2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/numerals2.txt -------------------------------------------------------------------------------- /experiments/tests/nums.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/nums.txt -------------------------------------------------------------------------------- /experiments/tests/rel.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/rel.txt -------------------------------------------------------------------------------- /experiments/tests/sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/sine.txt -------------------------------------------------------------------------------- /experiments/tests/sqrt_precisa.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/sqrt_precisa.txt -------------------------------------------------------------------------------- /experiments/tests/sum.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/sum.txt -------------------------------------------------------------------------------- /experiments/tests/t_div_t1_32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tests/t_div_t1_32.txt -------------------------------------------------------------------------------- /experiments/tests/var.txt: -------------------------------------------------------------------------------- 1 | Variables 2 | real x in [1.5, 2.25]; 3 | 4 | Expressions 5 | var rnd= x; -------------------------------------------------------------------------------- /experiments/tol.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/tol.cfg -------------------------------------------------------------------------------- /experiments/trans/rhumbDistance.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/trans/rhumbDistance.txt -------------------------------------------------------------------------------- /experiments/trans/sineOrder3_approx.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/experiments/trans/sineOrder3_approx.txt -------------------------------------------------------------------------------- /export.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/export.cfg -------------------------------------------------------------------------------- /export_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/export_main.ml -------------------------------------------------------------------------------- /expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/expr.ml -------------------------------------------------------------------------------- /expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/expr.mli -------------------------------------------------------------------------------- /exprOut.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/exprOut.ml -------------------------------------------------------------------------------- /exprOut.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/exprOut.mli -------------------------------------------------------------------------------- /formal/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/README.md -------------------------------------------------------------------------------- /formal/bin_float.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/bin_float.hl -------------------------------------------------------------------------------- /formal/build_tform.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/build_tform.hl -------------------------------------------------------------------------------- /formal/build_tform2.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/build_tform2.hl -------------------------------------------------------------------------------- /formal/eval_expr.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/eval_expr.hl -------------------------------------------------------------------------------- /formal/ieee754/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/README.md -------------------------------------------------------------------------------- /formal/ieee754/common.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/common.hl -------------------------------------------------------------------------------- /formal/ieee754/fixed.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/fixed.hl -------------------------------------------------------------------------------- /formal/ieee754/fixed/fixed.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/fixed/fixed.tex -------------------------------------------------------------------------------- /formal/ieee754/fixed_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/fixed_thms.hl -------------------------------------------------------------------------------- /formal/ieee754/float.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/float.hl -------------------------------------------------------------------------------- /formal/ieee754/float/float.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/float/float.tex -------------------------------------------------------------------------------- /formal/ieee754/float_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/float_thms.hl -------------------------------------------------------------------------------- /formal/ieee754/ieee-old.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/ieee-old.hl -------------------------------------------------------------------------------- /formal/ieee754/ieee.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/ieee.hl -------------------------------------------------------------------------------- /formal/ieee754/ieee_thms.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/ieee_thms.hl -------------------------------------------------------------------------------- /formal/ieee754/load.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/load.hl -------------------------------------------------------------------------------- /formal/ieee754/outline/outline.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ieee754/outline/outline.tex -------------------------------------------------------------------------------- /formal/ipow.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/ipow.hl -------------------------------------------------------------------------------- /formal/lib.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/lib.hl -------------------------------------------------------------------------------- /formal/list_eval.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/list_eval.hl -------------------------------------------------------------------------------- /formal/load.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/load.hl -------------------------------------------------------------------------------- /formal/proof.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/proof.hl -------------------------------------------------------------------------------- /formal/proof_rules.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/proof_rules.hl -------------------------------------------------------------------------------- /formal/rat.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/rat.hl -------------------------------------------------------------------------------- /formal/rounding.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/rounding.hl -------------------------------------------------------------------------------- /formal/tests/azimuth.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/azimuth.hl -------------------------------------------------------------------------------- /formal/tests/benchmarks_a.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/benchmarks_a.hl -------------------------------------------------------------------------------- /formal/tests/benchmarks_c.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/benchmarks_c.hl -------------------------------------------------------------------------------- /formal/tests/benchmarks_trans_a.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/benchmarks_trans_a.hl -------------------------------------------------------------------------------- /formal/tests/exp1x.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/exp1x.hl -------------------------------------------------------------------------------- /formal/tests/hypot.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/hypot.hl -------------------------------------------------------------------------------- /formal/tests/jet.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/jet.hl -------------------------------------------------------------------------------- /formal/tests/logexp_text.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/logexp_text.hl -------------------------------------------------------------------------------- /formal/tests/sphere.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/sphere.hl -------------------------------------------------------------------------------- /formal/tests/sqrt_sub.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/sqrt_sub.hl -------------------------------------------------------------------------------- /formal/tests/utils.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tests/utils.hl -------------------------------------------------------------------------------- /formal/tform.hl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/formal/tform.hl -------------------------------------------------------------------------------- /fptaylor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/fptaylor.ml -------------------------------------------------------------------------------- /fptaylor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/fptaylor.mli -------------------------------------------------------------------------------- /func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/func.ml -------------------------------------------------------------------------------- /input_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/input_lexer.mll -------------------------------------------------------------------------------- /input_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/input_parser.mly -------------------------------------------------------------------------------- /input_parser_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/input_parser_env.ml -------------------------------------------------------------------------------- /input_parser_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/input_parser_env.mli -------------------------------------------------------------------------------- /js/examples.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/js/examples.js -------------------------------------------------------------------------------- /js/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/js/index.html -------------------------------------------------------------------------------- /js/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/js/main.js -------------------------------------------------------------------------------- /js/start_server.sh: -------------------------------------------------------------------------------- 1 | python3 -m http.server 2 | -------------------------------------------------------------------------------- /lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/lib.ml -------------------------------------------------------------------------------- /lib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/lib.mli -------------------------------------------------------------------------------- /log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/log.ml -------------------------------------------------------------------------------- /log.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/log.mli -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/main.ml -------------------------------------------------------------------------------- /main_js.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/main_js.ml -------------------------------------------------------------------------------- /maxima.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/maxima.ml -------------------------------------------------------------------------------- /maxima.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/maxima.mli -------------------------------------------------------------------------------- /more_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/more_num.ml -------------------------------------------------------------------------------- /more_num.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/more_num.mli -------------------------------------------------------------------------------- /opt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt.ml -------------------------------------------------------------------------------- /opt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt.mli -------------------------------------------------------------------------------- /opt_basic_bb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_basic_bb.ml -------------------------------------------------------------------------------- /opt_basic_bb.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_basic_bb.mli -------------------------------------------------------------------------------- /opt_bb_eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_bb_eval.ml -------------------------------------------------------------------------------- /opt_bb_eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_bb_eval.mli -------------------------------------------------------------------------------- /opt_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_common.ml -------------------------------------------------------------------------------- /opt_common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_common.mli -------------------------------------------------------------------------------- /opt_gelpia.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_gelpia.ml -------------------------------------------------------------------------------- /opt_gelpia.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_gelpia.mli -------------------------------------------------------------------------------- /opt_nlopt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_nlopt.ml -------------------------------------------------------------------------------- /opt_nlopt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_nlopt.mli -------------------------------------------------------------------------------- /opt_z3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_z3.ml -------------------------------------------------------------------------------- /opt_z3.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/opt_z3.mli -------------------------------------------------------------------------------- /out_error_bounds.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/out_error_bounds.ml -------------------------------------------------------------------------------- /out_error_bounds.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/out_error_bounds.mli -------------------------------------------------------------------------------- /out_fpcore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/out_fpcore.ml -------------------------------------------------------------------------------- /out_fpcore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/out_fpcore.mli -------------------------------------------------------------------------------- /out_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/out_test.ml -------------------------------------------------------------------------------- /parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/parser.ml -------------------------------------------------------------------------------- /parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/parser.mli -------------------------------------------------------------------------------- /rounding.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/rounding.ml -------------------------------------------------------------------------------- /rounding.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/rounding.mli -------------------------------------------------------------------------------- /rounding_simpl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/rounding_simpl.ml -------------------------------------------------------------------------------- /rounding_simpl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/rounding_simpl.mli -------------------------------------------------------------------------------- /scripts/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/Makefile -------------------------------------------------------------------------------- /scripts/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/common.py -------------------------------------------------------------------------------- /scripts/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/config-b.cfg -------------------------------------------------------------------------------- /scripts/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/config.py -------------------------------------------------------------------------------- /scripts/fptaylor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/fptaylor.py -------------------------------------------------------------------------------- /scripts/generate_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/generate_tests.py -------------------------------------------------------------------------------- /scripts/plot/config-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/config-b.cfg -------------------------------------------------------------------------------- /scripts/plot/config-c.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/config-c.cfg -------------------------------------------------------------------------------- /scripts/plot/config-eval.cfg: -------------------------------------------------------------------------------- 1 | opt = bb-eval -------------------------------------------------------------------------------- /scripts/plot/config-simp.cfg: -------------------------------------------------------------------------------- 1 | fp-power2-model = false 2 | maxima-simplification = true -------------------------------------------------------------------------------- /scripts/plot/develop.cfg: -------------------------------------------------------------------------------- 1 | develop = true -------------------------------------------------------------------------------- /scripts/plot/examples/basic.txt: -------------------------------------------------------------------------------- 1 | Variables 2 | float64 x in [1, 100]; 3 | 4 | Expressions 5 | prod3 rnd64= 3 * x; -------------------------------------------------------------------------------- /scripts/plot/examples/const.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/const.txt -------------------------------------------------------------------------------- /scripts/plot/examples/div6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/div6.txt -------------------------------------------------------------------------------- /scripts/plot/examples/exp1x_32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/exp1x_32.txt -------------------------------------------------------------------------------- /scripts/plot/examples/horner50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/horner50.txt -------------------------------------------------------------------------------- /scripts/plot/examples/mul6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/mul6.txt -------------------------------------------------------------------------------- /scripts/plot/examples/poly50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/poly50.txt -------------------------------------------------------------------------------- /scripts/plot/examples/predatorPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/predatorPrey.txt -------------------------------------------------------------------------------- /scripts/plot/examples/sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/sine.txt -------------------------------------------------------------------------------- /scripts/plot/examples/sineOrder3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/sineOrder3.txt -------------------------------------------------------------------------------- /scripts/plot/examples/sqroot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/sqroot.txt -------------------------------------------------------------------------------- /scripts/plot/examples/t_div_t1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/t_div_t1.txt -------------------------------------------------------------------------------- /scripts/plot/examples/test_sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/test_sine.txt -------------------------------------------------------------------------------- /scripts/plot/examples/var.txt: -------------------------------------------------------------------------------- 1 | Variables 2 | real x in [1.5, 2.25]; 3 | 4 | Expressions 5 | var rnd= x; -------------------------------------------------------------------------------- /scripts/plot/examples/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/verhulst.txt -------------------------------------------------------------------------------- /scripts/plot/examples/x3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/x3.txt -------------------------------------------------------------------------------- /scripts/plot/examples/x4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/examples/x4.txt -------------------------------------------------------------------------------- /scripts/plot/gappa_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/gappa_data.py -------------------------------------------------------------------------------- /scripts/plot/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/plot/plot.py -------------------------------------------------------------------------------- /scripts/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/run_tests.py -------------------------------------------------------------------------------- /scripts/tasks/fptaylor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/tasks/fptaylor.py -------------------------------------------------------------------------------- /scripts/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/scripts/test.py -------------------------------------------------------------------------------- /scripts/tests.cfg: -------------------------------------------------------------------------------- 1 | print-second-order-errors = true -------------------------------------------------------------------------------- /simple_interval/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/LICENSE -------------------------------------------------------------------------------- /simple_interval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/Makefile -------------------------------------------------------------------------------- /simple_interval/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/README.md -------------------------------------------------------------------------------- /simple_interval/fast_interval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fast_interval/Makefile -------------------------------------------------------------------------------- /simple_interval/fast_interval/fpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fast_interval/fpu.ml -------------------------------------------------------------------------------- /simple_interval/fast_interval/interval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fast_interval/interval.ml -------------------------------------------------------------------------------- /simple_interval/fast_interval/interval1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fast_interval/interval1.ml -------------------------------------------------------------------------------- /simple_interval/fast_interval/interval1.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fast_interval/interval1.mli -------------------------------------------------------------------------------- /simple_interval/fpu.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/fpu.ml -------------------------------------------------------------------------------- /simple_interval/interval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/interval.ml -------------------------------------------------------------------------------- /simple_interval/interval2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/interval2.ml -------------------------------------------------------------------------------- /simple_interval/interval2.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/simple_interval/interval2.mli -------------------------------------------------------------------------------- /task.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/task.ml -------------------------------------------------------------------------------- /task.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/task.mli -------------------------------------------------------------------------------- /taylor_form.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/taylor_form.ml -------------------------------------------------------------------------------- /taylor_form.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/taylor_form.mli -------------------------------------------------------------------------------- /tests/basic/_tests-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests-b.cfg -------------------------------------------------------------------------------- /tests/basic/_tests-b.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests-b.yml -------------------------------------------------------------------------------- /tests/basic/_tests.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests.cfg -------------------------------------------------------------------------------- /tests/basic/_tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests.yml -------------------------------------------------------------------------------- /tests/basic/_tests_eval.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests_eval.cfg -------------------------------------------------------------------------------- /tests/basic/_tests_eval.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/_tests_eval.yml -------------------------------------------------------------------------------- /tests/basic/constants.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/constants.txt -------------------------------------------------------------------------------- /tests/basic/constants2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/constants2.txt -------------------------------------------------------------------------------- /tests/basic/ops.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/ops.txt -------------------------------------------------------------------------------- /tests/basic/ops_constants.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/ops_constants.txt -------------------------------------------------------------------------------- /tests/basic/ops_nonsmooth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/ops_nonsmooth.txt -------------------------------------------------------------------------------- /tests/basic/ops_pow.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/ops_pow.txt -------------------------------------------------------------------------------- /tests/basic/ops_trans.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/ops_trans.txt -------------------------------------------------------------------------------- /tests/basic/rounding.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/rounding.txt -------------------------------------------------------------------------------- /tests/basic/rounding2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/rounding2.txt -------------------------------------------------------------------------------- /tests/basic/uncertainty.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/uncertainty.txt -------------------------------------------------------------------------------- /tests/basic/variables.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/basic/variables.txt -------------------------------------------------------------------------------- /tests/core/_tests-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/_tests-b.cfg -------------------------------------------------------------------------------- /tests/core/_tests-b.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/_tests-b.yml -------------------------------------------------------------------------------- /tests/core/_tests.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/_tests.cfg -------------------------------------------------------------------------------- /tests/core/_tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/_tests.yml -------------------------------------------------------------------------------- /tests/core/carbonGas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/carbonGas.txt -------------------------------------------------------------------------------- /tests/core/doppler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/doppler1.txt -------------------------------------------------------------------------------- /tests/core/doppler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/doppler2.txt -------------------------------------------------------------------------------- /tests/core/doppler3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/doppler3.txt -------------------------------------------------------------------------------- /tests/core/himmilbeau.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/himmilbeau.txt -------------------------------------------------------------------------------- /tests/core/jet.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/jet.txt -------------------------------------------------------------------------------- /tests/core/kepler0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/kepler0.txt -------------------------------------------------------------------------------- /tests/core/kepler1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/kepler1.txt -------------------------------------------------------------------------------- /tests/core/kepler2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/kepler2.txt -------------------------------------------------------------------------------- /tests/core/predatorPrey.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/predatorPrey.txt -------------------------------------------------------------------------------- /tests/core/rigidBody1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/rigidBody1.txt -------------------------------------------------------------------------------- /tests/core/rigidBody2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/rigidBody2.txt -------------------------------------------------------------------------------- /tests/core/sine.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/sine.txt -------------------------------------------------------------------------------- /tests/core/sineOrder3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/sineOrder3.txt -------------------------------------------------------------------------------- /tests/core/sqroot.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/sqroot.txt -------------------------------------------------------------------------------- /tests/core/t_div_t1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/t_div_t1.txt -------------------------------------------------------------------------------- /tests/core/turbine1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/turbine1.txt -------------------------------------------------------------------------------- /tests/core/turbine2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/turbine2.txt -------------------------------------------------------------------------------- /tests/core/turbine3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/turbine3.txt -------------------------------------------------------------------------------- /tests/core/verhulst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/core/verhulst.txt -------------------------------------------------------------------------------- /tests/micro/_tests-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/_tests-b.cfg -------------------------------------------------------------------------------- /tests/micro/_tests-b.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/_tests-b.yml -------------------------------------------------------------------------------- /tests/micro/_tests.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/_tests.cfg -------------------------------------------------------------------------------- /tests/micro/_tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/_tests.yml -------------------------------------------------------------------------------- /tests/micro/f1_all.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/f1_all.txt -------------------------------------------------------------------------------- /tests/micro/micro.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/micro.txt -------------------------------------------------------------------------------- /tests/micro/sqrt_add.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/sqrt_add.txt -------------------------------------------------------------------------------- /tests/micro/sqrt_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/sqrt_sub.txt -------------------------------------------------------------------------------- /tests/micro/sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/sub.txt -------------------------------------------------------------------------------- /tests/micro/sub_sub.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/micro/sub_sub.txt -------------------------------------------------------------------------------- /tests/transcendental/_tests-b.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/_tests-b.cfg -------------------------------------------------------------------------------- /tests/transcendental/_tests-b.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/_tests-b.yml -------------------------------------------------------------------------------- /tests/transcendental/_tests.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/_tests.cfg -------------------------------------------------------------------------------- /tests/transcendental/_tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/_tests.yml -------------------------------------------------------------------------------- /tests/transcendental/azimuth.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/azimuth.txt -------------------------------------------------------------------------------- /tests/transcendental/hartman3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/hartman3.txt -------------------------------------------------------------------------------- /tests/transcendental/logexp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/logexp.txt -------------------------------------------------------------------------------- /tests/transcendental/sphere.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/tests/transcendental/sphere.txt -------------------------------------------------------------------------------- /unused/expr_sym.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/expr_sym.ml -------------------------------------------------------------------------------- /unused/fpbench_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/fpbench_lexer.mll -------------------------------------------------------------------------------- /unused/fpbench_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/fpbench_parser.ml -------------------------------------------------------------------------------- /unused/fpbench_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/fpbench_parser.mli -------------------------------------------------------------------------------- /unused/fpbench_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/fpbench_test.ml -------------------------------------------------------------------------------- /unused/js/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/Makefile -------------------------------------------------------------------------------- /unused/js/aaa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/aaa.ml -------------------------------------------------------------------------------- /unused/js/index-w3c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/index-w3c.html -------------------------------------------------------------------------------- /unused/js/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/index.html -------------------------------------------------------------------------------- /unused/js/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/style.css -------------------------------------------------------------------------------- /unused/js/test-bootstrap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/test-bootstrap.html -------------------------------------------------------------------------------- /unused/js/test-w3c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/test-w3c.html -------------------------------------------------------------------------------- /unused/js/test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/js/test.html -------------------------------------------------------------------------------- /unused/more_num.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/more_num.py -------------------------------------------------------------------------------- /unused/more_num_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/more_num_tests.ml -------------------------------------------------------------------------------- /unused/out_racket.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/out_racket.ml -------------------------------------------------------------------------------- /unused/out_racket.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/out_racket.mli -------------------------------------------------------------------------------- /unused/parser (fpbench).ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/parser (fpbench).ml -------------------------------------------------------------------------------- /unused/proof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/proof.mli -------------------------------------------------------------------------------- /unused/taylor_form_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/taylor_form_set.ml -------------------------------------------------------------------------------- /unused/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/test.ml -------------------------------------------------------------------------------- /unused/test_code.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/test_code.ml -------------------------------------------------------------------------------- /unused/test_opt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/test_opt.ml -------------------------------------------------------------------------------- /unused/z3optimize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/unused/z3optimize.py -------------------------------------------------------------------------------- /version.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/version.ml -------------------------------------------------------------------------------- /version.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/version.mli -------------------------------------------------------------------------------- /z3opt/z3opt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTaylor/HEAD/z3opt/z3opt.py --------------------------------------------------------------------------------