suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1ca79003f1
racket/collects/redex/tests
History
Robby Findler e788c6f49e adjust define-judgment-form so that it 
a) avoids creating big intermediate lists of the same things over and over
   (this closes PR 12380)
b) generates less code (by generating calls to local functions)
c) normalizes its output (sorts by the printed representation)
2011-11-20 22:50:07 -06:00
..
bmps-macosx Adds missing test image 2011-09-08 10:43:23 -05:00
bmps-unix updated the unix bitmaps 2010-03-31 12:36:44 +00:00
compiler ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
run-err-tests Tests defined-checks directly 2011-08-30 15:10:50 -05:00
syn-err-tests added support for where & side-condition & judgment-holds to define-relation 2011-11-20 21:34:22 -06:00
bitmap-test-util.rkt Makes tests executable from outside their directory 2011-08-05 07:19:21 -05:00
bitmap-test.rkt Adds support for `judgment-holds' clauses in metafunctions 2011-09-08 09:11:52 -05:00
check-syntax-test.rkt Adds define-term form 2011-08-30 15:10:50 -05:00
color-test.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
core-layout-test.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
defined-checks-test.rkt Tests defined-checks directly 2011-08-30 15:10:50 -05:00
hole-test.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
keyword-macros-test.rkt Fixes keyword tests 2011-07-16 18:19:22 -05:00
lw-test-util.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
lw-test.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
matcher-test.rkt Fixes matching of prefab struct literals 2011-10-17 19:37:16 -05:00
pict-test.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
rg-test.rkt Refactors meta-function implementation further 2011-08-05 07:19:22 -05:00
run-tests.rkt Add evaluation contexts for by-need letrec calculus as an example 2011-09-19 12:20:45 -05:00
stepper-test.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
term-test.rkt Adds define-judgment-form form 2011-08-05 07:19:23 -05:00
test-docs-complete.rkt moved the docs-complete library into rackunit 2011-05-05 16:10:42 -05:00
test-util.rkt added support for where & side-condition & judgment-holds to define-relation 2011-11-20 21:34:22 -06:00
tl-test.rkt adjust define-judgment-form so that it 2011-11-20 22:50:07 -06:00