├── LICENSE ├── README.md ├── Reference.md ├── bin ├── fptuner.py ├── test-table-5.1 └── test-table-5.2 ├── examples ├── hamming │ ├── expq3-after.py │ ├── expq3-before.py │ ├── qlog-after.py │ ├── qlog-before.py │ ├── two-cos-after.py │ └── two-cos-before.py ├── helloworld0.py ├── helloworld0.txt ├── helloworld1.py ├── helloworld1.txt ├── helloworld2.py ├── helloworld2.txt ├── herbie_examples │ └── complex_sqrt_original.py ├── math │ ├── cone-area.py │ ├── gaussian.py │ └── maxwell-boltzmann.py ├── micro │ ├── jacobi-n2u1.py │ ├── jacobi-n2u2.py │ ├── reduction-small.py │ └── reduction.py └── primitives │ ├── carbonGas.py │ ├── doppler-1.py │ ├── doppler-2.py │ ├── doppler-3.py │ ├── jet.py │ ├── predatorPrey.py │ ├── rigidBody-1.py │ ├── rigidBody-2.py │ ├── sine.py │ ├── sineOrder3.py │ ├── sqroot.py │ ├── turbine-1.py │ ├── turbine-2.py │ ├── turbine-3.py │ └── verhulst.py ├── misc ├── aec-badge-popl.png ├── logo.png └── readme_image.png ├── setup.py └── src ├── parser ├── expression_walker.py ├── function_to_lexed.py ├── input_to_tft.py ├── lexed_to_parsed.py ├── pass_lift_consts.py ├── pass_lift_inputs_and_assigns.py ├── pass_set_gangs.py └── pass_utils.py ├── test-math ├── test-micro ├── test-primitives ├── tft_alloc.py ├── tft_ask_gelpia.py ├── tft_ask_glpk.py ├── tft_ask_gurobi.py ├── tft_dat.py ├── tft_dat_cluster.py ├── tft_dat_def.py ├── tft_dat_sampling.py ├── tft_dat_scikit.py ├── tft_dat_testing.py ├── tft_dat_train.py ├── tft_error_form.py ├── tft_expr.py ├── tft_get_first_derivations.py ├── tft_ir_api.py ├── tft_ir_backend.py ├── tft_main.py ├── tft_mathprog_backend.py ├── tft_parser.py ├── tft_sol_exprs.py ├── tft_solver.py ├── tft_tuning.py └── tft_utils.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/README.md -------------------------------------------------------------------------------- /Reference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/Reference.md -------------------------------------------------------------------------------- /bin/fptuner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/bin/fptuner.py -------------------------------------------------------------------------------- /bin/test-table-5.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/bin/test-table-5.1 -------------------------------------------------------------------------------- /bin/test-table-5.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/bin/test-table-5.2 -------------------------------------------------------------------------------- /examples/hamming/expq3-after.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/expq3-after.py -------------------------------------------------------------------------------- /examples/hamming/expq3-before.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/expq3-before.py -------------------------------------------------------------------------------- /examples/hamming/qlog-after.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/qlog-after.py -------------------------------------------------------------------------------- /examples/hamming/qlog-before.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/qlog-before.py -------------------------------------------------------------------------------- /examples/hamming/two-cos-after.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/two-cos-after.py -------------------------------------------------------------------------------- /examples/hamming/two-cos-before.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/hamming/two-cos-before.py -------------------------------------------------------------------------------- /examples/helloworld0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/helloworld0.py -------------------------------------------------------------------------------- /examples/helloworld0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/helloworld0.txt -------------------------------------------------------------------------------- /examples/helloworld1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/helloworld1.py -------------------------------------------------------------------------------- /examples/helloworld1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/helloworld1.txt -------------------------------------------------------------------------------- /examples/helloworld2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/helloworld2.py -------------------------------------------------------------------------------- /examples/helloworld2.txt: -------------------------------------------------------------------------------- 1 | 2 | var: 3 | [0.0, 100.0] A; 4 | 5 | cost: 6 | A+A 7 | -------------------------------------------------------------------------------- /examples/herbie_examples/complex_sqrt_original.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/herbie_examples/complex_sqrt_original.py -------------------------------------------------------------------------------- /examples/math/cone-area.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/math/cone-area.py -------------------------------------------------------------------------------- /examples/math/gaussian.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/math/gaussian.py -------------------------------------------------------------------------------- /examples/math/maxwell-boltzmann.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/math/maxwell-boltzmann.py -------------------------------------------------------------------------------- /examples/micro/jacobi-n2u1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/micro/jacobi-n2u1.py -------------------------------------------------------------------------------- /examples/micro/jacobi-n2u2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/micro/jacobi-n2u2.py -------------------------------------------------------------------------------- /examples/micro/reduction-small.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/micro/reduction-small.py -------------------------------------------------------------------------------- /examples/micro/reduction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/micro/reduction.py -------------------------------------------------------------------------------- /examples/primitives/carbonGas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/carbonGas.py -------------------------------------------------------------------------------- /examples/primitives/doppler-1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/doppler-1.py -------------------------------------------------------------------------------- /examples/primitives/doppler-2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/doppler-2.py -------------------------------------------------------------------------------- /examples/primitives/doppler-3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/doppler-3.py -------------------------------------------------------------------------------- /examples/primitives/jet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/jet.py -------------------------------------------------------------------------------- /examples/primitives/predatorPrey.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/predatorPrey.py -------------------------------------------------------------------------------- /examples/primitives/rigidBody-1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/rigidBody-1.py -------------------------------------------------------------------------------- /examples/primitives/rigidBody-2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/rigidBody-2.py -------------------------------------------------------------------------------- /examples/primitives/sine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/sine.py -------------------------------------------------------------------------------- /examples/primitives/sineOrder3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/sineOrder3.py -------------------------------------------------------------------------------- /examples/primitives/sqroot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/sqroot.py -------------------------------------------------------------------------------- /examples/primitives/turbine-1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/turbine-1.py -------------------------------------------------------------------------------- /examples/primitives/turbine-2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/turbine-2.py -------------------------------------------------------------------------------- /examples/primitives/turbine-3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/turbine-3.py -------------------------------------------------------------------------------- /examples/primitives/verhulst.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/examples/primitives/verhulst.py -------------------------------------------------------------------------------- /misc/aec-badge-popl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/misc/aec-badge-popl.png -------------------------------------------------------------------------------- /misc/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/misc/logo.png -------------------------------------------------------------------------------- /misc/readme_image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/misc/readme_image.png -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/setup.py -------------------------------------------------------------------------------- /src/parser/expression_walker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/expression_walker.py -------------------------------------------------------------------------------- /src/parser/function_to_lexed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/function_to_lexed.py -------------------------------------------------------------------------------- /src/parser/input_to_tft.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/input_to_tft.py -------------------------------------------------------------------------------- /src/parser/lexed_to_parsed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/lexed_to_parsed.py -------------------------------------------------------------------------------- /src/parser/pass_lift_consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/pass_lift_consts.py -------------------------------------------------------------------------------- /src/parser/pass_lift_inputs_and_assigns.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/pass_lift_inputs_and_assigns.py -------------------------------------------------------------------------------- /src/parser/pass_set_gangs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/pass_set_gangs.py -------------------------------------------------------------------------------- /src/parser/pass_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/parser/pass_utils.py -------------------------------------------------------------------------------- /src/test-math: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/test-math -------------------------------------------------------------------------------- /src/test-micro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/test-micro -------------------------------------------------------------------------------- /src/test-primitives: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/test-primitives -------------------------------------------------------------------------------- /src/tft_alloc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_alloc.py -------------------------------------------------------------------------------- /src/tft_ask_gelpia.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_ask_gelpia.py -------------------------------------------------------------------------------- /src/tft_ask_glpk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_ask_glpk.py -------------------------------------------------------------------------------- /src/tft_ask_gurobi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_ask_gurobi.py -------------------------------------------------------------------------------- /src/tft_dat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat.py -------------------------------------------------------------------------------- /src/tft_dat_cluster.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_cluster.py -------------------------------------------------------------------------------- /src/tft_dat_def.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_def.py -------------------------------------------------------------------------------- /src/tft_dat_sampling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_sampling.py -------------------------------------------------------------------------------- /src/tft_dat_scikit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_scikit.py -------------------------------------------------------------------------------- /src/tft_dat_testing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_testing.py -------------------------------------------------------------------------------- /src/tft_dat_train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_dat_train.py -------------------------------------------------------------------------------- /src/tft_error_form.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_error_form.py -------------------------------------------------------------------------------- /src/tft_expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_expr.py -------------------------------------------------------------------------------- /src/tft_get_first_derivations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_get_first_derivations.py -------------------------------------------------------------------------------- /src/tft_ir_api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_ir_api.py -------------------------------------------------------------------------------- /src/tft_ir_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_ir_backend.py -------------------------------------------------------------------------------- /src/tft_main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_main.py -------------------------------------------------------------------------------- /src/tft_mathprog_backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_mathprog_backend.py -------------------------------------------------------------------------------- /src/tft_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_parser.py -------------------------------------------------------------------------------- /src/tft_sol_exprs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_sol_exprs.py -------------------------------------------------------------------------------- /src/tft_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_solver.py -------------------------------------------------------------------------------- /src/tft_tuning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_tuning.py -------------------------------------------------------------------------------- /src/tft_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soarlab/FPTuner/HEAD/src/tft_utils.py --------------------------------------------------------------------------------