gtp-benchmarks

gradual typing performance benchmarks

Build status: ok failing tests valid license

Authors

typesλ08a2fb0

Documentation

gtp-benchmarks

Tags

License

LGPL-2.0-or-later

Last updated

Thursday, April 3rd, 2025 1:38:41pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests failed: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/utahplt/gtp-benchmarks.git	f974dcba643880399df9fe643009e9f04dc58f19

Last checked

Saturday, June 14th, 2025 6:53:58am (UTC)

Last edited

Friday, May 26th, 2023 6:20:09pm (UTC)

Date added

Friday, May 26th, 2023 6:20:09pm (UTC)

Modules

gtp-benchmarks/benchmarks/quadU/untyped/sugar-list.rkt
gtp-benchmarks/benchmarks/quadT/untyped/sugar-list.rkt
gtp-benchmarks/benchmarks/tetris/untyped/bset.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/csp.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/csp.rkt
gtp-benchmarks/utilities/type-info.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-property.rkt
gtp-benchmarks/benchmarks/quadU/typed/main.rkt
gtp-benchmarks/benchmarks/quadT/typed/main.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/main.rkt
gtp-benchmarks/benchmarks/synth/typed/data.rkt
gtp-benchmarks/benchmarks/snake/typed/data.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/problem.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/problem.rkt
gtp-benchmarks/benchmarks/snake/untyped/cut-tail.rkt
gtp-benchmarks/benchmarks/synth/typed/drum.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/utils.rkt
gtp-benchmarks/benchmarks/take5/both/card-pool-types.rkt
gtp-benchmarks/benchmarks/mbta/typed/main.rkt
gtp-benchmarks/benchmarks/take5/typed/stack.rkt
gtp-benchmarks/benchmarks/zombie/untyped/image.rkt
gtp-benchmarks/benchmarks/snake/typed/collide.rkt
gtp-benchmarks/benchmarks/zordoz/base/typed-zo-structs.rkt
gtp-benchmarks/benchmarks/gregor/untyped/core-structs.rkt
gtp-benchmarks/benchmarks/gregor/untyped/datetime.rkt
gtp-benchmarks/benchmarks/snake/typed/motion.rkt
gtp-benchmarks/benchmarks/fsm/typed/utilities.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/structs.rkt
gtp-benchmarks/benchmarks/fsmoo/typed/utilities.rkt
gtp-benchmarks/benchmarks/quadU/untyped/measure.rkt
gtp-benchmarks/benchmarks/quadT/untyped/measure.rkt
gtp-benchmarks/benchmarks/quadU/base/untyped.rkt
gtp-benchmarks/benchmarks/quadT/base/untyped.rkt
gtp-benchmarks/benchmarks/suffixtree/base/untyped.rkt
gtp-benchmarks/benchmarks/zordoz/untyped/zo-shell.rkt
gtp-benchmarks/benchmarks/acquire/untyped/basics.rkt
gtp-benchmarks/benchmarks/quadT/base/quad.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/main.rkt
gtp-benchmarks/benchmarks/mbta/untyped/main.rkt
gtp-benchmarks/benchmarks/gregor/typed/main.rkt
gtp-benchmarks/benchmarks/fsmoo/untyped/automata.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/typed-utils.rkt
gtp-benchmarks/benchmarks/mbta/untyped/run-t.rkt
gtp-benchmarks/benchmarks/gregor/both/tzinfo-adapter.rkt
gtp-benchmarks/benchmarks/gregor/untyped/moment-base.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/syntax-utils.rkt
gtp-benchmarks/scribblings/util.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/label.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/unsafe.rkt
gtp-benchmarks/benchmarks/lnm/typed/lnm-plot.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/inline-sort.rkt
gtp-benchmarks/benchmarks/take5/typed/dealer.rkt
gtp-benchmarks/benchmarks/lnm/untyped/main.rkt
gtp-benchmarks/benchmarks/snake/untyped/data.rkt
gtp-benchmarks/benchmarks/snake/untyped/const.rkt
gtp-benchmarks/benchmarks/zordoz/typed/main.rkt
gtp-benchmarks/benchmarks/forth/base/command-types.rkt
gtp-benchmarks/benchmarks/zordoz/typed/zo-find.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt
gtp-benchmarks/benchmarks/zordoz/base/compiler-zo-structs.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/queue/fifo.rkt
gtp-benchmarks/benchmarks/lnm/untyped/spreadsheet.rkt
gtp-benchmarks/benchmarks/synth/typed/array-broadcast.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-matrix.rkt
gtp-benchmarks/benchmarks/gregor/untyped/hmsn.rkt
gtp-benchmarks/benchmarks/morsecode/typed/levenshtein.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/benv.rkt
gtp-benchmarks/benchmarks/quadU/typed/world.rkt
gtp-benchmarks/benchmarks/quadT/typed/world.rkt
gtp-benchmarks/benchmarks/fsm/typed/main.rkt
gtp-benchmarks/benchmarks/acquire/typed/admin.rkt
gtp-benchmarks/benchmarks/take5/typed/basics.rkt
gtp-benchmarks/benchmarks/tetris/typed/tetras.rkt
gtp-benchmarks/benchmarks/synth/untyped/main.rkt
gtp-benchmarks/benchmarks/dungeon/untyped/utils.rkt
gtp-benchmarks/benchmarks/gregor/untyped/clock.rkt
gtp-benchmarks/benchmarks/kcfa/both/denotable-adapted.rkt
gtp-benchmarks/benchmarks/quadU/untyped/world.rkt
gtp-benchmarks/benchmarks/quadT/untyped/world.rkt
gtp-benchmarks/benchmarks/acquire/untyped/strategy.rkt
gtp-benchmarks/benchmarks/quadU/untyped/penalty-struct.rkt
gtp-benchmarks/benchmarks/quadT/untyped/penalty-struct.rkt
gtp-benchmarks/benchmarks/tetris/untyped/aux.rkt
gtp-benchmarks/benchmarks/quadU/typed/quick-sample.rkt
gtp-benchmarks/benchmarks/quadT/typed/quick-sample.rkt
gtp-benchmarks/benchmarks/take5/both/stack-types.rkt
gtp-benchmarks/benchmarks/synth/typed/main.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt
gtp-benchmarks/benchmarks/gregor/untyped/main.rkt
gtp-benchmarks/benchmarks/dungeon/base/un-types.rkt
gtp-benchmarks/benchmarks/gregor/typed/clock.rkt
gtp-benchmarks/benchmarks/quadU/untyped/main.rkt
gtp-benchmarks/benchmarks/quadT/untyped/main.rkt
gtp-benchmarks/benchmarks/gregor/untyped/date.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/parameters.rkt
gtp-benchmarks/benchmarks/forth/untyped/main.rkt
gtp-benchmarks/benchmarks/lnm/typed/modulegraph.rkt
gtp-benchmarks/benchmarks/synth/typed/array-utils.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-weighted.rkt
gtp-benchmarks/benchmarks/gregor/typed/ymd.rkt
gtp-benchmarks/benchmarks/acquire/typed/main.rkt
gtp-benchmarks/benchmarks/jpeg/base/typedefs.rkt
gtp-benchmarks/benchmarks/forth/untyped/stack.rkt
gtp-benchmarks/benchmarks/acquire/untyped/player.rkt
gtp-benchmarks/benchmarks/quadU/typed/ocm.rkt
gtp-benchmarks/benchmarks/quadT/typed/ocm.rkt
gtp-benchmarks/benchmarks/gregor/base/cldr/core.rkt
gtp-benchmarks/benchmarks/synth/untyped/drum.rkt
gtp-benchmarks/benchmarks/zombie/typed/main.rkt
gtp-benchmarks/benchmarks/fsm/both/automata-adapted.rkt
gtp-benchmarks/benchmarks/jpeg/untyped/bit-ports.rkt
gtp-benchmarks/benchmarks/zombie/both/image-adapted.rkt
gtp-benchmarks/benchmarks/take5/untyped/card.rkt
gtp-benchmarks/benchmarks/jpeg/untyped/jfif.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/helper.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/helper.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/array.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/hash-utils.rkt
gtp-benchmarks/benchmarks/tetris/typed/world.rkt
gtp-benchmarks/benchmarks/fsmoo/untyped/main.rkt
gtp-benchmarks/benchmarks/forth/typed/eval.rkt
gtp-benchmarks/benchmarks/gregor/typed/gregor-structs.rkt
gtp-benchmarks/utilities/count-chaperones.rkt
gtp-benchmarks/benchmarks/gregor/typed/offset-resolvers.rkt
gtp-benchmarks/benchmarks/synth/untyped/array-broadcast.rkt
gtp-benchmarks/benchmarks/gregor/typed/hmsn.rkt
gtp-benchmarks/benchmarks/mbta/base/t-view-types.rkt
gtp-benchmarks/benchmarks/sieve/typed/streams.rkt
gtp-benchmarks/benchmarks/fsmoo/both/population-adapted.rkt
gtp-benchmarks/benchmarks/quadU/untyped/ocm.rkt
gtp-benchmarks/benchmarks/quadT/untyped/ocm.rkt
gtp-benchmarks/benchmarks/tetris/untyped/elim.rkt
gtp-benchmarks/benchmarks/lnm/untyped/lnm-plot.rkt
gtp-benchmarks/benchmarks/morsecode/untyped/morse-code-table.rkt
gtp-benchmarks/benchmarks/take5/typed/deck.rkt
gtp-benchmarks/utilities/modulegraph.rkt
gtp-benchmarks/benchmarks/acquire/untyped/auxiliaries.rkt
gtp-benchmarks/benchmarks/zombie/typed/zombie.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/data.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/ukkonen.rkt
gtp-benchmarks/benchmarks/zombie/untyped/zombie.rkt
gtp-benchmarks/benchmarks/suffixtree/both/typed-data.rkt
gtp-benchmarks/benchmarks/snake/typed/motion-help.rkt
gtp-benchmarks/benchmarks/lnm/base/untyped.rkt
gtp-benchmarks/benchmarks/synth/typed/synth.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-transform.rkt
gtp-benchmarks/benchmarks/mbta/untyped/t-view.rkt
gtp-benchmarks/benchmarks/take5/untyped/basics.rkt
gtp-benchmarks/benchmarks/synth/untyped/array-transform.rkt
gtp-benchmarks/benchmarks/mbta/base/untyped.rkt
gtp-benchmarks/benchmarks/jpeg/typed/main.rkt
gtp-benchmarks/benchmarks/forth/base/make-history.rkt
gtp-benchmarks/benchmarks/acquire/untyped/admin.rkt
gtp-benchmarks/benchmarks/zordoz/typed/zo-shell.rkt
gtp-benchmarks/benchmarks/synth/base/untyped.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph.scrbl
gtp-benchmarks/benchmarks/kcfa/typed/structs.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-syntax.rkt
gtp-benchmarks/benchmarks/acquire/base/untyped.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt
gtp-benchmarks/benchmarks/take5/typed/card.rkt
gtp-benchmarks/benchmarks/synth/typed/array-struct.rkt
gtp-benchmarks/benchmarks/tetris/typed/aux.rkt
gtp-benchmarks/benchmarks/dungeon/untyped/grid.rkt
gtp-benchmarks/benchmarks/dungeon/untyped/message-queue.rkt
gtp-benchmarks/benchmarks/lnm/untyped/bitstring.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/queue/gen-queue.rkt
gtp-benchmarks/benchmarks/kcfa/both/structs-adapted.rkt
gtp-benchmarks/benchmarks/morsecode/base/untyped.rkt
gtp-benchmarks/benchmarks/synth/untyped/array-utils.rkt
gtp-benchmarks/benchmarks/forth/typed/main.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt
gtp-benchmarks/benchmarks/fsmoo/typed/automata.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/gen-graph.rkt
gtp-benchmarks/benchmarks/quadU/untyped/render.rkt
gtp-benchmarks/benchmarks/quadT/untyped/render.rkt
gtp-benchmarks/benchmarks/suffixtree/base/kcfa-typed.rkt
gtp-benchmarks/benchmarks/quadU/typed/render.rkt
gtp-benchmarks/benchmarks/quadT/typed/render.rkt
gtp-benchmarks/benchmarks/take5/both/deck-types.rkt
gtp-benchmarks/benchmarks/jpeg/untyped/exif.rkt
gtp-benchmarks/benchmarks/gregor/untyped/moment.rkt
gtp-benchmarks/patch/count-chaps.rkt
gtp-benchmarks/benchmarks/take5/both/card-adapted.rkt
gtp-benchmarks/benchmarks/fsmoo/typed/main.rkt
gtp-benchmarks/benchmarks/kcfa/typed/main.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt
gtp-benchmarks/benchmarks/mbta/typed/t-view.rkt
gtp-benchmarks/benchmarks/gregor/base/cldr/file.rkt
gtp-benchmarks/benchmarks/gregor/untyped/offset-resolvers.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/os/env.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/queue/priority.rkt
gtp-benchmarks/benchmarks/acquire/typed/auxiliaries.rkt
gtp-benchmarks/benchmarks/quadU/untyped/wrap.rkt
gtp-benchmarks/benchmarks/quadT/untyped/wrap.rkt
gtp-benchmarks/benchmarks/morsecode/typed/morse-code-table.rkt
gtp-benchmarks/benchmarks/fsmoo/both/automata-adapted.rkt
gtp-benchmarks/benchmarks/acquire/untyped/main.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/main.rkt
gtp-benchmarks/benchmarks/take5/untyped/stack.rkt
gtp-benchmarks/benchmarks/snake/typed/main.rkt
gtp-benchmarks/benchmarks/fsmoo/untyped/population.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/os/windows.rkt
gtp-benchmarks/benchmarks/quadU/untyped/utils.rkt
gtp-benchmarks/benchmarks/quadT/untyped/utils.rkt
gtp-benchmarks/benchmarks/tetris/typed/main.rkt
gtp-benchmarks/benchmarks/quadU/both/penalty-struct-adapted.rkt
gtp-benchmarks/benchmarks/quadT/both/penalty-struct-adapted.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/mutable-array.rkt
gtp-benchmarks/benchmarks/fsm/typed/population.rkt
gtp-benchmarks/benchmarks/acquire/both/benchmark-util.rkt
gtp-benchmarks/benchmarks/take5/untyped/deck.rkt
gtp-benchmarks/benchmarks/snake/untyped/main.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/structs.rkt
gtp-benchmarks/benchmarks/morsecode/untyped/levenshtein.rkt
gtp-benchmarks/benchmarks/take5/untyped/dealer.rkt
gtp-benchmarks/benchmarks/forth/untyped/eval.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/lcs.rkt
gtp-benchmarks/benchmarks/tetris/both/base-types.rkt
gtp-benchmarks/benchmarks/tetris/typed/consts.rkt
gtp-benchmarks/utilities/size-info.rkt
gtp-benchmarks/benchmarks/zombie/typed/image.rkt
gtp-benchmarks/benchmarks/forth/base/untyped.rkt
gtp-benchmarks/benchmarks/gregor/typed/date.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/structs.rkt
gtp-benchmarks/benchmarks/suffixtree/typed/ukkonen.rkt
gtp-benchmarks/benchmarks/quadU/typed/quads.rkt
gtp-benchmarks/benchmarks/quadT/typed/quads.rkt
gtp-benchmarks/benchmarks/tetris/untyped/consts.rkt
gtp-benchmarks/benchmarks/snake/untyped/motion-help.rkt
gtp-benchmarks/benchmarks/kcfa/both/time-adapted.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-sequence.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/time.rkt
gtp-benchmarks/benchmarks/jpeg/typed/jfif.rkt
gtp-benchmarks/benchmarks/jpeg/untyped/huffman.rkt
gtp-benchmarks/benchmarks/dungeon/base/cell-types.rkt
gtp-benchmarks/benchmarks/sieve/untyped/main.rkt
gtp-benchmarks/benchmarks/acquire/base/types.rkt
gtp-benchmarks/benchmarks/quadU/untyped/quad-main.rkt
gtp-benchmarks/benchmarks/quadT/untyped/quad-main.rkt
gtp-benchmarks/benchmarks/dungeon/typed/cell.rkt
gtp-benchmarks/benchmarks/tetris/typed/data.rkt
gtp-benchmarks/benchmarks/mbta/base/my-graph.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/domain.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/domain.rkt
gtp-benchmarks/benchmarks/take5/both/player-types.rkt
gtp-benchmarks/benchmarks/gregor/typed/datetime.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt
gtp-benchmarks/benchmarks/synth/untyped/data.rkt
gtp-benchmarks/benchmarks/acquire/both/state-adapted.rkt
gtp-benchmarks/benchmarks/acquire/both/board-adapted.rkt
gtp-benchmarks/benchmarks/mbta/base/t-graph-types.rkt
gtp-benchmarks/benchmarks/zordoz/typed/zo-string.rkt
gtp-benchmarks/benchmarks/fsm/base/untyped.rkt
gtp-benchmarks/benchmarks/synth/typed/mixer.rkt
gtp-benchmarks/benchmarks/jpeg/base/untyped.rkt
gtp-benchmarks/benchmarks/zordoz/untyped/zo-string.rkt
gtp-benchmarks/benchmarks/quadU/untyped/quads.rkt
gtp-benchmarks/benchmarks/quadT/untyped/quads.rkt
gtp-benchmarks/benchmarks/snake/untyped/collide.rkt
gtp-benchmarks/benchmarks/take5/typed/card-pool.rkt
gtp-benchmarks/benchmarks/zordoz/untyped/zo-find.rkt
gtp-benchmarks/benchmarks/gregor/both/gregor-adapter.rkt
gtp-benchmarks/benchmarks/dungeon/typed/utils.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt
gtp-benchmarks/benchmarks/lnm/both/modulegraph-adapted.rkt
gtp-benchmarks/benchmarks/quadU/typed/sugar-list.rkt
gtp-benchmarks/benchmarks/quadT/typed/sugar-list.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/base/base-random.rkt
gtp-benchmarks/benchmarks/gregor/base/types.rkt
gtp-benchmarks/benchmarks/gregor/both/core-adapter.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/os/unix.rkt
gtp-benchmarks/benchmarks/acquire/typed/board.rkt
gtp-benchmarks/benchmarks/zordoz/base/compiler-zo-parse.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt
gtp-benchmarks/benchmarks/acquire/both/tree-adapted.rkt
gtp-benchmarks/benchmarks/quadU/untyped/hyphenate.rkt
gtp-benchmarks/benchmarks/quadT/untyped/hyphenate.rkt
gtp-benchmarks/benchmarks/morsecode/untyped/morse-code-strings.rkt
gtp-benchmarks/benchmarks/quadU/typed/measure.rkt
gtp-benchmarks/benchmarks/quadT/typed/measure.rkt
gtp-benchmarks/benchmarks/kcfa/typed/denotable.rkt
gtp-benchmarks/benchmarks/fsm/untyped/utilities.rkt
gtp-benchmarks/utilities/sample-gtp-measure-manifest.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/ui.rkt
gtp-benchmarks/benchmarks/gregor/typed/difference.rkt
gtp-benchmarks/benchmarks/fsm/untyped/automata.rkt
gtp-benchmarks/benchmarks/take5/typed/main.rkt
gtp-benchmarks/benchmarks/snake/untyped/motion.rkt
gtp-benchmarks/benchmarks/synth/untyped/array-struct.rkt
gtp-benchmarks/benchmarks/acquire/typed/player.rkt
gtp-benchmarks/benchmarks/acquire/typed/tree.rkt
gtp-benchmarks/benchmarks/fsm/untyped/population.rkt
gtp-benchmarks/benchmarks/kcfa/typed/ui.rkt
gtp-benchmarks/benchmarks/lnm/untyped/summary.rkt
gtp-benchmarks/benchmarks/quadU/base/core-types.rkt
gtp-benchmarks/benchmarks/quadT/base/core-types.rkt
gtp-benchmarks/benchmarks/lnm/typed/main.rkt
gtp-benchmarks/benchmarks/jpeg/typed/exif.rkt
gtp-benchmarks/benchmarks/quadU/untyped/ocm-struct.rkt
gtp-benchmarks/benchmarks/quadT/untyped/ocm-struct.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/source.rkt
gtp-benchmarks/benchmarks/quadU/typed/quad-main.rkt
gtp-benchmarks/benchmarks/quadT/typed/quad-main.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/constraint.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/constraint.rkt
gtp-benchmarks/benchmarks/tetris/typed/bset.rkt
gtp-benchmarks/benchmarks/jpeg/typed/bit-ports.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/structs.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt
gtp-benchmarks/scribblings/gtp-benchmarks.scrbl
gtp-benchmarks/benchmarks/fsmoo/untyped/utilities.rkt
gtp-benchmarks/benchmarks/lnm/typed/bitstring.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt
gtp-benchmarks/benchmarks/take5/untyped/card-pool.rkt
gtp-benchmarks/benchmarks/snake/typed/const.rkt
gtp-benchmarks/benchmarks/quadU/base/core.rkt
gtp-benchmarks/benchmarks/quadT/base/core.rkt
gtp-benchmarks/benchmarks/lnm/both/pict-adapted.rkt
gtp-benchmarks/benchmarks/gregor/typed/time.rkt
gtp-benchmarks/benchmarks/quadU/typed/wrap.rkt
gtp-benchmarks/benchmarks/quadT/typed/wrap.rkt
gtp-benchmarks/benchmarks/dungeon/untyped/cell.rkt
gtp-benchmarks/benchmarks/jpeg/base/bytevectors-6-typed.rkt
gtp-benchmarks/benchmarks/kcfa/both/benv-adapted.rkt
gtp-benchmarks/benchmarks/synth/typed/sequencer.rkt
gtp-benchmarks/benchmarks/gregor/untyped/time.rkt
gtp-benchmarks/benchmarks/quadU/typed/utils.rkt
gtp-benchmarks/benchmarks/quadT/typed/utils.rkt
gtp-benchmarks/utilities/copy-configuration.rkt
gtp-benchmarks/benchmarks/zombie/typed/math.rkt
gtp-benchmarks/benchmarks/synth/untyped/sequencer.rkt
gtp-benchmarks/benchmarks/zordoz/typed/zo-transition.rkt
gtp-benchmarks/benchmarks/lnm/untyped/modulegraph.rkt
gtp-benchmarks/benchmarks/tetris/untyped/main.rkt
gtp-benchmarks/benchmarks/fsmoo/base/untyped.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/solver.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/solver.rkt
gtp-benchmarks/benchmarks/gregor/typed/core-structs.rkt
gtp-benchmarks/benchmarks/fsm/typed/automata.rkt
gtp-benchmarks/benchmarks/kcfa/typed/time.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/ai.rkt
gtp-benchmarks/benchmarks/quadU/base/csp/variable.rkt
gtp-benchmarks/benchmarks/quadT/base/csp/variable.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt
gtp-benchmarks/benchmarks/zombie/untyped/main.rkt
gtp-benchmarks/benchmarks/gregor/untyped/difference.rkt
gtp-benchmarks/benchmarks/forth/typed/stack.rkt
gtp-benchmarks/benchmarks/mbta/typed/t-graph.rkt
gtp-benchmarks/benchmarks/tetris/untyped/block.rkt
gtp-benchmarks/benchmarks/gregor/untyped/ymd.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/utils.rkt
gtp-benchmarks/benchmarks/quadU/both/ocm-struct-adapted.rkt
gtp-benchmarks/benchmarks/quadT/both/ocm-struct-adapted.rkt
gtp-benchmarks/benchmarks/sieve/typed/main.rkt
gtp-benchmarks/benchmarks/zombie/base/untyped.rkt
gtp-benchmarks/benchmarks/take5/both/basics-types.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/for-each.rkt
gtp-benchmarks/benchmarks/tetris/typed/elim.rkt
gtp-benchmarks/benchmarks/snake/typed/handlers.rkt
gtp-benchmarks/benchmarks/take5/untyped/main.rkt
gtp-benchmarks/benchmarks/forth/typed/command.rkt
gtp-benchmarks/benchmarks/gregor/typed/moment.rkt
gtp-benchmarks/benchmarks/fsm/both/benchmark-util.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/main.rkt
gtp-benchmarks/benchmarks/zordoz/base/untyped.rkt
gtp-benchmarks/benchmarks/lnm/both/summary-adapted.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt
gtp-benchmarks/benchmarks/acquire/typed/state.rkt
gtp-benchmarks/benchmarks/jpeg/untyped/main.rkt
gtp-benchmarks/benchmarks/dungeon/typed/grid.rkt
gtp-benchmarks/benchmarks/fsmoo/typed/population.rkt
gtp-benchmarks/benchmarks/synth/untyped/mixer.rkt
gtp-benchmarks/benchmarks/zombie/untyped/math.rkt
gtp-benchmarks/benchmarks/dungeon/untyped/main.rkt
gtp-benchmarks/benchmarks/take5/typed/player.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt
gtp-benchmarks/benchmarks/gregor/base/cldr/likely-subtags.rkt
gtp-benchmarks/benchmarks/lnm/typed/spreadsheet.rkt
gtp-benchmarks/benchmarks/acquire/typed/strategy.rkt
gtp-benchmarks/benchmarks/take5/base/untyped.rkt
gtp-benchmarks/benchmarks/gregor/untyped/gregor-structs.rkt
gtp-benchmarks/benchmarks/take5/untyped/player.rkt
gtp-benchmarks/benchmarks/forth/untyped/command.rkt
gtp-benchmarks/benchmarks/tetris/untyped/world.rkt
gtp-benchmarks/benchmarks/lnm/typed/summary.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/base/base-constants.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/exception.rkt
gtp-benchmarks/benchmarks/dungeon/typed/main.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/label.rkt
gtp-benchmarks/benchmarks/tetris/untyped/tetras.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt
gtp-benchmarks/benchmarks/mbta/untyped/t-graph.rkt
gtp-benchmarks/benchmarks/synth/both/typed-data.rkt
gtp-benchmarks/benchmarks/zordoz/untyped/zo-transition.rkt
gtp-benchmarks/benchmarks/synth/typed/array-transform.rkt
gtp-benchmarks/utilities/make-configurations.rkt
gtp-benchmarks/benchmarks/acquire/typed/basics.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/private/generics.rkt
gtp-benchmarks/benchmarks/jpeg/base/math/private/array/array-struct.rkt
gtp-benchmarks/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl
gtp-benchmarks/benchmarks/morsecode/typed/morse-code-strings.rkt
gtp-benchmarks/benchmarks/snake/typed/cut-tail.rkt
gtp-benchmarks/benchmarks/quadU/base/quad-types.rkt
gtp-benchmarks/benchmarks/quadT/base/quad-types.rkt
gtp-benchmarks/benchmarks/snake/untyped/handlers.rkt
gtp-benchmarks/benchmarks/quadU/typed/penalty-struct.rkt
gtp-benchmarks/benchmarks/quadT/typed/penalty-struct.rkt
gtp-benchmarks/benchmarks/synth/untyped/synth.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt
gtp-benchmarks/benchmarks/mbta/typed/run-t.rkt
gtp-benchmarks/benchmarks/tetris/typed/block.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt
gtp-benchmarks/benchmarks/kcfa/untyped/denotable.rkt
gtp-benchmarks/benchmarks/tetris/untyped/data.rkt
gtp-benchmarks/benchmarks/dungeon/typed/message-queue.rkt
gtp-benchmarks/benchmarks/snake/both/data-adaptor.rkt
gtp-benchmarks/benchmarks/sieve/untyped/streams.rkt
gtp-benchmarks/utilities/process-helper.rkt
gtp-benchmarks/benchmarks/zordoz/untyped/main.rkt
gtp-benchmarks/benchmarks/kcfa/typed/ai.rkt
gtp-benchmarks/benchmarks/kcfa/typed/benv.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/main.rkt
gtp-benchmarks/benchmarks/quadU/untyped/quick-sample.rkt
gtp-benchmarks/benchmarks/quadT/untyped/quick-sample.rkt
gtp-benchmarks/benchmarks/quadU/typed/hyphenate.rkt
gtp-benchmarks/benchmarks/quadT/typed/hyphenate.rkt
gtp-benchmarks/benchmarks/take5/both/dealer-types.rkt
gtp-benchmarks/benchmarks/morsecode/untyped/main.rkt
gtp-benchmarks/benchmarks/quadU/typed/ocm-struct.rkt
gtp-benchmarks/benchmarks/quadT/typed/ocm-struct.rkt
gtp-benchmarks/benchmarks/acquire/untyped/state.rkt
gtp-benchmarks/benchmarks/acquire/untyped/tree.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/data.rkt
gtp-benchmarks/benchmarks/fsm/untyped/main.rkt
gtp-benchmarks/benchmarks/gregor/typed/moment-base.rkt
gtp-benchmarks/benchmarks/mbta/base/graph/graph/utils.rkt
gtp-benchmarks/benchmarks/gregor/base/tzinfo/zoneinfo.rkt
gtp-benchmarks/benchmarks/jpeg/typed/huffman.rkt
gtp-benchmarks/benchmarks/acquire/untyped/board.rkt
gtp-benchmarks/benchmarks/morsecode/typed/main.rkt
gtp-benchmarks/benchmarks/gregor/base/untyped.rkt
gtp-benchmarks/benchmarks/suffixtree/untyped/lcs.rkt