racket

History

Robby Findler 5dcbedc768 redex: adjust the caching strategy Instead of using a hash-table, use the equal-hash-code directly; this lets me evict entries only when they clobber each other, and generally keep good cache utilization. Also, cut the cache size by a factor of 5 while still having a slight performance improvement on the r6rs test suite benchmark. On that same benchmark, there are 1714812 misses in the cache, but only 3485 times is an entry in the cache clobbered		2012-01-02 10:08:31 -06:00
..
r6rs-tests.rkt	redex: adjust the caching strategy	2012-01-02 10:08:31 -06:00
r6rs.rkt
racket-vs-redex.rkt
README
show-examples.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
test.rkt

README

This directory a the PLT Redex implementation of the
R6RS operational semantics and a test suite for the
semantics.

== r6rs.ss: the semantics itself.

== r6rs-tests.ss: the test suite for the semantics. Use:

   racket -t r6rs-tests.ss -m

   to run the tests and see a single period shown per test
   run (each test that explores more than 100 states shows a
   colon for each 100 states it explores). To see a more
   verbose output (that shows each test), use:

   racket -t r6rs-tests.ss -m #t

== show-examples.ss: use this file to explore particular
   examples in a GUI. Its content shows how to use it and
   gives a few examples. Either run it in DrRacket's module
   language, or like this from the commandline:

   gracket show-examples.ss

== test.ss: test suite infrastructure