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

F*: avx2: {de,}serialize{1,4,10,12} #590

Merged
merged 21 commits into from
Sep 27, 2024
Merged

F*: avx2: {de,}serialize{1,4,10,12} #590

merged 21 commits into from
Sep 27, 2024

Commits on Sep 3, 2024

  1. Remove unsafe code from include to avoid being rejected by hax.

    @maximebuyse @W95Psp
    maximebuyse authored and W95Psp committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    c04abb6 View commit details
    Browse the repository at this point in the history

  2. wip

    @W95Psp
    W95Psp committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    705320f View commit details
    Browse the repository at this point in the history

  3. feat: tactic: do nothing if smt queries are admitted

    @W95Psp
    W95Psp committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    574a60b View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. wip: more intrinsics

    @W95Psp
    W95Psp committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    c44ad6b View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. fstar: avx2: serialize_4 basically works

    @W95Psp
    W95Psp committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    774431c View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. wip

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    645c229 View commit details
    Browse the repository at this point in the history

  2. wip

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    f1a7d89 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into lf-avx2-serialize-deserialize-4

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    8e5530a View commit details
    Browse the repository at this point in the history

  4. fixes

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    11cd991 View commit details
    Browse the repository at this point in the history

  5. regenerated F*

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    1afb5c2 View commit details
    Browse the repository at this point in the history

  6. Avx2.Serialize: verified

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    48b0caa View commit details
    Browse the repository at this point in the history

  7. fix specs

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    aaee079 View commit details
    Browse the repository at this point in the history

  8. fix specs

    @W95Psp
    W95Psp committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    f77fcb1 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. progress

    @W95Psp
    W95Psp committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    fc84fe8 View commit details
    Browse the repository at this point in the history

  2. progress

    @W95Psp
    W95Psp committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    096b016 View commit details
    Browse the repository at this point in the history

  3. progress

    @W95Psp
    W95Psp committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    99cef83 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. progress

    @W95Psp
    W95Psp committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    c52ef6e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into lf-avx2-serialize-deserialize-4

    @W95Psp
    W95Psp committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    4fb6bae View commit details
    Browse the repository at this point in the history

  3. avx2: proofs: spec + proof for serialize_12

    @W95Psp
    W95Psp committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    232fbde View commit details
    Browse the repository at this point in the history

  4. chore: regenerate F* files

    @W95Psp
    W95Psp committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    a089e86 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. fixed some hax issues, refreshed C code

    @karthikbhargavan
    karthikbhargavan committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    ea45bea View commit details
    Browse the repository at this point in the history