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

107 Commits

Author SHA1 Message Date
Stevie Strickland
06c189a726 Fix error when rendering to a file. 
svn: r13290
 2009-01-27 13:39:14 +00:00
Robby Findler
ebad17e4f7 svn: r13257 2009-01-22 15:06:31 +00:00
Robby Findler
49f015d55b avoid duplicating some compiled patterns in the generated code 
svn: r13254
 2009-01-22 02:03:37 +00:00
Robby Findler
70d25c8f0c a partial attempt to fix PR 10004 
svn: r13252
 2009-01-21 19:24:24 +00:00
Robby Findler
395d977832 moving to the other computer 
svn: r13249
 2009-01-21 16:06:27 +00:00
Robby Findler
5d7429c25e added yet one more hook to traces/ps 
svn: r13236
 2009-01-20 15:31:02 +00:00
Robby Findler
af810c8a6f added support for special-case drawing of individual edges to the graph library and support to be able to use that to redex 
svn: r13226
 2009-01-19 18:02:33 +00:00
Robby Findler
c4630e4526 extended initial-char-width 
svn: r13221
 2009-01-19 15:15:12 +00:00
Robby Findler
c95f144971 moved to plt/docs/release-notes 
svn: r13207
 2009-01-18 23:19:28 +00:00
Robby Findler
e7f8cce469 added another capability to redex's traces function 
svn: r13195
 2009-01-17 23:36:33 +00:00
Casey Klein
220380fd1b Fixed a bug in which the "check" forms failed to reinitialize the 
"preferred productions" before each attempt.

svn: r13172
 2009-01-16 17:09:51 +00:00
Robby Findler
a4799be53c added support for customizing the edge label font to the graph library and propogated that argument to the redex traces and traces/ps functions 
svn: r13155
 2009-01-15 21:29:26 +00:00
Matthew Flatt
cf2e98eb92 size-cache-invalid for editor<%> 
svn: r13120
 2009-01-14 20:29:37 +00:00
Robby Findler
074be235b4 fixed a bug 
svn: r13119
 2009-01-14 19:26:03 +00:00
Robby Findler
8f3547e311 added code to remove the graph-pb from the canvas while printing 
svn: r13117
 2009-01-14 18:21:55 +00:00
Robby Findler
ae1e6ca263 fixed an x/y reversal bug and improved the #:layout function so it isn't called as much 
svn: r13116
 2009-01-14 18:05:21 +00:00
Robby Findler
d1f65ae6c9 fixed a bunch of bugs in layout things in order to make traces/ps work better 
svn: r13114
 2009-01-14 15:53:29 +00:00
Casey Klein
286ef262c7 Fixed contract for `check-reduction-relation' 
svn: r13112
 2009-01-14 14:09:13 +00:00
Eli Barzilay
d1a0086471 newlines at EOFs 
svn: r13105
 2009-01-14 03:10:47 +00:00
Robby Findler
c5d99507c3 PR 10024 
svn: r13100
 2009-01-14 01:39:32 +00:00
Casey Klein
5ca04f3497 Randomized testing forms no longer report exceptions as 
counterexamples or return #t when unable to find a counterexample.

svn: r13094
 2009-01-13 20:50:36 +00:00
Casey Klein
d7d93250f3 Added examples to `redex-check' documentation. 
svn: r13081
 2009-01-12 22:50:09 +00:00
Casey Klein
0e8cf2e160 Updated docs to reflect that check' is provided as redex-check'. 
svn: r13074
 2009-01-12 20:53:58 +00:00
Robby Findler
3ceb88b8a7 fixed a bug intraces/ps 
svn: r13062
 2009-01-10 23:49:03 +00:00
Robby Findler
538a1e695e svn: r13061 2009-01-10 23:21:46 +00:00
Robby Findler
e34badc4cf fixed some typos: 
svn: r13059
 2009-01-10 23:12:52 +00:00
