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

Move ownership of underlying slice of SerializableBuffer to outside of Mem() #374

Merged
merged 37 commits into from
Aug 29, 2024
Merged

Move ownership of underlying slice of SerializableBuffer to outside of Mem() #374

merged 37 commits into from
Aug 29, 2024

Commits on Jul 24, 2024

  1. fix missing precondition for packSCMP

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

Commits on Jul 25, 2024

  1. progress scmp

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

  2. further progress

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

  3. further scmp fixes

    @mlimbeck
    mlimbeck committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    08e5f59 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. fix syntax error and strengthen spec of erros.Is function

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

  2. fix verification error

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

  3. fix verification errors in process()

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

  4. drop last scmp assumption

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

  5. fix verification errors in process()

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

  6. add missing postconditions to resolveInbound

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

  7. fix p.d permissions

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

  8. save

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

  9. remove wrong precondition from validateEgressUp()

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

Commits on Aug 12, 2024

  1. clean up

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

Commits on Aug 13, 2024

  1. Merge remote-tracking branch 'remotescion/joao-new-inv' into markus-p… 

    …ackscmp-new-inv
    @mlimbeck
    mlimbeck committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    16d4ed9 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. feedback

    @mlimbeck
    mlimbeck committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    eb6b522 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'markus-packscmp' into markus-packscmp-new-inv

    @mlimbeck
    mlimbeck committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    cb43617 View commit details
    Browse the repository at this point in the history

  3. change dependencies to new buffer approach

    @mlimbeck
    mlimbeck committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    14d0b62 View commit details
    Browse the repository at this point in the history

  4. remove buffWithFullPerm flag from scionPacketProcessor

    @mlimbeck
    mlimbeck committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    4f6bab4 View commit details
    Browse the repository at this point in the history

  5. fix verification errors

    @mlimbeck
    mlimbeck committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    66f2726 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. fix permission mistake

    @mlimbeck
    mlimbeck committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    032af16 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'joao-uncomment-packSCMP' into markus-packscmp-new-inv

    @mlimbeck
    mlimbeck committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    11dfd0b View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: João Pereira <[email protected]>
    @mlimbeck @jcp19
    mlimbeck and jcp19 authored Aug 15, 2024
    Configuration menu
    Copy the full SHA
    83d36ce View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. pass underlying buffer slice to prepareSCMP

    @mlimbeck
    mlimbeck committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    66a17d8 View commit details
    Browse the repository at this point in the history

  2. remove deep ownership of buffer slice in message

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

  3. fix verification error in run

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

  4. fix injectivity issue in run() and verification error in newPacketPro… 

    …cessor
    @mlimbeck
    mlimbeck committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    155909d View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. different trigger

    @mlimbeck
    mlimbeck committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    439c0e8 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. proves injectivity for message buffer directly without sets

    @mlimbeck
    mlimbeck committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    7ee8a80 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. test: remove unnecessary invariants in run()

    @mlimbeck
    mlimbeck committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    2233984 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. improvements to injectivity lemma for messages

    @mlimbeck
    mlimbeck committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    53944ca View commit details
    Browse the repository at this point in the history

  2. introduce new lemma PermsImplyIneq()

    @mlimbeck
    mlimbeck committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    1795031 View commit details
    Browse the repository at this point in the history

  3. fixed missing preconditions

    @mlimbeck
    mlimbeck committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    267c125 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. minor fixes and feedback

    @mlimbeck
    mlimbeck committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    ed2cdcf View commit details
    Browse the repository at this point in the history

  2. fix verification error

    @mlimbeck
    mlimbeck committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    d5df19d View commit details
    Browse the repository at this point in the history

  3. fmt

    @mlimbeck
    mlimbeck committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    fa8c6b1 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'joao-uncomment-packSCMP' into markus-packscmp-new-inv

    @jcp19
    jcp19 authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5187f87 View commit details
    Browse the repository at this point in the history