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

Jump to bottom

RFC: design of ISLE instruction-selector DSL. #15

Merged
merged 4 commits into from
Nov 15, 2021
Merged

RFC: design of ISLE instruction-selector DSL. #15

merged 4 commits into from
Nov 15, 2021

Commits on Aug 17, 2021

  1. RFC: design of ISLE instruction-selector DSL. 

    This is based on extensive discussions surrounding the ideas in
bytecodealliance#13 and is meant to be a refinement of earlier
ideas that is compatible with our goals related to verification, and is
able to build on top of Peepmatic's automaton abstraction.
    @cfallin
    cfallin committed Aug 17, 2021
    Configuration menu
    Copy the full SHA
    414746d View commit details
    Browse the repository at this point in the history

  2. Typo fix from fitzgen (thanks!). 

    Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
    @cfallin @fitzgen
    cfallin and fitzgen authored Aug 17, 2021
    Configuration menu
    Copy the full SHA
    df4ca98 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2021

  1. Edit pass; many clarifications.

    @cfallin
    cfallin committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    c171cc6 View commit details
    Browse the repository at this point in the history

  2. Typo fix from afonso360 (thanks!). 

    Co-authored-by: Afonso Bordado <afonso360@users.noreply.github.com>
    @cfallin @afonso360
    cfallin and afonso360 authored Aug 19, 2021
    Configuration menu
    Copy the full SHA
    6c64ea4 View commit details
    Browse the repository at this point in the history