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

Contracts & Harnesses for to_int_unchecked #134

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

Contracts & Harnesses for to_int_unchecked #134

wants to merge 14 commits into from
+90 −0

Commits on Oct 22, 2024

  1. f32 test harness & contracts

    @Yenyun035
    Yenyun035 committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    95d11f3 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Merge branch 'model-checking:main' into c-0011-core-nums-yenyunw-f32-… 

    …to-int-unchecked
    @Yenyun035
    Yenyun035 authored Oct 23, 2024
    Configuration menu
    Copy the full SHA
    88f7363 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. Fix contracts && Initial draft of macro and harnesses

    @Yenyun035
    Yenyun035 committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    227d9ac View commit details
    Browse the repository at this point in the history

  2. Merge branch 'model-checking:main' into c-0011-core-nums-yenyunw-f32-… 

    …to-int-unchecked
    @Yenyun035
    Yenyun035 authored Oct 24, 2024
    Configuration menu
    Copy the full SHA
    b875696 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2024

  1. Merge main

    @Yenyun035
    Yenyun035 committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    70fe5d9 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merge branch 'main' of github.com:rajathkotyal/verify-rust-std into c… 

    …-0011-core-nums-yenyunw-f32-to-int-unchecked
    @Yenyun035
    Yenyun035 committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    5742a89 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. f128_float_to_int proofs

    @rajathkotyal
    rajathkotyal committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    082ea5a View commit details
    Browse the repository at this point in the history

  2. Fix comment

    @Yenyun035
    Yenyun035 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    bb00a72 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'model-checking:main' into c-0011-core-nums-yenyunw-f32-… 

    …to-int-unchecked
    @Yenyun035
    Yenyun035 authored Oct 30, 2024
    Configuration menu
    Copy the full SHA
    88c3411 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into c-0011-core-nums-yenyunw-f32-to-int-unchecked

    @Yenyun035
    Yenyun035 authored Oct 30, 2024
    Configuration menu
    Copy the full SHA
    a661c16 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. Merge branch 'model-checking:main' into c-0011-core-nums-yenyunw-f32-… 

    …to-int-unchecked
    @Yenyun035
    Yenyun035 authored Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c85ce2a View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. f64_float_to_int proofs

    @MWDZ
    MWDZ committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    573e0a8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:rajathkotyal/verify-rust-std into c… 

    …-0011-core-nums-yenyunw-f32-to-int-unchecked
    @Yenyun035
    Yenyun035 committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    39c6d63 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. Merge branch 'main' into c-0011-core-nums-yenyunw-f32-to-int-unchecked

    @Yenyun035
    Yenyun035 authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    1171a9c View commit details
    Browse the repository at this point in the history