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

[FIRRTL] Add Inline Formal Test ops #7374

Merged
merged 38 commits into from
Aug 14, 2024
Merged

[FIRRTL] Add Inline Formal Test ops #7374

merged 38 commits into from
Aug 14, 2024

Commits on Jul 22, 2024

  1. added firrtl formal op

    @dobios
    dobios committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    c494484 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. updated fir parser and emitter for new op

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    bb42bc7 View commit details
    Browse the repository at this point in the history

  2. added region parsing to formal parser

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    6c5692e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into dev/dobios/firrtl-inline-formal

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    5b35d94 View commit details
    Browse the repository at this point in the history

  4. reference variable

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    3c0b20f View commit details
    Browse the repository at this point in the history

  5. added symbolic value op to firrtl

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    09cf5d8 View commit details
    Browse the repository at this point in the history

  6. typo in test

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    84799fa View commit details
    Browse the repository at this point in the history

  7. updated parsing test

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ef97ef1 View commit details
    Browse the repository at this point in the history

  8. allow for instances in the formalOp

    @dobios
    dobios committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    f8cc369 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. wip fixing symbolic op

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    9bffb6e View commit details
    Browse the repository at this point in the history

  2. removed namekind from symbolic_value

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    6a0a7d9 View commit details
    Browse the repository at this point in the history

  3. removed custom builders

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    3188d4e View commit details
    Browse the repository at this point in the history

  4. Update lib/Dialect/FIRRTL/Import/FIRParser.cpp 

    Co-authored-by: Hideto Ueno <uenoku.tokotoko@gmail.com>
    @dobios @uenoku
    dobios and uenoku authored Jul 24, 2024
    Configuration menu
    Copy the full SHA
    08c4283 View commit details
    Browse the repository at this point in the history

  5. WIP deferred formal body parsing

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    4a6d635 View commit details
    Browse the repository at this point in the history

  6. Fixed copy-pasta in deferred parsing

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    a5b6f2a View commit details
    Browse the repository at this point in the history

  7. Implement InstanceGraphModuleOpInterface

    @dobios
    dobios committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    3e4e3f9 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. Declare interface ops

    @dobios
    dobios committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    3bbe281 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev/dobios/firrtl-inline-formal

    @dobios
    dobios committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    88f3599 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. implemented FIRRTLModuleLike interfaces for FormalOp

    @dobios
    dobios committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    aa867f2 View commit details
    Browse the repository at this point in the history

  2. WIP update FModuleOp passes to support all FModuleLike ops

    @dobios
    dobios committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    b5d4fbc View commit details
    Browse the repository at this point in the history

  3. converted EliminateWires to interface pass

    @dobios
    dobios committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    77d36f5 View commit details
    Browse the repository at this point in the history

  4. converted InferReadWrite to an interface pass on supported FModuleLike

    @dobios
    dobios committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    8de018a View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2024

  1. Converted all FModuleOp passes to FModuleLike passes

    @dobios
    dobios committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    852a624 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Revert "Converted all FModuleOp passes to FModuleLike passes" 

    This reverts commit 852a624.
    @dobios
    dobios committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    d238319 View commit details
    Browse the repository at this point in the history

  2. Revert "converted InferReadWrite to an interface pass on supported FM… 

    …oduleLike"

This reverts commit 8de018a.
    @dobios
    dobios committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    09ca1d8 View commit details
    Browse the repository at this point in the history

  3. Revert "converted EliminateWires to interface pass" 

    This reverts commit 77d36f5.
    @dobios
    dobios committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    33c04c8 View commit details
    Browse the repository at this point in the history

  4. Revert "WIP update FModuleOp passes to support all FModuleLike ops" 

    This reverts commit b5d4fbc.
    @dobios
    dobios committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    d42c306 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Merge branch 'main' into dev/dobios/firrtl-inline-formal

    @dobios
    dobios committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    8d869ca View commit details
    Browse the repository at this point in the history

  2. WIP updating formalO

    @dobios
    dobios committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    eaf91cf View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Merge branch 'main' into dev/dobios/firrtl-inline-formal

    @dobios
    dobios committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    aaf16ad View commit details
    Browse the repository at this point in the history

  2. Updating FormalOp

    @dobios
    dobios committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    1abc1a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. added method declarations

    @dobios
    dobios committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    5f30d59 View commit details
    Browse the repository at this point in the history

  2. removed defered parsing for formal body

    @dobios
    dobios committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    3fb9a2a View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. updated symbol checking to only hapen in verifier

    @dobios
    dobios committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    134dca3 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. constrained formalOp to only accept FModuleOps

    @dobios
    dobios committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a1fefeb View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. implemented Symbol interface

    @dobios
    dobios committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    f1d8719 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev/dobios/firrtl-inline-formal

    @dobios
    dobios committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    81050da View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. fixed Symbol implementation

    @dobios
    dobios committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    a251019 View commit details
    Browse the repository at this point in the history