Robby Findler
|
0500571383
|
PR 10244
svn: r14874
|
2009-05-19 20:58:46 +00:00 |
|
Matthew Flatt
|
0f1fc2d664
|
redex doc corrections
svn: r14789
|
2009-05-12 21:30:28 +00:00 |
|
Robby Findler
|
0c0aa26e6f
|
PR 10231
svn: r14769
|
2009-05-10 21:59:13 +00:00 |
|
Casey Klein
|
039d24fc17
|
`where' clauses now properly bind in metafunctions
svn: r14712
|
2009-05-04 13:59:42 +00:00 |
|
Robby Findler
|
7315ff502b
|
fixed label ordering for reductions when extracted via reduction-relation->rule names
svn: r14690
|
2009-05-02 16:18:12 +00:00 |
|
Robby Findler
|
ea1ace6022
|
added horizontal-left-align style
svn: r14687
|
2009-05-02 12:32:04 +00:00 |
|
Robby Findler
|
55a98bf037
|
fixed a bug with holes used in certain places in patterns
svn: r14684
|
2009-05-02 00:57:18 +00:00 |
|
Eli Barzilay
|
ff73a5395e
|
removed lots of "the the"s
svn: r14679
|
2009-05-01 21:02:51 +00:00 |
|
Robby Findler
|
a3768d00eb
|
none of the various render-* worked under linux, due to a platform-specific default in the way ps-setup works.
svn: r14678
|
2009-05-01 20:38:26 +00:00 |
|
Robby Findler
|
a42ba6075b
|
added better linking for the 'lw' struct
svn: r14641
|
2009-04-28 15:22:32 +00:00 |
|
Robby Findler
|
7d881a32bf
|
svn: r14588
|
2009-04-23 14:57:51 +00:00 |
|
John Clements
|
7334a89d6b
|
undid accidental change to church.ss
svn: r14557
|
2009-04-19 01:33:29 +00:00 |
|
John Clements
|
ea861e346f
|
fixed typo in docs of fresh form
svn: r14556
|
2009-04-19 00:45:02 +00:00 |
|
Casey Klein
|
2c8c8638ac
|
Barebones interface for overriding default generators.
svn: r14519
|
2009-04-15 14:09:35 +00:00 |
|
Eli Barzilay
|
c0a8a01222
|
Changed @itemize{...} to @itemize[...] (done after comparing the doc
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
|
2009-04-05 17:46:20 +00:00 |
|
Casey Klein
|
e9cf5787c1
|
Fixed bugs related to `cross' patterns.
svn: r14414
|
2009-04-03 10:47:42 +00:00 |
|
Eli Barzilay
|
23a26f320c
|
disable set-flip-labels?
svn: r14387
|
2009-03-31 14:55:12 +00:00 |
|
Matthias Felleisen
|
9c90204ca4
|
svn: r14329
|
2009-03-28 16:18:30 +00:00 |
|
Casey Klein
|
72c3ed943e
|
Removed support for the #:binds annotation.
svn: r14319
|
2009-03-27 17:38:16 +00:00 |
|
Casey Klein
|
c39e5dfa38
|
Changed the output of Redex's check forms.
svn: r14307
|
2009-03-27 00:26:11 +00:00 |
|
Eli Barzilay
|
2e66794799
|
removed unused binding
svn: r14209
|
2009-03-22 02:50:25 +00:00 |
|
Casey Klein
|
289b200057
|
Fixed bug in parse-language.
svn: r14155
|
2009-03-17 18:21:11 +00:00 |
|
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 |
|