Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: racket/redex
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: racket/redex
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: rr-gen
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 3 commits
  • 13 files changed
  • 1 contributor

Commits on Jun 1, 2015

  1. add parameter to adjust clause shuffling

    @bfetscher
    bfetscher committed Jun 1, 2015
    Configuration menu
    Copy the full SHA
    7bd8fd2 View commit details
    Browse the repository at this point in the history

  2. Use patterns from reudction lhss as inputs to the derivtion generator. 

    First preprocess patterns to remove side-conditions and contexts (the
latter by picking some random contexts). Nts get replaced with
`any' to avoid problems handling nt constraints in pattern unification.
    @bfetscher
    bfetscher committed Jun 1, 2015
    Configuration menu
    Copy the full SHA
    5b7ffbe View commit details
    Browse the repository at this point in the history

  3. Additions to the benchmark to test typed generation using reductions.

    @bfetscher
    bfetscher committed Jun 1, 2015
    Configuration menu
    Copy the full SHA
    ccd92db View commit details
    Browse the repository at this point in the history
Loading