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

dialects: (riscv) add verifiers for riscv ops using immediate #1027

Merged
merged 11 commits into from
Jun 5, 2023
Merged

dialects: (riscv) add verifiers for riscv ops using immediate #1027

merged 11 commits into from
Jun 5, 2023

Commits on May 30, 2023

  1. dialects: riscv: add some verifiers on riscv ops using immediate

    @adutilleul
    adutilleul committed May 30, 2023
    Configuration menu
    Copy the full SHA
    be4a524 View commit details
    Browse the repository at this point in the history

  2. dialects: riscv: fix formatting on the verifiers change

    @adutilleul
    adutilleul committed May 30, 2023
    Configuration menu
    Copy the full SHA
    c32352c View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. dialects: riscv: use attribute for verifying integer bounds in ops

    @adutilleul
    adutilleul committed May 31, 2023
    Configuration menu
    Copy the full SHA
    d3cbc70 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. Merge remote-tracking branch 'origin/main' into adutilleul/riscv/dial… 

    …ect-verify
    @adutilleul
    adutilleul committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    5501d7b View commit details
    Browse the repository at this point in the history

  2. dialects: (riscv) remove superfluous calls to verify in test

    @adutilleul
    adutilleul committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    1d204c8 View commit details
    Browse the repository at this point in the history

  3. dialects: (riscv) replace pyright type ignore by more specific ignore… 

    … until fix
    @adutilleul
    adutilleul committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    c69b058 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2023

  1. override new

    @superlopuh
    superlopuh committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    1115958 View commit details
    Browse the repository at this point in the history

  2. add another overload to IntegerAttr

    @superlopuh
    superlopuh committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    ecac637 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Merge branch 'main' into adutilleul/riscv/dialect-verify

    @superlopuh
    superlopuh committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    688f8d6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into adutilleul/riscv/dialect-verify

    @superlopuh
    superlopuh committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    c366a24 View commit details
    Browse the repository at this point in the history

  3. remove bad new

    @superlopuh
    superlopuh committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    d95574e View commit details
    Browse the repository at this point in the history