Robby Findler
3a3ceb121b added traces/ps and some code to make automatic layout of the graph possible (see #:layout in the docs for traces) 
svn: r13058
 2009-01-10 18:17:45 +00:00
Casey Klein
65fad6047d Exported and documented the term generator's public interface. 
svn: r13053
 2009-01-09 21:53:53 +00:00
Casey Klein
3f44589c69 Changed the interface for collecting reduction relation coverage. 
svn: r13046
 2009-01-09 10:23:14 +00:00
Casey Klein
df5e59561f 1. Reorganized so that generating an `any' doesn't require 
reprocessing the language definition.
2. Turned optional arguments to check-metafunction, generate-term,
etc. into keywords.
3. Added #:source keyword to `check' form.

svn: r13035
 2009-01-08 14:46:46 +00:00
Robby Findler
05160bf931 PR 10009 and added tracing to metafunctions 
svn: r13028
 2009-01-07 15:55:21 +00:00
Robby Findler
a5b53c63fc added a parameter to disable the various caches in redex 
svn: r13024
 2009-01-07 00:54:48 +00:00
Casey Klein
104447edf6 Support for collecing per-case test coverage of reduction relations. 
svn: r13013
 2009-01-05 14:26:04 +00:00
Robby Findler
206553c816 added clarification to the docs about caching 
svn: r13003
 2009-01-04 18:10:32 +00:00
Robby Findler
9b84def3c1 PR 10002 
svn: r13002
 2009-01-04 18:08:37 +00:00
Casey Klein
7da5ee6029 Fixed check-reduction-relation's handling of cases with `where' and 
`side-condition' clauses.

svn: r12995
 2009-01-03 20:48:19 +00:00
Casey Klein
f402605fed Added check-metafunction and check-reduction-relation. Fixed bug in 
generation of `any' pattern.

svn: r12974
 2009-01-02 20:18:53 +00:00
Robby Findler
459a3247e7 clarified term-match vs term-let a little bit 
svn: r12957
 2008-12-31 02:19:30 +00:00
Eli Barzilay
eaa896f3fa set svn:eol-style 
svn: r12728
 2008-12-08 03:31:13 +00:00
Casey Klein
8bd2b94dea 1. Renamed check-metafunction' to check-metafunction-contract'. 
2. Generator now eventually focuses probability on randomly chosen preferred
productions.

svn: r12636
 2008-11-29 14:41:49 +00:00
Robby Findler
48760756c6 svn: r12604 2008-11-27 00:45:45 +00:00
Robby Findler
2288db4fc9 modernized notation 
svn: r12059
 2008-10-18 15:00:53 +00:00
Casey Klein
9e316c3162 1. Improved support for generating random numbers. 
2. Fixed bug in find-base-cases.

svn: r12002
 2008-10-13 15:19:13 +00:00
Casey Klein
b2ce9f4cd3 1. Fixed bug in reduction-semantics.ss. 
2. Fixed bug in generation of 'any pattern.
3. Added `check-metafunction' form.

svn: r11984
 2008-10-09 19:09:11 +00:00
Robby Findler
d1b2bf63c7 added metafunction result caching 
svn: r11883
 2008-09-26 16:13:03 +00:00
Casey Klein
12bba4996f Improved performance of `check' by factoring language and pattern 
pre-processing out of its loop.

svn: r11819
 2008-09-19 13:22:00 +00:00
Casey Klein
bab55e4e20 Changed syntax for `check' 
svn: r11806
 2008-09-18 18:58:39 +00:00
Casey Klein
3177457e0b 1. Generation of string/symbol/variable now uses compiled-lang-literals. 
2. `check' prints counterexamples to current-error-port rather than
returning a string.
3. Non-terminals and built-ins (e.g., variable, number, etc.) now
properly bind in generation.

svn: r11804
 2008-09-18 17:42:39 +00:00
Casey Klein
189ef12cd0 Fixed bug in generation of ellipses. 
svn: r11794
 2008-09-18 04:51:02 +00:00
Casey Klein
823338e262 Generator support for `cross' pattern and syntax errors for non-terminals 
with no productions.

svn: r11588
 2008-09-09 15:16:45 +00:00