/contract-benchmarks

Benchmarks for the Racket contract system.

Primary LanguageRacket

Contract Benchmarks

Adapted from the benchmarks from the Chaperones paper:
Chaperones and Impersonators: Run-time Support for Reasonable Interposition.
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, and Matthew
Flatt. OOPSLA 2012.

Include frozen version of collects that the benchmarks depend on.

`plot' and `lazy' frozen on Apr. 10, 2013.
Commit 3feb6cf039c90486616f65b62059dc4cad9bdc13.

`ode' and `tr' frozen on Apr. 23, 2013.
Commit 1f3e38d305eefd4e79615688e6327e8b3c8faec0.
(Backporting part of c321f6dd0c4e for TR.)

`slideshow', `make-guide' and `render-guide' frozen on May 15, 2013.
`keyboard' frozen on May 20, 2013.
Commit ab5075bc762356f86bb7dfd34dac8d24ada1a140.