Skip to content

Conversation

@jaisnan
Copy link

@jaisnan jaisnan commented Jun 25, 2024

Removes copyright strings, and allows this project to be in contribution model sync with upstream.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@jaisnan jaisnan requested a review from a team as a code owner June 25, 2024 15:43
@celinval celinval merged commit 52bea58 into model-checking:main Jun 25, 2024
szlee118 referenced this pull request in stogaru/verify-rust-std Oct 17, 2024
Removes copyright strings, and allows this project to be in contribution model sync with upstream.
hxuhack pushed a commit to Artisan-Lab/rapx-verify-rust-std that referenced this pull request Sep 23, 2025
Rust for Linux: copy `safety-lib/src/safety.rs` to kernel crates to have path-based safety attributes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants