GitHub - model-checking/verify-rust-std at 818933db00da91d96dfa3ae36ac1247edc629634

12 Branches 134 Tags

Name		Name	Last commit message	Last commit date
Latest commit matthiaskrgr Rollup merge of rust-lang#126168 - devnexen:current_exe_haiku_simpl, … Jun 9, 2024 818933d · Jun 9, 2024 History 15,124 Commits
alloc		alloc	Rollup merge of rust-lang#125951 - slanterns:error_in_core_stabilizat…	Jun 8, 2024
backtrace		backtrace	Update backtrace to 0.3.73	Jun 7, 2024
core		core	Rollup merge of rust-lang#126138 - wbk:patch-1, r=lqd	Jun 8, 2024
panic_abort		panic_abort	Add support for Arm64EC to the Standard Library	Apr 15, 2024
panic_unwind		panic_unwind	Replace libc::c_int with core::ffi::c_int	Apr 14, 2024
portable-simd		portable-simd	Rollup merge of rust-lang#123168 - joshtriplett:size-of-prelude, r=Am…	Jun 5, 2024
proc_macro		proc_macro	Rollup merge of rust-lang#123168 - joshtriplett:size-of-prelude, r=Am…	Jun 5, 2024
profiler_builtins		profiler_builtins	Update cc crate to v1.0.97	May 8, 2024
rtstartup		rtstartup	library: Fix warnings in rtstartup	Jan 5, 2024
rustc-std-workspace-alloc		rustc-std-workspace-alloc	Replace libstd, libcore, liballoc in line comments.	Dec 30, 2022
rustc-std-workspace-core		rustc-std-workspace-core	Switch all libraries to the 2021 edition	Dec 23, 2021
rustc-std-workspace-std		rustc-std-workspace-std	Switch all libraries to the 2021 edition	Dec 23, 2021
std		std	Rollup merge of rust-lang#126168 - devnexen:current_exe_haiku_simpl, …	Jun 9, 2024
stdarch		stdarch	feat: update stdarch submodule for intrinsics on ARM	May 15, 2024
sysroot		sysroot	Add flag to sysroot	May 11, 2024
test		test	Apply x clippy --fix and x fmt	May 30, 2024
unwind		unwind	Fix unwinding on 32-bit watchOS ARM	May 5, 2024

Repository files navigation

Code of Conduct

This project has adopted the Amazon Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact [email protected] with any additional questions or comments.

About

Verifying the Rust standard library

model-checking.github.io/verify-rust-std/

Apache-2.0, MIT licenses found

Code of conduct

Security policy

Custom properties

Report repository

Releases

Packages

No packages published

Languages

Rust 99.5%
Other 0.5%