summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-10-12Stabilize `const_option`Trevor Gross-1/+0
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+93
2024-10-05Fix up testsMichael Goulet-2/+49
2024-10-05Auto merge of #3940 - rust-lang:refutable_slice, r=RalfJungbors-33/+34
2024-10-05Auto merge of #3943 - RalfJung:pthread-mutex-reentrant, r=RalfJungbors-15/+51
2024-10-05pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_...Ralf Jung-15/+51
2024-10-04Prefer refutable slice patterns over len check + index opOli Scherer-33/+34
2024-10-04Implement LLVM x86 gfni intrinsicsTobias Decking-0/+722
2024-10-04clippyRalf Jung-2/+1
2024-10-04Merge from rustcThe Miri Cronjob Bot-7/+7
2024-10-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-03make sure we also detect mixed-size races that begin at different addressesRalf Jung-1/+47
2024-10-03fmtRalf Jung-19/+27
2024-10-03Merge from rustcRalf Jung-990/+988
2024-10-03Preparing for merge from rustcRalf Jung-1/+1
2024-10-03Auto merge of #127912 - joboet:tls_dtor_thread_current, r=cuviperbors-7/+7
2024-10-02epoll: remove extraneous clone of ready_listFrank Rehwinkel-2/+1
2024-10-02epoll: add vector clock to the epoll ready_listFrank Rehwinkel-119/+67
2024-10-02epoll: remove unnecessary instructionsFrank Rehwinkel-3/+0
2024-10-02epoll: add data_race testFrank Rehwinkel-0/+108
2024-10-02bless miri testsjoboet-7/+7
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-728/+734
2024-10-01add set_last_error_and_return_i32 helper and use it in a few placesRalf Jung-27/+28
2024-10-01make set_last_error directly callable on a bunch of ways to represent errorsRalf Jung-80/+88
2024-10-01move io error handling helpers to their own fileRalf Jung-184/+193
2024-10-01Refactor return_read_bytes_and_count and return_written_byte_count_or_errortiif-67/+76
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-3/+8
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-474/+602
2024-09-29let rustfmt format importsRalf Jung-319/+255
2024-09-29bump few depsklensy-63/+24
2024-09-29skip old getrandom crate on SolarisRalf Jung-5/+10
2024-09-28Auto merge of #3918 - devnexen:solaris_arc4random_buf, r=RalfJungbors-4/+31
2024-09-28make sure the new function is testedRalf Jung-4/+4
2024-09-28implements arc4random_buf shim for freebsd/solarish platforms.David Carlier-0/+27
2024-09-28add tests for validity of Box with custom allocatorRalf Jung-0/+99
2024-09-28Further clarificarion for atomic and UnsafeCell docs:Ralf Jung-0/+17
2024-09-28allow mixed-size atomic readsRalf Jung-153/+202
2024-09-28miri: no longer complain about read-read racesRalf Jung-122/+43
2024-09-27Update cc to 1.1.22Chris Denton-6/+33
2024-09-26Auto merge of #3916 - rust-lang:rustup-2024-09-26, r=RalfJungbors-21/+21
2024-09-26remove some clippy lints from the list that we do not even trigger any moreRalf Jung-2/+0
2024-09-26fix clippy::needless_returnRalf Jung-13/+13
2024-09-26clippyRalf Jung-5/+7
2024-09-26bump rustc-build-sysroot versionRalf Jung-3/+3
2024-09-26Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-09-25Auto merge of #3915 - RalfJung:target-json-test, r=RalfJungbors-27/+25
2024-09-25switch custom target JSON test to a less exotic targetRalf Jung-27/+25
2024-09-25enable pthread_cond_timedwait test on AndroidRalf Jung-1/+1
2024-09-25Android: Fixed tests for libc time APIYoh Deadfall-8/+28
2024-09-25disable AVR test since it doesn't workRalf Jung-1/+2