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

Updated IO-Spec-Function to Correlate Bytes with Terms #262

Merged
merged 10 commits into from
Feb 27, 2024
Merged

Updated IO-Spec-Function to Correlate Bytes with Terms #262

merged 10 commits into from
Feb 27, 2024

Commits on Feb 27, 2024

  1. fixes in the asid extraction functions

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

  2. pre-/postconditions for process

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

  3. fix formatting

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

  4. Merge branch 'io_spec_verification' into markus-io-spec-update-absPkt

    @Dspil
    Dspil committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    3058f13 View commit details
    Browse the repository at this point in the history

  5. fix same issue in processSCION

    @Dspil
    Dspil committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    f305aaf View commit details
    Browse the repository at this point in the history

  6. fix var names

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

  7. precondition changes in hopfield and asidFromIfs

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

  8. prostcondition fix in process and processSCION

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

  9. update imports links

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

  10. Apply suggestions from code review

    @jcp19
    jcp19 authored Feb 27, 2024
    Configuration menu
    Copy the full SHA
    16fa127 View commit details
    Browse the repository at this point in the history