about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep/libc/libc-mem.rs
AgeCommit message (Expand)AuthorLines
2024-12-02Use c"lit" for CStrings without unwrapKornel-5/+5
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+1
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-1/+12
2024-05-19a bit of refactoring and tweak the aligned-allocation testsRalf Jung-54/+56
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+40
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-2/+4
2024-05-12Add non-null pointer for posix_memaligntiif-4/+3
2024-05-09Implement non-null pointer for malloc(0)tiif-5/+9
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-0/+255