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

A more complete spec of ML-KEM #475

Merged
merged 24 commits into from
Aug 20, 2024
Merged

A more complete spec of ML-KEM #475

merged 24 commits into from
Aug 20, 2024

Commits on Aug 11, 2024

  1. wip ntt

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

  2. Merge branch 'dev' into ml-kem-spec-ntt

    @karthikbhargavan
    karthikbhargavan committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    962dd48 View commit details
    Browse the repository at this point in the history

  3. a more complete spec

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

Commits on Aug 12, 2024

  1. spec

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

Commits on Aug 13, 2024

  1. Factorize makefiles

    @W95Psp
    W95Psp committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    72c166f View commit details
    Browse the repository at this point in the history

  2. Use a workspace-wide dependency hax-lib

    @W95Psp
    W95Psp committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    15e87ac View commit details
    Browse the repository at this point in the history

  3. merged dev

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    c931ba3 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. wip

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

  2. Makefile: add FSTAR_INCLUDE_DIRS_EXTRA

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

Commits on Aug 16, 2024

  1. admit to pass decap

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

  2. fixed unsize

    @karthikbhargavan
    karthikbhargavan committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    91b33a7 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. admit

    @karthikbhargavan
    karthikbhargavan committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    9ce3eb0 View commit details
    Browse the repository at this point in the history

  2. fixed include

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

  3. spec

    @karthikbhargavan
    karthikbhargavan committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    5884e2a View commit details
    Browse the repository at this point in the history

  4. bump rlimit

    @karthikbhargavan
    karthikbhargavan committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    72c8fae View commit details
    Browse the repository at this point in the history

  5. spec fixes

    @karthikbhargavan
    karthikbhargavan committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    60b28af View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. refreshed c code

    @karthikbhargavan
    karthikbhargavan committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    0160f30 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. use latest hax/main, that includes hacspec/hax#856

    @W95Psp
    W95Psp committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    d611123 View commit details
    Browse the repository at this point in the history

  2. refresh from amd server

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ffaeafb View commit details
    Browse the repository at this point in the history

  3. regen c

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    8ea4508 View commit details
    Browse the repository at this point in the history

  4. updated eurydice_glue.h from main

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    93442bd View commit details
    Browse the repository at this point in the history

  5. updated eurydice_glue.h from main

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    dfa66e6 View commit details
    Browse the repository at this point in the history

  6. fixes to none/tryfromslice

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    7ef53fd View commit details
    Browse the repository at this point in the history

  7. fixes to none/tryfromslice

    @karthikbhargavan
    karthikbhargavan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    c0829cc View commit details
    Browse the repository at this point in the history