├── .github └── workflows │ └── build.yml ├── .gitignore ├── README.md ├── manifest.scm ├── trace-contract-benchmark ├── dataflow │ ├── constant-propagation.rkt │ ├── data │ │ └── dataflow-hist.rktd │ ├── interface.rkt │ ├── lfp.rkt │ ├── main.rkt │ ├── monotone.rkt │ ├── order.rkt │ ├── reduction.rkt │ ├── trace-contract.rkti │ ├── while-class.rkt │ └── while.rkt ├── dungeon │ ├── README.md │ ├── cell.rkt │ ├── grid.rkt │ ├── main.rkt │ ├── message-queue.rkt │ ├── trace-contract.rkti │ ├── un-types.rkt │ └── utils.rkt ├── fish │ ├── admin │ │ ├── manager.rkt │ │ ├── prepare-games.rkt │ │ └── referee.rkt │ ├── common │ │ ├── board.rkt │ │ ├── fish.rkt │ │ ├── game-state.rkt │ │ ├── internal-player.rkt │ │ ├── penguin.rkt │ │ ├── player-interface.rkt │ │ ├── player-trace-contract.rkti │ │ ├── referee-interface.rkt │ │ ├── referee-trace-contract.rkti │ │ └── rules.rkt │ ├── data │ │ ├── fish-hist.rktd │ │ └── make-history.rkt │ ├── lib │ │ ├── hexagon.rkt │ │ ├── list.rkt │ │ ├── pict-hexagon.rkt │ │ ├── struct-accessor.rkt │ │ ├── suspension.rkt │ │ ├── toint.rkt │ │ └── xsend.rkt │ ├── main.rkt │ └── player │ │ ├── greedy.rkt │ │ ├── player.rkt │ │ └── strategy-interface.rkt ├── future │ ├── data │ │ └── mandelbrot.rktd │ ├── lib │ │ ├── main.rkt │ │ ├── private │ │ │ ├── constants.rkt │ │ │ ├── display.rkt │ │ │ ├── drawing-helpers.rkt │ │ │ ├── graph-drawing.rkt │ │ │ ├── visualizer-data.rkt │ │ │ └── visualizer-drawing.rkt │ │ └── trace.rkt │ └── main.rkt ├── info.rkt ├── jpeg │ ├── bit-ports.rkt │ ├── data │ │ └── test.jpg │ ├── exif.rkt │ ├── huffman.rkt │ ├── jfif.rkt │ ├── main.rkt │ ├── trace-contract.rkti │ └── untyped.rkt ├── lnm │ ├── base │ │ ├── data │ │ │ ├── echo.rktd │ │ │ ├── gregor.rktd │ │ │ ├── kcfa.rktd │ │ │ ├── sieve.rktd │ │ │ ├── snake.rktd │ │ │ └── suffixtree.rktd │ │ ├── module-graphs │ │ │ ├── echo.tex │ │ │ ├── gregor.tex │ │ │ ├── kcfa.tex │ │ │ ├── sieve.tex │ │ │ ├── snake.tex │ │ │ └── suffixtree.tex │ │ └── untyped.rkt │ ├── bitstring.rkt │ ├── lnm-plot.rkt │ ├── main.rkt │ ├── modulegraph.rkt │ ├── spreadsheet.rkt │ └── summary.rkt ├── memory │ ├── main.rkt │ └── trace-contract.rkti ├── tetris │ ├── aux.rkt │ ├── base │ │ └── tetris-hist.rktd │ ├── block.rkt │ ├── bset.rkt │ ├── consts.rkt │ ├── data.rkt │ ├── elim.rkt │ ├── main.rkt │ ├── tetras.rkt │ ├── visual.rkt │ └── world.rkt ├── ticket │ ├── admin │ │ ├── manager.rkt │ │ ├── prepare-games.rkt │ │ ├── referee.rkt │ │ └── state.rkt │ ├── common │ │ ├── basic-constants.rkt │ │ ├── connection.rkt │ │ ├── map-serialize.rkt │ │ ├── map.rkt │ │ ├── player-interface.rkt │ │ ├── player-trace-contract.rkti │ │ ├── referee-interface.rkt │ │ ├── referee-trace-contract.rkti │ │ └── state.rkt │ ├── data │ │ ├── big-map.rktd │ │ └── map-1.json │ ├── lib │ │ ├── get-data-url.rkt │ │ ├── get-image-from-url.rkt │ │ ├── list.rkt │ │ └── xsend.rkt │ ├── main.rkt │ └── player │ │ ├── astrategy.rkt │ │ ├── buy-now-strategy.rkt │ │ ├── cheat-strategy.rkt │ │ ├── hold-10-strategy.rkt │ │ ├── istrategy.rkt │ │ └── player.rkt └── util │ ├── README.md │ ├── authors-data.csv │ ├── benchmark.rkt │ ├── constants.rkt │ ├── deps │ └── swdev │ │ ├── .gitignore │ │ ├── .travis.yml │ │ ├── Contracts │ │ └── unique.rkt │ │ ├── Debugging │ │ ├── diff.rkt │ │ └── spy.rkt │ │ ├── Fest │ │ └── README.md │ │ ├── LICENSE-APACHE │ │ ├── LICENSE-MIT │ │ ├── Lib │ │ ├── enumeration.rkt │ │ ├── hash-contract.rkt │ │ ├── json-equal.rkt │ │ ├── json-pretty.rkt │ │ ├── list-private.rkt │ │ ├── list.rkt │ │ ├── matrix-2d.rkt │ │ ├── matrix.rkt │ │ ├── or.rkt │ │ ├── pattern-matching.rkt │ │ ├── pict-plus.rkt │ │ └── should-be-racket.rkt │ │ ├── README.md │ │ ├── Style │ │ └── ll-style.rkt │ │ ├── Testing │ │ ├── README.md │ │ ├── check-values.rkt │ │ ├── communication.rkt │ │ ├── harness.rkt │ │ ├── make-client.rkt │ │ ├── port-objects.rkt │ │ ├── tcp.rkt │ │ └── testing.rkt │ │ └── main.rkt │ ├── measure.rkt │ ├── modifier │ ├── draw │ │ ├── README.md │ │ ├── main.rkt │ │ ├── support │ │ │ ├── bitmap.rkt │ │ │ ├── brush.rkt │ │ │ ├── cache.rkt │ │ │ ├── dc-intf.rkt │ │ │ ├── main.rkt │ │ │ └── pen.rkt │ │ └── trace-contract.rkti │ ├── gui │ │ ├── cocoa-canvas.rkt │ │ └── gtk-canvas.rkt │ └── typed-racket-more │ │ └── draw.rkt │ ├── refresh-bytecode.rkt │ ├── sloc.rkt │ └── tabulate.rkt ├── trace-contract-lib ├── info.rkt ├── main.rkt └── private │ ├── attribute-contract.rkt │ ├── checker.rkt │ ├── clause.rkt │ ├── collector-contract.rkt │ ├── collector-transformer.rkt │ ├── decl.rkt │ ├── fail.rkt │ ├── full-clause.rkt │ ├── logger.rkt │ ├── object-trace.rkt │ ├── subclause.rkt │ ├── trace-contract-macro.rkt │ ├── trace-contract.rkt │ ├── track-clause.rkt │ └── util.rkt └── trace-contract ├── example ├── README.md ├── all.rkt ├── bank-oo.rkt ├── bank.rkt ├── combine.rkt ├── concurrent.rkt ├── draw.rkt ├── explain.rkt ├── factory-shared.rkt ├── factory.rkt ├── files.rkt ├── fold.rkt ├── free.rkt ├── global-fold.rkt ├── has-next.rkt ├── increase.rkt ├── increment.rkt ├── indy-ignore.rkt ├── injective.rkt ├── listener.rkt ├── lock.rkt ├── logic.rkt ├── merge.rkt ├── monotone.rkt ├── multi-blame.rkt ├── mutable-key.rkt ├── nested.rkt ├── partial-order.rkt ├── reset.rkt ├── shared.rkt ├── step.rkt ├── string.rkt ├── support │ └── x.png ├── suspect.rkt ├── take5.rkt └── util │ ├── red-black-tree.rkt │ └── test.rkt ├── info.rkt ├── model ├── compiler.rkt ├── semantics.rkt ├── syntax.rkt └── test.rkt ├── scribblings └── trace-contract.scrbl └── test ├── attribute-contract.rkt ├── decl.rkt ├── trace-contract-macro.rkt └── util.rkt /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/README.md -------------------------------------------------------------------------------- /manifest.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/manifest.scm -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/constant-propagation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/constant-propagation.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/data/dataflow-hist.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/data/dataflow-hist.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/lfp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/lfp.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/monotone.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/monotone.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/order.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/order.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/reduction.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/reduction.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/while-class.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/while-class.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dataflow/while.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dataflow/while.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/cell.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/cell.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/grid.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/grid.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/message-queue.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/message-queue.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/un-types.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/un-types.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/dungeon/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/dungeon/utils.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/admin/manager.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/admin/manager.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/admin/prepare-games.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/admin/prepare-games.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/admin/referee.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/admin/referee.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/board.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/board.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/fish.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/fish.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/game-state.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/game-state.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/internal-player.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/internal-player.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/penguin.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/penguin.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/player-interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/player-interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/player-trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/player-trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/referee-interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/referee-interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/referee-trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/referee-trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/common/rules.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/common/rules.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/data/fish-hist.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/data/fish-hist.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/data/make-history.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/data/make-history.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/hexagon.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/hexagon.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/list.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/pict-hexagon.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/pict-hexagon.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/struct-accessor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/struct-accessor.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/suspension.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/suspension.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/toint.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/toint.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/lib/xsend.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/lib/xsend.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/player/greedy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/player/greedy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/player/player.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/player/player.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/fish/player/strategy-interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/fish/player/strategy-interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/data/mandelbrot.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/data/mandelbrot.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/constants.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/constants.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/display.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/display.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/drawing-helpers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/drawing-helpers.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/graph-drawing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/graph-drawing.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/visualizer-data.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/visualizer-data.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/private/visualizer-drawing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/private/visualizer-drawing.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/lib/trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/lib/trace.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/future/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/future/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/info.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/bit-ports.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/bit-ports.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/data/test.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/data/test.jpg -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/exif.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/exif.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/huffman.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/huffman.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/jfif.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/jfif.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/jpeg/untyped.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/jpeg/untyped.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/echo.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/echo.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/gregor.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/gregor.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/kcfa.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/kcfa.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/sieve.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/sieve.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/snake.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/snake.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/data/suffixtree.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/data/suffixtree.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/echo.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/echo.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/gregor.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/gregor.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/kcfa.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/kcfa.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/sieve.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/sieve.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/snake.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/snake.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/module-graphs/suffixtree.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/module-graphs/suffixtree.tex -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/base/untyped.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/base/untyped.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/bitstring.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/bitstring.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/lnm-plot.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/lnm-plot.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/modulegraph.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/modulegraph.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/spreadsheet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/spreadsheet.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/lnm/summary.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/lnm/summary.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/memory/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/memory/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/memory/trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/memory/trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/aux.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/aux.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/base/tetris-hist.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/base/tetris-hist.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/block.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/block.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/bset.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/bset.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/consts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/consts.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/data.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/data.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/elim.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/elim.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/tetras.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/tetras.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/visual.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/visual.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/tetris/world.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/tetris/world.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/admin/manager.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/admin/manager.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/admin/prepare-games.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/admin/prepare-games.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/admin/referee.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/admin/referee.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/admin/state.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/admin/state.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/basic-constants.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/basic-constants.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/connection.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/connection.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/map-serialize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/map-serialize.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/map.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/map.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/player-interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/player-interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/player-trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/player-trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/referee-interface.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/referee-interface.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/referee-trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/referee-trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/common/state.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/common/state.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/data/big-map.rktd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/data/big-map.rktd -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/data/map-1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/data/map-1.json -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/lib/get-data-url.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/lib/get-data-url.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/lib/get-image-from-url.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/lib/get-image-from-url.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/lib/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/lib/list.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/lib/xsend.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/lib/xsend.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/astrategy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/astrategy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/buy-now-strategy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/buy-now-strategy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/cheat-strategy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/cheat-strategy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/hold-10-strategy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/hold-10-strategy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/istrategy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/istrategy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/ticket/player/player.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/ticket/player/player.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/util/authors-data.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/authors-data.csv -------------------------------------------------------------------------------- /trace-contract-benchmark/util/benchmark.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/benchmark.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/constants.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/constants.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/.gitignore -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/.travis.yml -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Contracts/unique.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Contracts/unique.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Debugging/diff.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Debugging/diff.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Debugging/spy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Debugging/spy.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Fest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Fest/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/LICENSE-APACHE -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/LICENSE-MIT -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/enumeration.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/enumeration.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/hash-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/hash-contract.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/json-equal.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/json-equal.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/json-pretty.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/json-pretty.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/list-private.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/list-private.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/list.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/matrix-2d.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/matrix-2d.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/matrix.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/matrix.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/or.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/pattern-matching.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/pattern-matching.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/pict-plus.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/pict-plus.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Lib/should-be-racket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Lib/should-be-racket.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Style/ll-style.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Style/ll-style.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/check-values.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/check-values.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/communication.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/communication.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/harness.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/harness.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/make-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/make-client.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/port-objects.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/port-objects.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/tcp.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/Testing/testing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/Testing/testing.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/deps/swdev/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/deps/swdev/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/measure.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/measure.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/README.md -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/bitmap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/bitmap.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/brush.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/brush.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/cache.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/cache.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/dc-intf.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/dc-intf.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/main.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/support/pen.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/support/pen.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/draw/trace-contract.rkti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/draw/trace-contract.rkti -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/gui/cocoa-canvas.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/gui/cocoa-canvas.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/gui/gtk-canvas.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/gui/gtk-canvas.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/modifier/typed-racket-more/draw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/modifier/typed-racket-more/draw.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/refresh-bytecode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/refresh-bytecode.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/sloc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/sloc.rkt -------------------------------------------------------------------------------- /trace-contract-benchmark/util/tabulate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-benchmark/util/tabulate.rkt -------------------------------------------------------------------------------- /trace-contract-lib/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/info.rkt -------------------------------------------------------------------------------- /trace-contract-lib/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/main.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/attribute-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/attribute-contract.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/checker.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/checker.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/clause.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/clause.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/collector-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/collector-contract.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/collector-transformer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/collector-transformer.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/decl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/decl.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/fail.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/fail.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/full-clause.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/full-clause.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/logger.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/logger.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/object-trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/object-trace.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/subclause.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/subclause.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/trace-contract-macro.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/trace-contract-macro.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/trace-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/trace-contract.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/track-clause.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/track-clause.rkt -------------------------------------------------------------------------------- /trace-contract-lib/private/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract-lib/private/util.rkt -------------------------------------------------------------------------------- /trace-contract/example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/README.md -------------------------------------------------------------------------------- /trace-contract/example/all.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/all.rkt -------------------------------------------------------------------------------- /trace-contract/example/bank-oo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/bank-oo.rkt -------------------------------------------------------------------------------- /trace-contract/example/bank.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/bank.rkt -------------------------------------------------------------------------------- /trace-contract/example/combine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/combine.rkt -------------------------------------------------------------------------------- /trace-contract/example/concurrent.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/concurrent.rkt -------------------------------------------------------------------------------- /trace-contract/example/draw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/draw.rkt -------------------------------------------------------------------------------- /trace-contract/example/explain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/explain.rkt -------------------------------------------------------------------------------- /trace-contract/example/factory-shared.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/factory-shared.rkt -------------------------------------------------------------------------------- /trace-contract/example/factory.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/factory.rkt -------------------------------------------------------------------------------- /trace-contract/example/files.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/files.rkt -------------------------------------------------------------------------------- /trace-contract/example/fold.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/fold.rkt -------------------------------------------------------------------------------- /trace-contract/example/free.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/free.rkt -------------------------------------------------------------------------------- /trace-contract/example/global-fold.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/global-fold.rkt -------------------------------------------------------------------------------- /trace-contract/example/has-next.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/has-next.rkt -------------------------------------------------------------------------------- /trace-contract/example/increase.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/increase.rkt -------------------------------------------------------------------------------- /trace-contract/example/increment.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/increment.rkt -------------------------------------------------------------------------------- /trace-contract/example/indy-ignore.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/indy-ignore.rkt -------------------------------------------------------------------------------- /trace-contract/example/injective.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/injective.rkt -------------------------------------------------------------------------------- /trace-contract/example/listener.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/listener.rkt -------------------------------------------------------------------------------- /trace-contract/example/lock.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/lock.rkt -------------------------------------------------------------------------------- /trace-contract/example/logic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/logic.rkt -------------------------------------------------------------------------------- /trace-contract/example/merge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/merge.rkt -------------------------------------------------------------------------------- /trace-contract/example/monotone.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/monotone.rkt -------------------------------------------------------------------------------- /trace-contract/example/multi-blame.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/multi-blame.rkt -------------------------------------------------------------------------------- /trace-contract/example/mutable-key.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/mutable-key.rkt -------------------------------------------------------------------------------- /trace-contract/example/nested.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/nested.rkt -------------------------------------------------------------------------------- /trace-contract/example/partial-order.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/partial-order.rkt -------------------------------------------------------------------------------- /trace-contract/example/reset.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/reset.rkt -------------------------------------------------------------------------------- /trace-contract/example/shared.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/shared.rkt -------------------------------------------------------------------------------- /trace-contract/example/step.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/step.rkt -------------------------------------------------------------------------------- /trace-contract/example/string.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/string.rkt -------------------------------------------------------------------------------- /trace-contract/example/support/x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/support/x.png -------------------------------------------------------------------------------- /trace-contract/example/suspect.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/suspect.rkt -------------------------------------------------------------------------------- /trace-contract/example/take5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/take5.rkt -------------------------------------------------------------------------------- /trace-contract/example/util/red-black-tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/util/red-black-tree.rkt -------------------------------------------------------------------------------- /trace-contract/example/util/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/example/util/test.rkt -------------------------------------------------------------------------------- /trace-contract/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/info.rkt -------------------------------------------------------------------------------- /trace-contract/model/compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/model/compiler.rkt -------------------------------------------------------------------------------- /trace-contract/model/semantics.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/model/semantics.rkt -------------------------------------------------------------------------------- /trace-contract/model/syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/model/syntax.rkt -------------------------------------------------------------------------------- /trace-contract/model/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/model/test.rkt -------------------------------------------------------------------------------- /trace-contract/scribblings/trace-contract.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/scribblings/trace-contract.scrbl -------------------------------------------------------------------------------- /trace-contract/test/attribute-contract.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/test/attribute-contract.rkt -------------------------------------------------------------------------------- /trace-contract/test/decl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/test/decl.rkt -------------------------------------------------------------------------------- /trace-contract/test/trace-contract-macro.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/test/trace-contract-macro.rkt -------------------------------------------------------------------------------- /trace-contract/test/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/camoy/trace-contract/HEAD/trace-contract/test/util.rkt --------------------------------------------------------------------------------