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

Add support for f16 and f128 for toolchain upgrade to 6/28 #3306

Merged
merged 17 commits into from
Jul 1, 2024
Merged

Add support for f16 and f128 for toolchain upgrade to 6/28 #3306

merged 17 commits into from
Jul 1, 2024

Commits on Jun 28, 2024

  1. Toolchain upgrade to 6/26

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    2df53b7 View commit details
    Browse the repository at this point in the history

  2. formatting

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    98567e2 View commit details
    Browse the repository at this point in the history

  3. Clippy fixes and comments

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    2b1c74c View commit details
    Browse the repository at this point in the history

  4. Formatting again

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    93414c0 View commit details
    Browse the repository at this point in the history

  5. Add and clarify comments

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    7db7a78 View commit details
    Browse the repository at this point in the history

  6. Add and clarify comments

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    73e71c3 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'toolchain-upgrade-3303' of https://github.com/jaisnan/kani 

     into toolchain-upgrade-3303
    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    c24c340 View commit details
    Browse the repository at this point in the history

  8. Fix s2n-quic submodule being tracked

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    70fd84a View commit details
    Browse the repository at this point in the history

  9. Update s2n-quic from main

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    2136a20 View commit details
    Browse the repository at this point in the history

  10. Update to Float16Constant

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    ac1b75e View commit details
    Browse the repository at this point in the history

  11. Address comments

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    5492927 View commit details
    Browse the repository at this point in the history

  12. Re-order to keep consistency

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3e889c5 View commit details
    Browse the repository at this point in the history

  13. Add methods to check for new f16 and f128 types

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    14c4063 View commit details
    Browse the repository at this point in the history

  14. Fix comment to say 15 bits

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    b3a06c5 View commit details
    Browse the repository at this point in the history

  15. Add testing for f16 and f128

    @jaisnan
    jaisnan committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    86ea6b0 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Merge branch 'main' into toolchain-upgrade-3303

    @jaisnan
    jaisnan authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    2887b6b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into toolchain-upgrade-3303

    @jaisnan
    jaisnan authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    c39f40e View commit details
    Browse the repository at this point in the history