Robby Findler
|
46277c7fd3
|
svn: r14045
|
2009-03-11 01:50:14 +00:00 |
|
Robby Findler
|
fe618071dc
|
added a test--> that only does a single step of the reduction relation
svn: r14014
|
2009-03-08 21:07:01 +00:00 |
|
Robby Findler
|
338a171a6a
|
renamed test--> to test-->>
svn: r14012
|
2009-03-08 20:29:31 +00:00 |
|
Robby Findler
|
d07a335324
|
svn: r14003
|
2009-03-07 13:53:54 +00:00 |
|
Robby Findler
|
37cde560a9
|
fixed bug in the cycle detection code in test-->
svn: r14002
|
2009-03-07 13:38:41 +00:00 |
|
Matthew Flatt
|
1c58224202
|
redex doc typesetting repairs
svn: r13970
|
2009-03-05 17:33:34 +00:00 |
|
Robby Findler
|
c063b4305c
|
PR 10115
svn: r13969
|
2009-03-05 13:29:25 +00:00 |
|
Robby Findler
|
b165d83c73
|
changed test--> so that it requires a keyword if there are cycles
svn: r13964
|
2009-03-05 02:36:34 +00:00 |
|
Casey Klein
|
c4524ef9ae
|
Generator support for natural', integer', and `real' patterns.
svn: r13961
|
2009-03-04 21:13:57 +00:00 |
|
Casey Klein
|
b948caaa92
|
Added natural', integer', and `real' patterns to Redex.
svn: r13957
|
2009-03-04 20:12:36 +00:00 |
|
Robby Findler
|
e8a47051f7
|
improved redex's expansion to work better with check syntax (and noted a few other recent changes in the HISTORY.txt file)
svn: r13944
|
2009-03-04 12:59:26 +00:00 |
|
Robby Findler
|
9297ffa2a3
|
added specification for the main arrow to redex
svn: r13924
|
2009-03-03 20:50:15 +00:00 |
|
Robby Findler
|
8704fe05b2
|
added optionaldomain specifications to reduction-relations
svn: r13913
|
2009-03-03 16:27:09 +00:00 |
|
Robby Findler
|
995b336f08
|
errors raised while reducing are now more gracefully handled
svn: r13911
|
2009-03-03 15:31:54 +00:00 |
|
Robby Findler
|
4c02e3736d
|
svn: r13814
|
2009-02-24 16:17:35 +00:00 |
|
Robby Findler
|
414e3b796e
|
svn: r13813
|
2009-02-24 16:17:11 +00:00 |
|
Robby Findler
|
b6e60bdd6e
|
fixed a bug in the way recursive metafunctions bound the recursive calls for use in 'where' clauses
svn: r13809
|
2009-02-24 01:36:48 +00:00 |
|
Stevie Strickland
|
d23bdbbfaf
|
Fix the RHSes of term-lets not being treated as unquoted when converted to lws.
svn: r13762
|
2009-02-21 03:33:33 +00:00 |
|
Stevie Strickland
|
560836a804
|
Draw :-> and :--> ourselves, similar to --> and friends.
svn: r13698
|
2009-02-17 16:14:12 +00:00 |
|
Matthew Flatt
|
941a8935aa
|
remove unneeded dependency of framework on parts of Scribble; Redex doc repairs; add #:style? argument to deftech
svn: r13696
|
2009-02-17 15:22:55 +00:00 |
|
Stevie Strickland
|
e0e6fcb465
|
Add unicode longmapsto.
svn: r13695
|
2009-02-17 15:02:07 +00:00 |
|
Sam Tobin-Hochstadt
|
72e118d92f
|
Remove eta expansion, match is now fixed.
svn: r13622
|
2009-02-15 21:59:55 +00:00 |
|
Robby Findler
|
c13c867695
|
svn: r13547
|
2009-02-13 17:25:30 +00:00 |
|
Robby Findler
|
3ee1a899ee
|
changed apply-reduction-relation* so that it notices cycles and ignores them
svn: r13519
|
2009-02-11 20:25:32 +00:00 |
|
Casey Klein
|
7bcf4e69a5
|
Forgot default value for #:retries in check-reduction-relation.
svn: r13485
|
2009-02-07 13:43:15 +00:00 |
|
Casey Klein
|
6d5f966019
|
Added a #retries keyword to the forms that generate random terms.
svn: r13484
|
2009-02-07 13:26:37 +00:00 |
|
Robby Findler
|
12560f3a23
|
fixed a bug reported by Zane and Ahmed via Matthias
svn: r13483
|
2009-02-07 13:09:11 +00:00 |
|
Casey Klein
|
fba31b310a
|
Improved the error reported when the term generate is unable to
satisfy a pattern.
svn: r13464
|
2009-02-06 12:04:40 +00:00 |
|
Stevie Strickland
|
7ef5770e51
|
file -> filename
svn: r13461
|
2009-02-06 02:33:57 +00:00 |
|
Robby Findler
|
4de2439506
|
added the ability to render multiple metafunctions together to make all the lhss line up in a single column
svn: r13459
|
2009-02-06 02:18:08 +00:00 |
|
Stevie Strickland
|
facfa48e80
|
Fix metafunctions so that the LHSes are rewritten also.
svn: r13457
|
2009-02-05 22:02:14 +00:00 |
|
Robby Findler
|
d422d48c37
|
svn: r13453
|
2009-02-05 14:21:07 +00:00 |
|
Robby Findler
|
e35e25408f
|
some more overlap fixes
svn: r13452
|
2009-02-05 14:08:45 +00:00 |
|
Robby Findler
|
c859eba9ac
|
svn: r13451
|
2009-02-05 13:27:02 +00:00 |
|
Robby Findler
|
7e48db0a82
|
PR 10042 (plus some fixes to earlier Stevie-submitted PRs that werent quite right)
svn: r13447
|
2009-02-05 01:42:00 +00:00 |
|
Robby Findler
|
4f2070831b
|
PR 10042
svn: r13444
|
2009-02-05 01:14:37 +00:00 |
|
Robby Findler
|
7eaef08d63
|
fixed PR 10041
svn: r13442
|
2009-02-05 00:23:47 +00:00 |
|
Robby Findler
|
a5ca75f7b3
|
PR 10040
svn: r13423
|
2009-02-04 19:58:25 +00:00 |
|
Casey Klein
|
8f03dea7c3
|
The term generator now increases the size bound and attempt number
when it is having trouble satisfying a pattern.
svn: r13422
|
2009-02-04 19:52:35 +00:00 |
|
Robby Findler
|
4c22de3cf5
|
oops
svn: r13415
|
2009-02-04 16:00:47 +00:00 |
|
Robby Findler
|
fbe518937c
|
refactoring continues
svn: r13414
|
2009-02-04 15:50:24 +00:00 |
|
Stevie Strickland
|
d293f628d0
|
Fix mzscheme-isms.
svn: r13410
|
2009-02-04 07:12:27 +00:00 |
|
Robby Findler
|
825bc29d1e
|
some refactoring of typesetting code, plus moving a bunch of files away from mzscheme to scheme/base
svn: r13404
|
2009-02-04 02:58:29 +00:00 |
|
Robby Findler
|
9bbed05671
|
fixes from Jed Davis
svn: r13388
|
2009-02-03 19:25:08 +00:00 |
|
Robby Findler
|
370535a84b
|
fixed plural
svn: r13314
|
2009-01-29 15:58:03 +00:00 |
|
Robby Findler
|
798c5ee12f
|
changed default-check-attempts and changed output when an exception is raised
svn: r13313
|
2009-01-29 15:43:24 +00:00 |
|
Casey Klein
|
b86e4473f0
|
Changed redex-check's #:source keyword to always generate from the
LHSs of the metafunction/relation.
svn: r13310
|
2009-01-29 00:41:30 +00:00 |
|
Robby Findler
|
04d54e65ab
|
svn: r13305
|
2009-01-28 19:55:23 +00:00 |
|
Casey Klein
|
6afb62f510
|
Fixed a bug in find-base-cases.
svn: r13303
|
2009-01-28 16:30:22 +00:00 |
|
Stevie Strickland
|
06c189a726
|
Fix error when rendering to a file.
svn: r13290
|
2009-01-27 13:39:14 +00:00 |
|