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

56 Commits

Author SHA1 Message Date
Robby Findler
d94d479f15 added 'boolean' pattern to Redex 
closes PR 13330
 2012-11-30 19:17:27 -06:00
Burke Fetscher
cf9b0f774b Change define-relation to compile to a judgment-form, instead of a metafunction. 
Also:
- remove the restriction on the use of unquote in define-judgment-form
- allows limited use (I modes only) of judgment-forms in terms
- allows the use of define-relation with the search/unification
  based random term generation
 2012-11-29 17:17:34 -06:00
Robby Findler
2b246e2ad2 added note about Burke's recent push 2012-10-19 09:35:12 -05:00
Robby Findler
8827f4b6b5 redex history release notes 
merge to release please
 2012-10-17 20:46:16 -05:00
Robby Findler
0369342bfe added names to clauses in define-judgment-form and added 
judgment-form-cases to use the names to control typesetting
 2012-08-08 21:34:28 -05:00
Burke Fetscher
29661cc675 add #:lang keyword to term, which checks that underscored symbols agree with patterns in the provided language...changed most internal uses of term to use this form 2012-08-08 11:09:01 -05:00
Robby Findler
aa645e9650 brought up to date with version number 
merge to release branch, please
 2012-07-24 23:28:29 -05:00
Robby Findler
9d43203990 adjusted the render-* functions so they produce .pdf if the given 
filename ends with #rx#"[.]pdf".
 2012-03-17 08:36:34 -05:00
Robby Findler
b7caf411ae added define-extended-judgment-form to Redex 2012-03-03 16:41:53 -06:00
Robby Findler
e4e4d70b6b added define-union-language 2012-02-10 17:10:47 -06:00
Robby Findler
b3584fff5c added amb tutorial note to the redex HISTORY file 2012-02-07 15:50:52 -06:00
Robby Findler
50dba41043 DrRacket & Redex history updates for 5.2.1 
Please merge to the release branch
 2012-01-17 22:14:36 -06:00
Robby Findler
bb2ebb6ad6 redex: added note about optimizations 2012-01-08 12:13:53 -06:00
Robby Findler
e8beac29cf added notes for recent redex changes 2012-01-02 10:08:32 -06:00
Robby Findler
19ccc17bf6 added note about recent commit 2011-11-21 07:36:38 -06:00
Casey Klein
210a6f329e Updates Redex history for v5.2 
Merge to release branch
 2011-10-19 13:32:59 -05:00
Casey Klein
7d103bdfd8 Updates Redex history for v5.1.2 2011-07-20 09:24:17 -05:00
Robby Findler
33c848fcda added current-cache-all?, a parameter that controls the caching strategy 
that apply-reduction-relation* (and thus test-->>) uses
also make apply-reduction-relation* call remove-duplicates
  on the result of apply-reduction-relation
 2011-05-07 20:06:38 -05:00
Robby Findler
8fbefb0b6d added typesetting support for relations 2011-04-28 22:20:14 -05:00
Casey Klein
0414b5e6de Updates Redex history for v5.1.1 release 2011-04-22 04:43:12 -05:00
Casey Klein
309bb47c7e Updates the Redex history for v5.1 
Please merge to release branch.
 2011-02-02 10:53:23 -06:00
Casey Klein
d7b0271691 Updates Redex history for v5.0.2 release (merge to release branch) 2010-10-25 14:40:56 -05:00
Robby Findler
d165f9d855 updated history 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
Casey Klein
56b74c0712 Updates history for v5.0.1 (merge to branch) 2010-07-20 19:02:22 -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
56b94b1bdf Updates Redex history for 5.0 release 2010-05-28 21:40:39 -05:00
Casey Klein
047794b11a v4.2.5 changes (please merge to release branch) 
svn: r18669
 2010-03-30 15:05:07 +00:00
Eli Barzilay
8b09485c3c Two more "langauge" typos 
svn: r17975
 2010-02-05 03:21:45 +00:00
Casey Klein
8454db8115 Rename #:attempts to #:attempt-num in `generate-term'. 
Added a second form of `generate-term' that produces a procedure.
Improved the docs for `generate-term'.

svn: r17853
 2010-01-27 17:45:01 +00:00
Casey Klein
f71ff300b2 v4.2.4 note 
svn: r17798
 2010-01-24 10:45:30 +00:00
Robby Findler
4d5044d213 svn: r16993 2009-11-23 16:57:23 +00:00
Casey Klein
a021b75a67 Fixed PR 8765 
svn: r16564
 2009-11-05 19:33:19 +00:00
Casey Klein
f58882b4d1 Added support for collecting test coverage of metafunctions 
svn: r16193
 2009-09-30 21:32:20 +00:00
Robby Findler
d69af45338 svn: r16148 2009-09-28 20:57:49 +00:00
Casey Klein
9608d15f5f Added note about 'side-condition' grammar 
svn: r15529
 2009-07-22 13:31:18 +00:00
Robby Findler
4384eb741c svn: r15518 2009-07-21 13:17:13 +00:00
Robby Findler
f85ac6959a svn: r15357 2009-07-01 18:25:24 +00:00
Robby Findler
ba5aea8cdd added 'left-right/beside-side-conditions 
svn: r15350
 2009-07-01 04:45:02 +00:00
Matthew Flatt
52acc7cbfb Redex rendering adjustments, including new metafunction styles 
svn: r15322
 2009-06-28 16:15:23 +00:00
Robby Findler
a12141f3ca svn: r15295 2009-06-26 01:21:09 +00:00
Robby Findler
1e9a606bb7 svn: r15275 2009-06-25 19:48:18 +00:00
Robby Findler
29ca40e3b2 svn: r15215 2009-06-19 14:58:58 +00:00
Robby Findler
d64ca317cd svn: r15172 2009-06-14 17:23:06 +00:00
Robby Findler
ae0a69f162 svn: r14911 2009-05-21 20:53:12 +00:00
Eli Barzilay
ff73a5395e removed lots of "the the"s 
svn: r14679
 2009-05-01 21:02:51 +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
1e807c3a33 svn: r14013 2009-03-08 20:45:30 +00:00
Robby Findler
338a171a6a renamed test--> to test-->> 
svn: r14012
 2009-03-08 20:29:31 +00:00
Casey Klein
b948caaa92 Added natural', integer', and `real' patterns to Redex. 
svn: r13957
 2009-03-04 20:12:36 +00:00