issues
search
rajathkotyal
/
verify-rust-std
Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CStr: `to_bytes` and `to_bytes_with_nul`
#21
Yenyun035
closed
1 day ago
0
cStr : from_bytes_until_nul
#20
rajathkotyal
closed
1 week ago
1
Cstr : from_bytes_with_nul
#19
rajathkotyal
opened
1 week ago
0
cStr : is_empty
#18
rajathkotyal
opened
1 week ago
0
Cstr : count_bytes
#17
rajathkotyal
closed
1 day ago
1
Cstr - from_bytes_until_nul
#16
rajathkotyal
closed
1 week ago
1
[P3-Float-to-Int Conversion] `f128::to_int_unchecked`
#15
Yenyun035
opened
1 month ago
0
[P3-Float-to-Int Conversion] `f64::to_int_unchecked`
#14
Yenyun035
opened
1 month ago
0
[P3-Float-to-Int Conversion] `f32::to_int_unchecked`
#13
Yenyun035
opened
1 month ago
4
[P3-Float-to-Int Conversion] `f16::to_int_unchecked`
#12
Yenyun035
opened
1 month ago
0
[P2-Safe API] `carrying_mul`
#11
Yenyun035
closed
1 month ago
2
[P2-Safe API] `widening_mul`
#10
Yenyun035
closed
1 month ago
1
[P2-Safe API] `wrapping_shr`
#9
Yenyun035
closed
1 month ago
0
[P2-Safe API] `wrapping_shl`
#8
Yenyun035
closed
1 month ago
1
unchecked_mul and unchecked_shr proofs
#7
rajathkotyal
closed
2 months ago
1
[P1-Unsafe Int] unchecked_shr : Shift Right
#6
rajathkotyal
closed
1 month ago
1
[P1-Unsafe Int] unchecked_neg
#5
parkerqi
closed
1 month ago
3
[P1-Unsafe Int] unchecked_shl : Shift Left
#4
rajathkotyal
closed
1 month ago
1
[P1-Unsafe Int] unchecked_mul
#3
rajathkotyal
closed
1 month ago
1
[P1-Unsafe Int] unchecked_sub
#2
rajathkotyal
closed
1 month ago
1
[P1-Unsafe Int] unchecked_add
#1
rajathkotyal
closed
1 month ago
4