Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

User-defined rewrite rules #50

Open
wants to merge 16 commits into
base: master
Choose a base branch
from
Open

User-defined rewrite rules #50

wants to merge 16 commits into from

Commits on Nov 24, 2020

  1. Skeleton for rewrite rules

    @SkySkimmer
    SkySkimmer committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    06db1d4 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2020

  1. Detail rewrite rules CEP

    @TheoWinterhalter
    TheoWinterhalter committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    eb7367b View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2020

  1. Add application of pattern variables to bound variables

    @TheoWinterhalter
    TheoWinterhalter committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    c3c0be7 View commit details
    Browse the repository at this point in the history

  2. more examples, add url to POPL'21 paper

    @tabareau
    tabareau committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    582ec21 View commit details
    Browse the repository at this point in the history

  3. fix space

    @tabareau
    tabareau committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    df65b1c View commit details
    Browse the repository at this point in the history

  4. Remove "..." in pattern syntax

    @TheoWinterhalter
    TheoWinterhalter committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    56fea7a View commit details
    Browse the repository at this point in the history

  5. typo

    @SkySkimmer
    SkySkimmer committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    c16fd70 View commit details
    Browse the repository at this point in the history

  6. Add forced patterns

    @TheoWinterhalter
    TheoWinterhalter committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    c763217 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2020

  1. add type-forced and precise type constructor

    @tabareau
    tabareau committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    e7ebf70 View commit details
    Browse the repository at this point in the history

  2. Precise what type-forced mean

    @TheoWinterhalter
    TheoWinterhalter committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    7750481 View commit details
    Browse the repository at this point in the history

  3. Move ref out of the text

    @TheoWinterhalter
    TheoWinterhalter committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    5048174 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. remove mention of definitions as symbols

    @tabareau
    tabareau committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    cf5406b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'rew' of https://github.com/CoqHott/ceps into rew

    @tabareau
    tabareau committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    af5dffa View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. More detailed syntax and examples

    @TheoWinterhalter
    TheoWinterhalter committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    a0b04d7 View commit details
    Browse the repository at this point in the history

  2. Add examples

    @TheoWinterhalter
    TheoWinterhalter committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    2fd637a View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2021

  1. typo

    @tabareau
    tabareau authored Jan 6, 2021
    Configuration menu
    Copy the full SHA
    e453b31 View commit details
    Browse the repository at this point in the history