trace-contract-benchmark

Build status: ok failing tests missing license metadata

Authors

camoyλ201328c

Documentation

Tags

License

Last updated

Tuesday, July 1st, 2025 2:59:57pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests failed: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/camoy/trace-contract.git?path=trace-contract-benchmark	31f0c04bbd159b72175fbfbbe59f868ee5036607

Last checked

Wednesday, December 3rd, 2025 5:56:04pm (UTC)

Last edited

Tuesday, December 17th, 2024 4:22:55pm (UTC)

Date added

Tuesday, December 17th, 2024 4:22:55pm (UTC)

Modules

trace-contract/dataflow/interface.rkt
trace-contract/ticket/admin/manager.rkt
trace-contract/util/benchmark.rkt
trace-contract/util/modifier/gui/gtk-canvas.rkt
trace-contract/tetris/elim.rkt
trace-contract/ticket/player/astrategy.rkt
trace-contract/lnm/bitstring.rkt
trace-contract/lnm/base/untyped.rkt
trace-contract/ticket/lib/get-data-url.rkt
trace-contract/util/refresh-bytecode.rkt
trace-contract/util/deps/swdev/Lib/json-equal.rkt
trace-contract/util/modifier/typed-racket-more/draw.rkt
trace-contract/util/deps/swdev/Lib/or.rkt
trace-contract/future/lib/private/graph-drawing.rkt
trace-contract/ticket/main.rkt
trace-contract/util/modifier/draw/support/pen.rkt
trace-contract/ticket/player/player.rkt
trace-contract/future/lib/trace.rkt
trace-contract/fish/admin/prepare-games.rkt
trace-contract/fish/lib/suspension.rkt
trace-contract/jpeg/bit-ports.rkt
trace-contract/dataflow/lfp.rkt
trace-contract/util/deps/swdev/Lib/hash-contract.rkt
trace-contract/jpeg/untyped.rkt
trace-contract/ticket/admin/state.rkt
trace-contract/future/main.rkt
trace-contract/jpeg/exif.rkt
trace-contract/util/deps/swdev/Contracts/unique.rkt
trace-contract/dataflow/constant-propagation.rkt
trace-contract/tetris/tetras.rkt
trace-contract/util/tabulate.rkt
trace-contract/util/deps/swdev/Lib/should-be-racket.rkt
trace-contract/util/deps/swdev/Lib/list-private.rkt
trace-contract/util/modifier/draw/support/bitmap.rkt
trace-contract/jpeg/jfif.rkt
trace-contract/dataflow/main.rkt
trace-contract/fish/admin/manager.rkt
trace-contract/dataflow/reduction.rkt
trace-contract/lnm/main.rkt
trace-contract/util/modifier/draw/support/brush.rkt
trace-contract/fish/data/make-history.rkt
trace-contract/dungeon/utils.rkt
trace-contract/util/deps/swdev/Lib/pattern-matching.rkt
trace-contract/ticket/player/buy-now-strategy.rkt
trace-contract/ticket/admin/prepare-games.rkt
trace-contract/ticket/common/map.rkt
trace-contract/tetris/main.rkt
trace-contract/lnm/summary.rkt
trace-contract/ticket/admin/referee.rkt
trace-contract/tetris/visual.rkt
trace-contract/tetris/data.rkt
trace-contract/util/deps/swdev/Testing/harness.rkt
trace-contract/util/deps/swdev/Style/ll-style.rkt
trace-contract/fish/lib/hexagon.rkt
trace-contract/util/deps/swdev/Testing/check-values.rkt
trace-contract/util/deps/swdev/main.rkt
trace-contract/lnm/modulegraph.rkt
trace-contract/future/lib/private/visualizer-drawing.rkt
trace-contract/fish/player/player.rkt
trace-contract/util/modifier/gui/cocoa-canvas.rkt
trace-contract/util/deps/swdev/Debugging/diff.rkt
trace-contract/fish/common/game-state.rkt
trace-contract/ticket/player/istrategy.rkt
trace-contract/future/lib/private/drawing-helpers.rkt
trace-contract/fish/lib/xsend.rkt
trace-contract/fish/lib/toint.rkt
trace-contract/util/deps/swdev/Testing/port-objects.rkt
trace-contract/dungeon/grid.rkt
trace-contract/future/lib/private/display.rkt
trace-contract/util/measure.rkt
trace-contract/lnm/spreadsheet.rkt
trace-contract/util/deps/swdev/Testing/communication.rkt
trace-contract/dataflow/order.rkt
trace-contract/ticket/common/player-interface.rkt
trace-contract/util/deps/swdev/Lib/enumeration.rkt
trace-contract/util/deps/swdev/Testing/testing.rkt
trace-contract/util/deps/swdev/Debugging/spy.rkt
trace-contract/future/lib/private/visualizer-data.rkt
trace-contract/util/modifier/draw/support/main.rkt
trace-contract/fish/common/internal-player.rkt
trace-contract/fish/lib/list.rkt
trace-contract/util/deps/swdev/Lib/list.rkt
trace-contract/fish/player/strategy-interface.rkt
trace-contract/tetris/block.rkt
trace-contract/util/sloc.rkt
trace-contract/dungeon/message-queue.rkt
trace-contract/jpeg/huffman.rkt
trace-contract/fish/main.rkt
trace-contract/ticket/player/hold-10-strategy.rkt
trace-contract/tetris/world.rkt
trace-contract/dataflow/monotone.rkt
trace-contract/util/constants.rkt
trace-contract/dataflow/while-class.rkt
trace-contract/ticket/lib/list.rkt
trace-contract/dungeon/cell.rkt
trace-contract/tetris/consts.rkt
trace-contract/ticket/lib/get-image-from-url.rkt
trace-contract/util/deps/swdev/Testing/make-client.rkt
trace-contract/ticket/lib/xsend.rkt
trace-contract/ticket/common/referee-interface.rkt
trace-contract/util/deps/swdev/Lib/json-pretty.rkt
trace-contract/ticket/common/connection.rkt
trace-contract/fish/lib/pict-hexagon.rkt
trace-contract/fish/common/player-interface.rkt
trace-contract/fish/common/referee-interface.rkt
trace-contract/tetris/aux.rkt
trace-contract/fish/common/fish.rkt
trace-contract/util/modifier/draw/main.rkt
trace-contract/fish/common/penguin.rkt
trace-contract/tetris/bset.rkt
trace-contract/memory/main.rkt
trace-contract/ticket/common/basic-constants.rkt
trace-contract/util/modifier/draw/support/cache.rkt
trace-contract/future/lib/main.rkt
trace-contract/util/deps/swdev/Lib/matrix.rkt
trace-contract/dataflow/while.rkt
trace-contract/util/deps/swdev/Lib/pict-plus.rkt
trace-contract/fish/common/rules.rkt
trace-contract/ticket/common/state.rkt
trace-contract/fish/lib/struct-accessor.rkt
trace-contract/lnm/lnm-plot.rkt
trace-contract/jpeg/main.rkt
trace-contract/ticket/player/cheat-strategy.rkt
trace-contract/future/lib/private/constants.rkt
trace-contract/ticket/common/map-serialize.rkt
trace-contract/dungeon/main.rkt
trace-contract/dungeon/un-types.rkt
trace-contract/fish/player/greedy.rkt
trace-contract/util/deps/swdev/Lib/matrix-2d.rkt
trace-contract/fish/admin/referee.rkt
trace-contract/util/modifier/draw/support/dc-intf.rkt
trace-contract/fish/common/board.rkt
trace-contract/util/deps/swdev/Testing/tcp.rkt