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

Enrich unit tests with symbolic proofs #846

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

Enrich unit tests with symbolic proofs #846

wants to merge 39 commits into from

Commits on Aug 7, 2023

  1. feat: kani verification

    Tiago Ferreira committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    7aafa1f View commit details
    Browse the repository at this point in the history

  2. feat: CI

    Tiago Ferreira committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    b84ee5b View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. feat: symbolic Repr

    Tiago Ferreira committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    0dda501 View commit details
    Browse the repository at this point in the history

  2. feat: prove invertible Repr

    Tiago Ferreira committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    2b06c58 View commit details
    Browse the repository at this point in the history

  3. feat: prove_header_len_multiple_of_4

    Tiago Ferreira committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    589fafd View commit details
    Browse the repository at this point in the history

  4. feat: prove_header_len_multiple_of_4

    Tiago Ferreira committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    df1123a View commit details
    Browse the repository at this point in the history

  5. feat: CI parallel

    Tiago Ferreira committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    98cd41b View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. feat: CI parallel

    Tiago Ferreira committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    4a2a809 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. feat: tcpoptions

    Tiago Ferreira committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    74d7b23 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. feat: custom ci runner

    Tiago Ferreira committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    723cc1c View commit details
    Browse the repository at this point in the history

  2. feat: move symbolic implementations to source

    Tiago Ferreira committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    7bdf46e View commit details
    Browse the repository at this point in the history

  3. feat: bump Kani ci version

    Tiago Ferreira committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    48fe5a1 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2023

  1. feat: symbolic sockets

    Tiago Ferreira committed Aug 12, 2023
    Configuration menu
    Copy the full SHA
    47f146a View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. feat: prove_listen_sack_option

    Tiago Ferreira committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    9cfdbf9 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. feat: prove_listen_syn_win_scale_buffers

    Tiago Ferreira committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    42acf7d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feat/verification 

    # Conflicts:
#	src/iface/interface/mod.rs
#	src/socket/tcp.rs
    Tiago Ferreira committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    f56c04e View commit details
    Browse the repository at this point in the history

  3. feat: merge

    Tiago Ferreira committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    879d17d View commit details
    Browse the repository at this point in the history

  4. chore: fix new interface mocking

    Tiago Ferreira committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    bdb82c5 View commit details
    Browse the repository at this point in the history

  5. feat: Listen state proofs

    Tiago Ferreira committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    bbcc25e View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. chore: reduce parallelism

    Tiago Ferreira committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    793922b View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. feat: prove_syn_received_ack

    Tiago Ferreira committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    a805a35 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. feat: prove_syn_received_fin

    Tiago Ferreira committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    19873d1 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. feat: all SYN-RECEIVED state proofs

    Tiago Ferreira committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    97bae57 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. feat: ci

    Tiago Ferreira committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    f22240b View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2023

  1. feat: ci

    Tiago Ferreira committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    0fc4b31 View commit details
    Browse the repository at this point in the history

  2. feat: ci

    Tiago Ferreira committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    8f34e67 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feat/verification

    Tiago Ferreira committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    10ce229 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. chore: CI disable prove_repr_intertible

    Tiago Ferreira committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    2a67e58 View commit details
    Browse the repository at this point in the history

  2. chore: CI disable prove_repr_intertible

    Tiago Ferreira committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    b698f5a View commit details
    Browse the repository at this point in the history

  3. chore: CI try on ubuntu

    Tiago Ferreira committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    73cfc69 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. chore: CI try on github macos

    Tiago Ferreira committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    4fdce8f View commit details
    Browse the repository at this point in the history

  2. chore: CI try on kani 33

    Tiago Ferreira committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    0d1c097 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. chore: cleanup

    Tiago Ferreira committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    85deebd View commit details
    Browse the repository at this point in the history

  2. fix: import Ipv4Address

    Tiago Ferreira committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    c668114 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. chore: tweak prove_repr_intertible scope for CI

    Tiago Ferreira committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    b17329e View commit details
    Browse the repository at this point in the history

  2. chore: tweak prove_repr_intertible scope for CI

    Tiago Ferreira committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    12ed17d View commit details
    Browse the repository at this point in the history

  3. chore: format et al

    Tiago Ferreira committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    8eb956b View commit details
    Browse the repository at this point in the history

  4. chore: restrict TcpOption sack_ranges

    Tiago Ferreira committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    1cb548a View commit details
    Browse the repository at this point in the history

  5. chore: Bring TcpRepr specifics into proofs

    Tiago Ferreira committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    a440600 View commit details
    Browse the repository at this point in the history