├── .cargo └── config.toml ├── .github └── workflows │ └── tests.yml ├── .gitignore ├── Cargo.toml ├── LICENSE ├── Makefile ├── OOPSLA21.md ├── README.md ├── baseline ├── bool.rules ├── bv32.rules ├── bv4.rules ├── halide.rules ├── herbie-exp.rules ├── herbie-rational.rules ├── herbie-trig.rules ├── oopsla-halide.rules └── rational.rules ├── infra ├── nightly-resources │ ├── bv.html │ ├── data.js │ ├── derive_detail.html │ ├── ff.html │ ├── index.html │ ├── index.js │ ├── latex.js │ ├── rules.html │ ├── stylesheet.css │ ├── table.js │ └── utils.js └── nightly.sh ├── ruler.png ├── ruler.svg ├── rust-toolchain ├── scripts ├── oopsla21 │ ├── ablation │ │ ├── ablation.sh │ │ ├── parse.js │ │ ├── run.sh │ │ ├── run_ruler.sh │ │ ├── run_ruler_rr.sh │ │ ├── submitted-data │ │ │ ├── compare │ │ │ │ ├── 10-run.tar.gz │ │ │ │ └── parsed.json │ │ │ └── no-rr │ │ │ │ └── parsed.json │ │ ├── submitted-plots │ │ │ ├── 10-run │ │ │ │ ├── bv32 │ │ │ │ │ └── by-config-rules-learned.pdf │ │ │ │ ├── bv4 │ │ │ │ │ └── by-config-rules-learned.pdf │ │ │ │ ├── by-domain-phase-times.pdf │ │ │ │ ├── parsed.json │ │ │ │ └── rat │ │ │ │ │ └── by-config-rules-learned.pdf │ │ │ └── orat-rr │ │ │ │ ├── bv32 │ │ │ │ └── run-rewrites.pdf │ │ │ │ ├── bv4 │ │ │ │ └── run-rewrites.pdf │ │ │ │ ├── parsed.json │ │ │ │ └── rats │ │ │ │ └── run-rewrites-timeout.pdf │ │ └── visualize.py │ ├── add-arrows.py │ ├── cvc4-eval │ │ ├── Makefile │ │ ├── compare.py │ │ └── cvc4 │ │ │ ├── bool-2vars.sy │ │ │ ├── bool-3vars.sy │ │ │ ├── bool-4vars.sy │ │ │ ├── bv32-3vars.sy │ │ │ ├── bv4-2vars.sy │ │ │ ├── bv4-3vars.sy │ │ │ ├── bv4ns-2vars.sy │ │ │ ├── bv4ns-3vars.sy │ │ │ ├── str-3vars.sy │ │ │ └── str-4vars.sy │ ├── eqsat-sound │ │ ├── aggregate.sh │ │ ├── derivation.sh │ │ ├── eqsat-soundness.sh │ │ ├── postpass.sh │ │ └── tabulate.py │ ├── eval.sh │ ├── generate-tests.sh │ ├── herbie-rational │ │ ├── filter.rkt │ │ ├── herbie-eval.sh │ │ ├── plots │ │ │ ├── config-all-tests-box-plot.py │ │ │ ├── config-per-test-bar.py │ │ │ ├── config-per-test-box-plot.py │ │ │ └── plot-results.sh │ │ ├── preprocess.py │ │ ├── seed-stats-per-test.sh │ │ └── seed-variance.sh │ ├── print-rules.py │ └── trig │ │ ├── complex.rules │ │ ├── filtered-workload.json │ │ ├── herbie-rules.json │ │ ├── herbie.terms │ │ ├── rule-workload.json │ │ ├── trig-run-8.json │ │ ├── trig.fpcore │ │ └── trig.sh └── scrape_halide_rules.py ├── src ├── bv.rs ├── enumo │ ├── filter.rs │ ├── metric.rs │ ├── mod.rs │ ├── pattern.rs │ ├── rule.rs │ ├── ruleset.rs │ ├── scheduler.rs │ ├── sexp.rs │ └── workload.rs ├── language.rs ├── lib.rs ├── logger.rs ├── recipe_utils.rs └── util.rs └── tests ├── bool.rs ├── bv-bool.rs ├── bv128.rs ├── bv16.rs ├── bv32.rs ├── bv4.rs ├── bv64.rs ├── bv8.rs ├── exponential.rs ├── halide.rs ├── maxmin.rs ├── nat.rs ├── pos.rs ├── rational.rs ├── recipes ├── bool.rs ├── bv32.rs ├── bv4_base.rs ├── bv4_fancy.rs ├── exponential.rs ├── halide.rs ├── rational_best.rs ├── rational_replicate.rs └── trig.rs ├── szalinski.rs └── trig.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/Makefile -------------------------------------------------------------------------------- /OOPSLA21.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/OOPSLA21.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/README.md -------------------------------------------------------------------------------- /baseline/bool.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/bool.rules -------------------------------------------------------------------------------- /baseline/bv32.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/bv32.rules -------------------------------------------------------------------------------- /baseline/bv4.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/bv4.rules -------------------------------------------------------------------------------- /baseline/halide.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/halide.rules -------------------------------------------------------------------------------- /baseline/herbie-exp.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/herbie-exp.rules -------------------------------------------------------------------------------- /baseline/herbie-rational.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/herbie-rational.rules -------------------------------------------------------------------------------- /baseline/herbie-trig.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/herbie-trig.rules -------------------------------------------------------------------------------- /baseline/oopsla-halide.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/oopsla-halide.rules -------------------------------------------------------------------------------- /baseline/rational.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/baseline/rational.rules -------------------------------------------------------------------------------- /infra/nightly-resources/bv.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/bv.html -------------------------------------------------------------------------------- /infra/nightly-resources/data.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/data.js -------------------------------------------------------------------------------- /infra/nightly-resources/derive_detail.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/derive_detail.html -------------------------------------------------------------------------------- /infra/nightly-resources/ff.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/ff.html -------------------------------------------------------------------------------- /infra/nightly-resources/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/index.html -------------------------------------------------------------------------------- /infra/nightly-resources/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/index.js -------------------------------------------------------------------------------- /infra/nightly-resources/latex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/latex.js -------------------------------------------------------------------------------- /infra/nightly-resources/rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/rules.html -------------------------------------------------------------------------------- /infra/nightly-resources/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/stylesheet.css -------------------------------------------------------------------------------- /infra/nightly-resources/table.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/table.js -------------------------------------------------------------------------------- /infra/nightly-resources/utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly-resources/utils.js -------------------------------------------------------------------------------- /infra/nightly.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/infra/nightly.sh -------------------------------------------------------------------------------- /ruler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/ruler.png -------------------------------------------------------------------------------- /ruler.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/ruler.svg -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | 1.86 -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/ablation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/ablation.sh -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/parse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/parse.js -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/run.sh -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/run_ruler.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/run_ruler.sh -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/run_ruler_rr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/run_ruler_rr.sh -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-data/compare/10-run.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-data/compare/10-run.tar.gz -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-data/compare/parsed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-data/compare/parsed.json -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-data/no-rr/parsed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-data/no-rr/parsed.json -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/10-run/bv32/by-config-rules-learned.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/10-run/bv32/by-config-rules-learned.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/10-run/bv4/by-config-rules-learned.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/10-run/bv4/by-config-rules-learned.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/10-run/by-domain-phase-times.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/10-run/by-domain-phase-times.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/10-run/parsed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/10-run/parsed.json -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/10-run/rat/by-config-rules-learned.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/10-run/rat/by-config-rules-learned.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/orat-rr/bv32/run-rewrites.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/orat-rr/bv32/run-rewrites.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/orat-rr/bv4/run-rewrites.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/orat-rr/bv4/run-rewrites.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/orat-rr/parsed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/orat-rr/parsed.json -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/submitted-plots/orat-rr/rats/run-rewrites-timeout.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/submitted-plots/orat-rr/rats/run-rewrites-timeout.pdf -------------------------------------------------------------------------------- /scripts/oopsla21/ablation/visualize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/ablation/visualize.py -------------------------------------------------------------------------------- /scripts/oopsla21/add-arrows.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/add-arrows.py -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/Makefile -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/compare.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/compare.py -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bool-2vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bool-2vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bool-3vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bool-3vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bool-4vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bool-4vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bv32-3vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bv32-3vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bv4-2vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bv4-2vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bv4-3vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bv4-3vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bv4ns-2vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bv4ns-2vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/bv4ns-3vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/bv4ns-3vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/str-3vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/str-3vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/cvc4-eval/cvc4/str-4vars.sy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/cvc4-eval/cvc4/str-4vars.sy -------------------------------------------------------------------------------- /scripts/oopsla21/eqsat-sound/aggregate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eqsat-sound/aggregate.sh -------------------------------------------------------------------------------- /scripts/oopsla21/eqsat-sound/derivation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eqsat-sound/derivation.sh -------------------------------------------------------------------------------- /scripts/oopsla21/eqsat-sound/eqsat-soundness.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eqsat-sound/eqsat-soundness.sh -------------------------------------------------------------------------------- /scripts/oopsla21/eqsat-sound/postpass.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eqsat-sound/postpass.sh -------------------------------------------------------------------------------- /scripts/oopsla21/eqsat-sound/tabulate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eqsat-sound/tabulate.py -------------------------------------------------------------------------------- /scripts/oopsla21/eval.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/eval.sh -------------------------------------------------------------------------------- /scripts/oopsla21/generate-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/generate-tests.sh -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/filter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/filter.rkt -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/herbie-eval.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/herbie-eval.sh -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/plots/config-all-tests-box-plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/plots/config-all-tests-box-plot.py -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/plots/config-per-test-bar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/plots/config-per-test-bar.py -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/plots/config-per-test-box-plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/plots/config-per-test-box-plot.py -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/plots/plot-results.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/plots/plot-results.sh -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/preprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/preprocess.py -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/seed-stats-per-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/seed-stats-per-test.sh -------------------------------------------------------------------------------- /scripts/oopsla21/herbie-rational/seed-variance.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/herbie-rational/seed-variance.sh -------------------------------------------------------------------------------- /scripts/oopsla21/print-rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/print-rules.py -------------------------------------------------------------------------------- /scripts/oopsla21/trig/complex.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/complex.rules -------------------------------------------------------------------------------- /scripts/oopsla21/trig/filtered-workload.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/filtered-workload.json -------------------------------------------------------------------------------- /scripts/oopsla21/trig/herbie-rules.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/herbie-rules.json -------------------------------------------------------------------------------- /scripts/oopsla21/trig/herbie.terms: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/herbie.terms -------------------------------------------------------------------------------- /scripts/oopsla21/trig/rule-workload.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/rule-workload.json -------------------------------------------------------------------------------- /scripts/oopsla21/trig/trig-run-8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/trig-run-8.json -------------------------------------------------------------------------------- /scripts/oopsla21/trig/trig.fpcore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/trig.fpcore -------------------------------------------------------------------------------- /scripts/oopsla21/trig/trig.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/oopsla21/trig/trig.sh -------------------------------------------------------------------------------- /scripts/scrape_halide_rules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/scripts/scrape_halide_rules.py -------------------------------------------------------------------------------- /src/bv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/bv.rs -------------------------------------------------------------------------------- /src/enumo/filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/filter.rs -------------------------------------------------------------------------------- /src/enumo/metric.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/metric.rs -------------------------------------------------------------------------------- /src/enumo/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/mod.rs -------------------------------------------------------------------------------- /src/enumo/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/pattern.rs -------------------------------------------------------------------------------- /src/enumo/rule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/rule.rs -------------------------------------------------------------------------------- /src/enumo/ruleset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/ruleset.rs -------------------------------------------------------------------------------- /src/enumo/scheduler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/scheduler.rs -------------------------------------------------------------------------------- /src/enumo/sexp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/sexp.rs -------------------------------------------------------------------------------- /src/enumo/workload.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/enumo/workload.rs -------------------------------------------------------------------------------- /src/language.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/language.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/logger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/logger.rs -------------------------------------------------------------------------------- /src/recipe_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/recipe_utils.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/src/util.rs -------------------------------------------------------------------------------- /tests/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bool.rs -------------------------------------------------------------------------------- /tests/bv-bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv-bool.rs -------------------------------------------------------------------------------- /tests/bv128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv128.rs -------------------------------------------------------------------------------- /tests/bv16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv16.rs -------------------------------------------------------------------------------- /tests/bv32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv32.rs -------------------------------------------------------------------------------- /tests/bv4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv4.rs -------------------------------------------------------------------------------- /tests/bv64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv64.rs -------------------------------------------------------------------------------- /tests/bv8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/bv8.rs -------------------------------------------------------------------------------- /tests/exponential.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/exponential.rs -------------------------------------------------------------------------------- /tests/halide.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/halide.rs -------------------------------------------------------------------------------- /tests/maxmin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/maxmin.rs -------------------------------------------------------------------------------- /tests/nat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/nat.rs -------------------------------------------------------------------------------- /tests/pos.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/pos.rs -------------------------------------------------------------------------------- /tests/rational.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/rational.rs -------------------------------------------------------------------------------- /tests/recipes/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/bool.rs -------------------------------------------------------------------------------- /tests/recipes/bv32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/bv32.rs -------------------------------------------------------------------------------- /tests/recipes/bv4_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/bv4_base.rs -------------------------------------------------------------------------------- /tests/recipes/bv4_fancy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/bv4_fancy.rs -------------------------------------------------------------------------------- /tests/recipes/exponential.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/exponential.rs -------------------------------------------------------------------------------- /tests/recipes/halide.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/halide.rs -------------------------------------------------------------------------------- /tests/recipes/rational_best.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/rational_best.rs -------------------------------------------------------------------------------- /tests/recipes/rational_replicate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/rational_replicate.rs -------------------------------------------------------------------------------- /tests/recipes/trig.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/recipes/trig.rs -------------------------------------------------------------------------------- /tests/szalinski.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/szalinski.rs -------------------------------------------------------------------------------- /tests/trig.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uwplse/ruler/HEAD/tests/trig.rs --------------------------------------------------------------------------------