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

Draft: Added required code to prove missing formosa-x25519 procedures #924

Draft
wants to merge 11 commits into
base: cryptoline
Choose a base branch
from
Draft

Draft: Added required code to prove missing formosa-x25519 procedures #924

wants to merge 11 commits into from

Commits on Oct 1, 2024

  1. Updated compiler

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    564b572 View commit details
    Browse the repository at this point in the history

  2. Equality abstract rpreds for booleans

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    5aa3bcd View commit details
    Browse the repository at this point in the history

  3. Added u64 to integer in algebraic expressions

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    405ef80 View commit details
    Browse the repository at this point in the history

  4. Added equality abstract predicate to algebraic expressions

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    c259ac6 View commit details
    Browse the repository at this point in the history

  5. CMOV op_to_instr added

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    d212d8e View commit details
    Browse the repository at this point in the history

  6. MUL op_to_instr added

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    409e41c View commit details
    Browse the repository at this point in the history

  7. Uncommented pow and added b2i abstract algebraic expressions

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    92ad740 View commit details
    Browse the repository at this point in the history

  8. Added rlimbs, eqrmod and quad (and other less significant) abstract p… 

    …redicates
    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    3e0fa22 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. MULX, but incorrect implementation as of now

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    5224f3c View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. MULX_64 implemented

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    21803a0 View commit details
    Browse the repository at this point in the history

  2. MULX with assertion checks

    @JoaoDiogoDuarte
    JoaoDiogoDuarte committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    05e4afa View commit details
    Browse the repository at this point in the history