Casey Klein
6fd3eea815
Disables randomized tests (of the randomized tests).
...
The runtime is too long and variable to work well in DrDr.
2010-12-02 15:54:47 -06:00
Casey Klein
c3f0052eac
Deletes incorrect comment.
2010-12-02 15:54:47 -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
2a8fdd9646
Adjusts typesetting to account for gr2 rendering of filled rectangles
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
1ccd6e7a2c
Randomized tests for the delimited control model.
...
Tests in randomized-tests.rkt are deliberately not run by DrDr at the
moment because they fail too consistently.
2010-11-26 13:24:21 -06:00
Casey Klein
8ff358b559
Abstracts randomized testing forms over the underlying PRG
2010-11-26 13:02:14 -06:00
Casey Klein
b616ac3cd4
Fixes substitution bugs
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
abf2574189
Fixes a bug introduces while updating to newer version of Redex
2010-11-26 13:02:14 -06:00
Casey Klein
6bfbdfd582
Fixes another bug in continuation mark collection
2010-11-26 13:02:14 -06:00
Casey Klein
8e69aa6ac2
Fixes minor bugs in two core reduction rules
2010-11-26 13:02:14 -06:00
Casey Klein
48a5c19a4e
Fixes another bug in continuation mark collection
2010-11-26 13:02:14 -06:00
Casey Klein
d0e03bf53a
Updates context matching with missing % contexts
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
e7e504741e
Fixes definition of evaluation contexts
2010-11-26 13:02:13 -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
f9b64fa2b8
Removes `apply-reduction-relation*' trie experiment
2010-10-31 17:28:19 -05:00
Casey Klein
152084d5ce
Adds an experiment in using a trie in `apply-reduction-relation*'
2010-10-31 17:26:20 -05:00
Casey Klein
e9a909a504
Adds randomized tests for Racket VM model
2010-10-31 17:26:20 -05:00
Casey Klein
7f0e712dab
Renames some functions to match latest paper draft.
2010-10-31 17:26:19 -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
c5c6c1c9e6
explained #:domain
2010-10-20 12:34:14 -05:00
Robby Findler
5c94ca5b7c
idle attempts to reduce allocation in the matcher
2010-10-19 18:41:19 -05: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
d9ea5141e9
fixed doc contract spec
2010-10-13 15:55:16 -05:00
Steven Jaconette
9a4b2d2023
fixed a bug uncovered by a stronger syntactic check in redex
2010-10-04 11:24:36 -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
Robby Findler
43d7058a16
added tag because section title was too long.
2010-09-26 22:47:36 -05:00
Robby Findler
1f8bbf43a7
fixed pb-last-column-visible so the stepper now shows the last column when you click the '->' (next) button
2010-09-26 22:47:36 -05:00
Robby Findler
20252ef150
typos
2010-09-26 22:47:35 -05:00
Robby Findler
a6dea9b85c
removed current-pretty-printer (it was never released and it is
...
superceded by pretty-print-parameters).
2010-09-26 22:47:35 -05:00
Robby Findler
f87aa7ec61
added pretty-print-parameters to control how pretty printing happens for terms
2010-09-26 22:47:35 -05:00
Robby Findler
273e6e7d25
added paren-style
...
added missing provide for grammar-style
removed some dead code
2010-09-24 19:34:32 -05:00
Robby Findler
d4c68e7359
added grammar-style for the ::= and | in grammars in redex typesetting
2010-09-21 15:08:12 -05:00
Eli Barzilay
ee138cf2cb
Some repeated "and and"s and "the the"s, and two more typos.
...
Closes PR 11229.
2010-09-20 15:38:18 -04: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
