This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- README.md+12-2
- rust-version+1-1
- src/bin/cargo-miri.rs+13-28
- src/diagnostics.rs+5-1
- src/eval.rs+9-6
- src/lib.rs+1
- src/machine.rs+64-15
- src/shims/foreign_items/posix.rs+61-15
- src/shims/foreign_items/posix/linux.rs+1-1
- src/shims/foreign_items/posix/macos.rs+1-1
- src/shims/foreign_items/windows.rs+14-6
- src/shims/fs.rs+1-1
- src/shims/mod.rs+1
- src/shims/sync.rs+467
- src/shims/time.rs+32
- tests/compile-fail/libc_pthread_mutex_destroy_locked.rs+16
- tests/compile-fail/libc_pthread_mutex_normal_deadlock.rs+16
- tests/compile-fail/libc_pthread_mutex_normal_unlock_unlocked.rs+17
- tests/compile-fail/libc_pthread_rwlock_destroy_read_locked.rs+13
- tests/compile-fail/libc_pthread_rwlock_destroy_write_locked.rs+13
- tests/compile-fail/libc_pthread_rwlock_read_write_deadlock.rs+13
- tests/compile-fail/libc_pthread_rwlock_unlock_unlocked.rs+12
- tests/compile-fail/libc_pthread_rwlock_write_read_deadlock.rs+13
- tests/compile-fail/libc_pthread_rwlock_write_write_deadlock.rs+13
- tests/compile-fail/stack_free.rs+1-1
- tests/run-pass/float.rs+35-35
- tests/run-pass/leak-in-static.rs+8
- tests/run-pass/libc.rs+112-3
- tests/run-pass/panic/catch_panic.rs-3
- tests/run-pass/reentrant-println.rs+17
- tests/run-pass/reentrant-println.stdout+2
- tests/run-pass/sync.rs+44-10
- tests/run-pass/time.rs+13-16
- tests/run-pass/vec.rs+47
0 commit comments