suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
20,082 Commits 17 Branches 54 Tags 278 MiB
825a931ffa
Commit Graph

77 Commits

Author SHA1 Message Date
Casey Klein
f7fd6ee689 Changes the term generator to produce shorter sequences 
It now uses the (local) size bound instead of the (global) attempt count.
 2011-01-31 12:36:42 -06:00
Casey Klein
3250ff846c Adds a Redex version of Jay's continuation mark transformation 2011-01-29 15:26:30 -06:00
Casey Klein
b45bb829b6 Fixes a bug in metafunction traces 
When the result is in the cache but the cache is not consulted because
`caching-enabled?' is false, the call should not be shown as cached.
 2011-01-14 13:41:09 -06:00
Casey Klein
61607c4da1 Adds a check to the define/extend language parser 2011-01-14 13:41:09 -06:00
Casey Klein
3c2e2fc362 Fixes `extend-reduction-relation' bug. 
The #:domain argument did not apply to inherited rules.
 2011-01-14 13:41:09 -06:00
Casey Klein
56a548c517 Suppresses overridden rules in the names reported for a reduction relation 2011-01-14 13:41:09 -06:00
Casey Klein
de8b1bc101 Fixes a bug in the generation of `side-condition' patterns 
The bindings supplied to `side-condition' predicates by the matcher
sometimes contain the-not-hole; the ones supplied by the generator
must be the same.
 2010-12-31 15:34:31 -06:00
Robby Findler
eb29b17112 adds a #:pred argument to test-->> (in rough analogy to the #:pred argument on traces) 2010-12-20 22:09:10 -06:00
Casey Klein
335e679ec7 Makes the Redex tests less dependent on the wording of blame messages 2010-12-10 13:58:11 -06:00
Casey Klein
7243029786 Fixes a bug in the Redex term generator 2010-12-10 13:58:11 -06:00
Casey Klein
9ea976625d Steven's progress on the compiler 2010-12-06 14:44:38 -06:00
Casey Klein
45ba14cafa Updates OS X bitmaps for minor changes in gr2 rendering 2010-12-02 15:54:46 -06:00
Casey Klein
de775e6dc1 Fixes bug in typesetting tests 2010-11-28 06:43:10 -06:00
Casey Klein
8ff358b559 Abstracts randomized testing forms over the underlying PRG 2010-11-26 13:02:14 -06:00
Casey Klein
d927bc117e Fixes the bug with named contexts in a better way 2010-11-26 13:02:14 -06:00
Casey Klein
1147318426 Fixes bug with `in-hole' generation 2010-11-26 13:02:14 -06:00
Casey Klein
ae164d281b Adds optional `::=' keyword to language definition forms 2010-11-09 10:14:50 -06:00
Robby Findler
38b9b25ae0 redex: added indication of caching for metafunction tracing 2010-11-07 15:31:18 -06:00
Casey Klein
743ccafd15 Improves the error reporting and documentation for `define-relation' 2010-11-05 08:59:46 -05:00
Casey Klein
df810e8e10 Closes PR 11383 2010-11-04 17:31:35 -05:00
Robby Findler
8bf096b1e3 added contracts to define-relation. 
(also removed old, wrong tl-pat stuff from the docs)
 2010-11-04 17:29:14 -05:00
Casey Klein
4542d071d5 Adds the `test-->>∃' form. 2010-10-28 20:22:35 -05:00
Casey Klein
f4c4b79049 Renames delim-cont tests so that they're not stripped by the distribution script. 
(Merge to release branch.)
 2010-10-25 15:18:16 -05:00
Casey Klein
4577de0790 Fixes PR 11336. 2010-10-20 15:56:57 -07:00
Casey Klein
42687d26d1 Reverts most of push #21257. 
That push recompiles a clause of an extended metafunction by
replacing the LHS with a recompiled form of the `lhs-pat' field of the
`metafunc-case' struct. But that field (used by the test generator)
also incorporates the clause's `where' and `side-condition' clauses,
causing them to executed twice when applying the recompiled clause (once
while matching its LHS, and once while evaluating its RHS).
 2010-10-20 15:56:57 -07:00
Robby Findler
93260c7dd0 fixed mangled test case 2010-10-16 22:24:16 -05:00
Robby Findler
ccdea59949 added a failing test case; fixing this one isn't simple, but hopefully will also lead to good performance improvements (for some models at least) 2010-10-16 16:29:17 -05:00
Robby Findler
99d85159b6 adjusted define-metafunction/extension so that it recompiles the old cases in the new language 2010-10-16 16:29:15 -05:00
Robby Findler
e875f262d9 added a test case to be sure that the extension's clauses come before the original clauses in an extended metafunction 2010-10-16 16:29:15 -05:00
Robby Findler
c2d7f58e65 Rackety 2010-10-13 17:44:20 -05:00
Robby Findler
2652237559 fixed a bug in extended languages & the _ check 2010-10-13 17:44:19 -05:00
Robby Findler
c1285b12ed added checks to make ellipses appearing at different depths be a syntax error 2010-10-01 18:09:02 -05:00
Steven Jaconette
7169c0e53e Second patch for redex compiler 
-Fixes some bugs in the model
-Cleans up some unused code
-Adds the test cases
 2010-09-20 10:04:50 -05:00
Casey Klein
17ac1fae3a Adds a parameter to enable the typesetting in commit ce211ac 2010-09-17 13:43:06 -05:00
Robby Findler
ce211ac364 adjusted metafunction application rendering so that ellipses do not 
get commas put in front of them
 2010-09-17 11:39:07 -05:00
Casey Klein
fbd2c3c86f Adds the feature requested in PR 10388 2010-08-18 13:19:12 -05:00
Casey Klein
7daf515f65 Fixes a bug in `define-extended-language' 2010-08-18 13:19:12 -05:00
Casey Klein
85093fb536 Fixes a `plug' bug. 
There are still problems with contexts, but this is an improvement.
 2010-08-18 13:19:11 -05:00
Casey Klein
623925b5d7 Adds the delimited continuations model to examples 2010-08-18 13:19:11 -05:00
Casey Klein
ad308e32f1 Removes undocumented, unmaintained random testing form 2010-07-21 08:46:27 -05:00
Casey Klein
541a0c4ecb Adds #:prepare keyword to random testing forms 2010-07-21 08:46:27 -05:00
Casey Klein
310f9ce05a Makes it a syntax error for a `where' clause to reuse a pattern variable at a different depth 2010-07-20 07:53:16 -05:00
Casey Klein
72b98b77fb Fixes a bug with `where' clauses 2010-07-20 07:53:16 -05:00
Casey Klein
8eb25bb2b9 Adds a #:attempt-size keyword to the random testing forms 2010-07-20 07:53:16 -05:00
Casey Klein
c083335ca5 Changes the matching of `where' clauses to the one most people expect. 2010-06-22 13:20:53 -05:00
Casey Klein
c6ed9b9a12 Fixes a bug in `where' clause binding. 2010-06-22 05:42:17 -05:00
Casey Klein
d6b20a51d2 Lifts mysterious restriction on patterns that now seems unnecessary. 2010-06-21 11:24:30 -05:00
Casey Klein
daa8507e51 Fixes matcher bug 2010-06-21 10:35:05 -05:00
Casey Klein
abd035aec2 Fixes a bug in the way Redex generates tests to exercise the LHSs of a 
meta-function or reduction relation.
 2010-06-07 10:52:23 -05:00
Eli Barzilay
86891b30a1 redex/examples/mzscheme-machine -> racket-machine 2010-05-15 18:41:08 -04:00