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

experiments with using refined integers to model machine integers. #978

Draft
wants to merge 8 commits into
base: main
Choose a base branch
from
Draft

experiments with using refined integers to model machine integers. #978

wants to merge 8 commits into from

Commits on Oct 8, 2024

  1. switch successful within hax proof libs

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

Commits on Oct 9, 2024

  1. wip

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

  2. fix: machine literal as wrapped ints

    @W95Psp
    W95Psp committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    211f322 View commit details
    Browse the repository at this point in the history

  3. examples work

    @karthikbhargavan
    karthikbhargavan committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    65ea516 View commit details
    Browse the repository at this point in the history

  4. to_int*

    @karthikbhargavan
    karthikbhargavan committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    5dd0bb3 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. ints

    @karthikbhargavan
    karthikbhargavan committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    7f884f6 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Restore neg_equiv_lemma

    @mamonet
    mamonet committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    3965e6b View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. Merge pull request #1004 from hacspec/refined-ints-neg 

    Restore neg_equiv_lemma
    @karthikbhargavan
    karthikbhargavan authored Nov 28, 2024
    Configuration menu
    Copy the full SHA
    ec4703f View commit details
    Browse the repository at this point in the history