Issues
- 14
So you want to be considered by T-libs?
#10 opened by workingjubilee - 1
M1 Benchmarks
#17 opened by hoxxep - 5
Inadequate microbenchmarks
#9 opened by workingjubilee - 1
More trait implementations and methods
#7 opened by EricLBuehler - 0
-Zmiri-symbolic-alignment-check
#13 opened by EricLBuehler - 0
-Zmiri-tree-borrows
#14 opened by EricLBuehler - 0
-Zmiri-strict-provenance
#12 opened by EricLBuehler - 2
Remove RwLock fallbacks
#8 opened by workingjubilee - 0
D `AsRawFd`
#11 opened by EricLBuehler - 2
Memory fences and general improvements
#6 opened by EricLBuehler - 0
Atomic `Drop` implementations are unsound
#3 opened by TDplai - 2
Switch to Criterion for benchmarking
#4 opened by sigaloid - 1
- 1
Seems unsound
#1 opened by knopp