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

[P4_Symbolic] Adding p4_symbolic/ir/expected/set_parser_operation.txt [Extend IR proto and translation to support parsers] #756

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

[P4_Symbolic] Adding p4_symbolic/ir/expected/set_parser_operation.txt [Extend IR proto and translation to support parsers] #756

wants to merge 8 commits into from

Commits on Nov 19, 2024

  1. [P4_Symbolic] Update to comply with z3 version 4.12.0.0 (December 12t… 

    …h 2022).
    @kishanps @VSuryaprasad-HCL
    kishanps authored and VSuryaprasad-HCL committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    3e0513f View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. Merge branch 'main' of https://github.com/VSuryaprasad-HCL/sonic-pins … 

    …into symbolic_import_branch_101
    @VSuryaprasad-HCL
    VSuryaprasad-HCL committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    d962523 View commit details
    Browse the repository at this point in the history

  2. [P4 Symbolic] Make certain Z3 APIs more general. 

    PiperOrigin-RevId: 517449221
    @jonathan-dilorenzo @VSuryaprasad-HCL
    jonathan-dilorenzo authored and VSuryaprasad-HCL committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    d49ec9d View commit details
    Browse the repository at this point in the history

  3. Extend BMv2 proto to support parsers. 

    PiperOrigin-RevId: 535281220
    @kishanps @VSuryaprasad-HCL
    kishanps authored and VSuryaprasad-HCL committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    c43f6b8 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. [P4_Symbolic] Adding p4_symbolic/ir/expected/hex_string_transition.tx… 

    …t [Extend IR proto and translation to support parsers]
    @kishanps @VSuryaprasad-HCL
    kishanps authored and VSuryaprasad-HCL committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    acf5a82 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. Merge branch 'main' of https://github.com/VSuryaprasad-HCL/sonic-pins … 

    …into symbolic_import_branch_104
    @VSuryaprasad-HCL
    VSuryaprasad-HCL committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    ea9e74e View commit details
    Browse the repository at this point in the history

  2. [P4_Symbolic] Extend IR proto and translation to support parsers.

    @kishanps @VSuryaprasad-HCL
    kishanps authored and VSuryaprasad-HCL committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    e2a4b6d View commit details
    Browse the repository at this point in the history

  3. [P4_Symbolic] Adding p4_symbolic/ir/expected/set_parser_operation.txt… 

    … [Extend IR proto and translation to support parsers]
    @kishanps @VSuryaprasad-HCL
    kishanps authored and VSuryaprasad-HCL committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    25d7f4e View commit details
    Browse the repository at this point in the history