Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: google/zerocopy
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 92e778b
Choose a base ref
...
head repository: google/zerocopy
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 2a4bee7
Choose a head ref
  • 4 commits
  • 4 files changed
  • 3 contributors

Commits on Sep 19, 2023

  1. [ci] Run byteorder tests under Kani (#394) 

    Co-authored-by: Jack Wrenn <jswrenn@amazon.com>
    @joshlf @jswrenn
    joshlf and jswrenn authored Sep 19, 2023
    Configuration menu
    Copy the full SHA
    fdbb893 View commit details
    Browse the repository at this point in the history

  2. [miri] Optimize tests (#395) 

    Previously, we had logic to omit expensive formatting when running
`test_validate_rust_layout` under Miri, but this was typo'd to have the
opposite effect as intended - the expensive formatting would run /only/
when running under Miri. This commit fixes that typo, and as a result,
the test in question runs fast enough that we can remove other logic
designed to speed up execution only under Miri.

Closes #391
    @joshlf
    joshlf authored Sep 19, 2023
    Configuration menu
    Copy the full SHA
    8ac5e2d View commit details
    Browse the repository at this point in the history

  3. [tests] Test more failure conditions (#396) 

    ...in `test_validate_cast_and_convert_metadata`
    @joshlf
    joshlf authored Sep 19, 2023
    Configuration menu
    Copy the full SHA
    f192b86 View commit details
    Browse the repository at this point in the history

  4. [wip] kani

    @jswrenn @joshlf
    jswrenn authored and joshlf committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    2a4bee7 View commit details
    Browse the repository at this point in the history
Loading