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.

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

Support for initial entries #432

Merged
merged 24 commits into from
Aug 11, 2023

Commits on May 28, 2023

  1. Configuration menu
    Copy the full SHA
    c80d691 View commit details
    Browse the repository at this point in the history
  2. Add TODO asking whether the format for the contents of entries files

    should be specified in the P4Runtime spec.
    jafingerhut committed May 28, 2023
    Configuration menu
    Copy the full SHA
    3db556a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a280b70 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. Configuration menu
    Copy the full SHA
    6c09da3 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Configuration menu
    Copy the full SHA
    3b83f50 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. Configuration menu
    Copy the full SHA
    b8a8724 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1632245 View commit details
    Browse the repository at this point in the history
  3. Clarify some wording.

    jafingerhut committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    005df11 View commit details
    Browse the repository at this point in the history
  4. Fix Madoko lint check

    jafingerhut committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    6625dbc View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. Replace TODO with cross reference to new appendix on entries files

    and clean up Madoko formatting in that appendix.
    jafingerhut committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    15a5911 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Configuration menu
    Copy the full SHA
    3a10775 View commit details
    Browse the repository at this point in the history
  2. Propose that TableEntry has new field const true for const entries

    and also for const default_action
    jafingerhut committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    0202c3b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4264daf View commit details
    Browse the repository at this point in the history
  4. Define has_initial_entries to be true for tables with const entries

    Also fix a couple of spelling typos.
    jafingerhut committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    25aadc5 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ddc2af1 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2023

  1. Configuration menu
    Copy the full SHA
    2c8b986 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e26f9c5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3f6d536 View commit details
    Browse the repository at this point in the history
  4. Slight change in definition of has_initial_entries flag

    Propose that it is true if and only if the table property `entries` is
    present, _and_ the list of entries is not empty.
    jafingerhut committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    4620bb9 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    34eb819 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Configuration menu
    Copy the full SHA
    5c82d35 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    56e5a1d View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Configuration menu
    Copy the full SHA
    254ad30 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. Configuration menu
    Copy the full SHA
    3f0c390 View commit details
    Browse the repository at this point in the history