redex-benchmark

PLT Redex Benchmark

Build status: valid license

README Download
Authors
Documentation
    Tags
    License
    Last updatedTuesday, December 2nd, 2025 10:54:41pm (UTC)
    Ring0
    ConflictsNone
    Dependencies
    Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/racket/redex/?path=redex-benchmarka1eadef2762c3e4c641eb476ccaef033cce3192c
      Last checkedMonday, December 15th, 2025 12:54:47pm (UTC)
      Last editedThursday, December 4th, 2014 2:19:43am (UTC)
      Date addedN/A
      Modules
      • redex/benchmark/models/all-info.rkt
      • redex/benchmark/models/rbtrees/rbtrees-info.rkt
      • redex/benchmark/models/let-poly/let-poly-info.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-3.rkt
      • redex/benchmark/models/delim-cont/delim-cont-1.rkt
      • redex/benchmark/models/rvm/rvm-5.rkt
      • redex/benchmark/models/rvm/jdg-grammar.rkt
      • redex/benchmark/models/util/info-util.rkt
      • redex/benchmark/models/delim-cont/delim-cont-3.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-7.rkt
      • redex/benchmark/models/delim-cont/delim-cont-info.rkt
      • redex/benchmark/models/stlc+lists/stlc-8.rkt
      • redex/benchmark/models/stlc+lists/stlc-6.rkt
      • redex/benchmark/models/let-poly/generators.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-5.rkt
      • redex/benchmark/models/stlc+lists/stlc-3.rkt
      • redex/benchmark/models/list-machine/list-machine-info.rkt
      • redex/benchmark/models/delim-cont/delim-cont-2.rkt
      • redex/benchmark/models/stlc+lists/stlc-5.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-8.rkt
      • redex/benchmark/models/poly-stlc/typed-info.rkt
      • redex/benchmark/models/let-poly/let-poly-4.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-7.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-9.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-6.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-6.rkt
      • redex/benchmark/models/rvm/verif-jdg.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-2.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-1.rkt
      • redex/benchmark/models/delim-cont/generators.rkt
      • redex/benchmark/models/rbtrees/typed-info.rkt
      • redex/benchmark/private/logging.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-8.rkt
      • redex/benchmark/private/rewrite.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-4.rkt
      • redex/benchmark/private/graph-data.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-5.rkt
      • redex/benchmark/models/rbtrees/rbtrees-1.rkt
      • redex/benchmark/models/let-poly/let-poly-5.rkt
      • redex/benchmark/models/stlc+lists/typed-info.rkt
      • redex/benchmark/models/rvm/generators.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-1.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-9.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-3.rkt
      • redex/benchmark/private/gen-run.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-3.rkt
      • redex/benchmark/models/let-poly/let-poly-2.rkt
      • redex/benchmark/models/poly-stlc/generators.rkt
      • redex/benchmark/models/let-poly/let-poly-3.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-9.rkt
      • redex/benchmark/private/rw-defs.rkt
      • redex/benchmark/models/rbtrees/generators.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-8.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-5.rkt
      • redex/benchmark/models/stlc+lists/stlc-2.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-2.rkt
      • redex/benchmark/models/stlc+lists/stlc-4.rkt
      • redex/benchmark/models/rvm/rvm-4.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-info.rkt
      • redex/benchmark/models/stlc-subst/util.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-4.rkt
      • redex/benchmark/private/plot-lines.rkt
      • redex/benchmark/models/rvm/rvm-15.rkt
      • redex/benchmark/models/stlc+lists/stlc-7.rkt
      • redex/benchmark/models/rbtrees/rbtrees-3.rkt
      • redex/benchmark/models/list-machine/generators.rkt
      • redex/benchmark/models/stlc+lists/stlc-9.rkt
      • redex/benchmark/models/stlc+lists/util.rkt
      • redex/benchmark/models/rbtrees/rbtrees-2.rkt
      • redex/benchmark/models/stlc+lists/generators.rkt
      • redex/benchmark/models/rvm/rvm-3.rkt
      • redex/benchmark/models/stlc+lists/stlc-info.rkt
      • redex/benchmark/models/let-poly/let-poly-6.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-1.rkt
      • redex/benchmark/models/list-machine/util.rkt
      • redex/benchmark/models/stlc-subst/typed-info.rkt
      • redex/benchmark/models/list-machine/typed-info.rkt
      • redex/benchmark/models/delim-cont/delim-cont.rkt
      • redex/benchmark/models/rvm/rvm-6.rkt
      • redex/benchmark/models/delim-cont/typed-info.rkt
      • redex/benchmark/models/list-machine/list-machine-3.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-info.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-7.rkt
      • redex/benchmark/models/type-all-info.rkt
      • redex/benchmark/models/let-poly/util.rkt
      • redex/benchmark/models/rbtrees/util.rkt
      • redex/benchmark/models/poly-stlc/util.rkt
      • redex/benchmark/models/let-poly/let-poly-7.rkt
      • redex/benchmark/run-benchmark.rkt
      • redex/benchmark/models/rvm/rvm-14.rkt
      • redex/benchmark/models/let-poly/typed-info.rkt
      • redex/benchmark.rkt
      • redex/benchmark/models/stlc-subst/stlc-sub-6.rkt
      • redex/benchmark/models/rvm/util.rkt
      • redex/benchmark/models/list-machine/list-machine-2.rkt
      • redex/benchmark/models/list-machine/list-machine-1.rkt
      • redex/benchmark/models/rvm/typed-info.rkt
      • redex/benchmark/models/rvm/rvm-2.rkt
      • redex/benchmark/run-generator.rkt
      • redex/benchmark/models/stlc+lists/stlc-with-binding-2.rkt
      • redex/benchmark/models/let-poly/let-poly-1.rkt
      • redex/benchmark/models/stlc-subst/generators.rkt
      • redex/benchmark/models/list-machine/ls-typed-gen.rkt
      • redex/benchmark/models/delim-cont/test.rkt
      • redex/benchmark/models/rvm/rvm-info.rkt
      • redex/benchmark/models/poly-stlc/poly-stlc-4.rkt
      • redex/benchmark/models/stlc+lists/stlc-1.rkt
      • redex/benchmark/models/delim-cont/util.rkt