model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

Add Subtree changes to Main branch #4

Closed jaisnan closed 1 month ago

jaisnan commented 1 month ago

Description of changes: Draft PR for the main branch of the contest page. This ensures that we keep track of the std-library as a subtree of the main branch.

It's important that we don't squash these 3 commits during merge as the git subtree command retrieves information from the commit messages to track how the merge has been performed and to improve future merge.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.