("robby" "redex.plt" 3 16) - added define-multi-args-metafunction - finished first pass of the pict generation rewriting ("robby" "redex.plt" 3 15) - fixed a bug in stepper/seed ("robby" "redex.plt" 3 14) - fixed some silly mistakes in the packaging ("robby" "redex.plt" 3 13) - added variable-not-otherwise-mentioned as a new pattern - added stepper/seed - added an optional pretty-printing argument to stepper. - improved the ps rendering of the arrows for --> -> => ==> ~> and ~~> - rewrote internals of pict rendering (hopefully no change yet, but there may be bugs introduced ...). ("robby" "redex.plt" 3 12) - Added pict and .ps generation functions for reduction-relations, metafunctions, and grammars. These are still primitive; the most obvious missing feature is the inability (without secret knowledge) to replace the pink stuff. - fixed a bug in the way the stepper highlights differences in the presence of quote (by disabling the ' shortcuts printing) NOTE this version of redex requires not just any 369.100, but one from 5/19 in the afternoon (or newer). ("robby" "redex.plt" 3 11) - changed the order of the arguments in the new `fresh' clauses introduced in the last release. ("robby" "redex.plt" 3 10) - fixed bugs in the way that ..._x patterns work (they didn't handle binding well). - fixed misc bugs in the stepper - added the ability to generate a sequence of fresh variables in a single rule ("robby" "redex.plt" 3 9) - added side-condition specs to metafunctions - added test-reduces and test-reduces/multiple to schemeunit.ss - fixed a bug in the handling of _!_ - improved the "found the same binder" error message to show the source locations of the two offending binders ("robby" "redex.plt" 3 8) - fixed a bug in the way (hole #f) patterns matched. - fixed a bug in the initial height of the boxes in `traces' - added reduction->relation-names - added ability to step until a particular reduction (and the reduction labels) in the stepper. ("robby" "redex.plt" 3 7) - improved syntax error message (PR 8576) - added difference highlighting for adjacent terms in the stepper ("robby" "redex.plt" 3 6) - added stepper ("robby" "redex.plt" 3 5) - bugfix (I think ... this version's changes seem to have been forgotten) ("robby" "redex.plt" 3 4) - added term-node-children ("robby" "redex.plt" 3 3) - added term-match and term-match/single - added variables-not-in - fixed a bug in metafunctions ("robby" "redex.plt" 3 2) - added language-nts - added better error messages when using parts of the pattern language as ordinary things in the grammar. ("robby" "redex.plt" 3 1) - adds the ability to have multi-colored terms, not just pink ones. ("robby" "redex.plt" 3 0) This release changes the syntax of the reduction relations to make it more consistent and more in line with the way reduction relations are written in papers. This is the precise set of removals and additions: - added extend-language - added reduction-rule & apply-reduction-relation - added union-reduction-relations - added define-language - changed compatible-closure & context-closure so that the pattern argument is not quoted, but is just the pattern in the last argument. - changed term-node-labels so that it can return #f (in the list) when a reduction doesn't have a label. - removed language->predicate, compile-pattern, match-pattern (use test-match instead) - removed reduction, reduction/name, reduction/context, reduction/context/name (use reduction-relation instead) - removed red? (use reduction-relation? instead) - removed reduce (use apply-reduction-relation instead) - removed reduce-all (use apply-reduction-relation* insetad) - removed reduce/tag-with-reduction (use apply-reduction-relation/tag-with-names instead) - removed red-name, reduction->name, give-name - removed language (use define-language instead) - removed helper.ss Other improvements: - check syntax draws arrows for the non-terminals in a `language' now, both to the language and to the reduction rules. ("robby" "redex.plt" 2 6) - added reduce-all and note about bad parsing performance issues. - added `test-match' and note about how to debug redex programs to doc.txt - added redex-specific 'check' functions for use with schemeunit. - add `metafunction' for defining meta functions using the pattern matching notation used in reductions and grammars. ("robby" "redex.plt" 2 5) - fixed bugs in compatible-closure & context-closure ("robby" "redex.plt" 2 4) - reduced the amount of memory used for caching significantly (with some small speedup for a largeish reduction semantics test suite) - added set-cache-size! - added variable-prefix pattern - added ..._ pattern that can be used to ensure matching lengths of repeated patterns. - added _!_ subscripts (both in ... and regular) to ensure that the matched things are different (or have different lengths in the case of ..._!_ subscripts) ("robby" "redex.plt" 2 3) - added the ability to traverse the graph generated by traces in order to decide if a term should be highlighted in red. See the traces/pred documentation for details. - added term-node functions - added red-name function - removed make-plt.ss from archive ("robby" "redex.plt" 2 2) - added a blurb, fixed a typo in the docs. ("robby" "redex.plt" 2 1) - changed the way a contract is specified on the matcher to get a 30% speed up on the beginner test suite. Thanks, Matthew for spotting that! ("robby" "redex.plt" 2 0) - fixed a bug in compatible-closure handling that could result in duplicate matches when there should only have been a single match. - added labels to edges for reductions when shown in GUI. See docs for reduction/name - small performance improvement to matcher (10-20% on non-trivial examples) - added letrec.ss example (and improved some of the examples to use labels) ("robby" "redex.plt" 1 3) - Fixed a bug in the the compatible closure function; otherwise the same as 1.1 ("robby" "redex.plt" 1 2) - Obsolete'd version. It used to be a first attempt at the 2.0 revision, but now should be avoided. Use 2.0 instead of this version. ("robby" "redex.plt" 1 1) - fixed packaging error ("robby" "redex.plt" 1 0) - initial release to PLaneT