about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-02-21Resolve some FIXME from socketpair testtiif-6/+2
2025-02-20Add explanation commentJakub Beránek-0/+1
2025-02-20Remove GitHub job summariesJakub Beránek-9/+4
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-0/+75
2025-02-19Merge from rustcThe Miri Cronjob Bot-0/+2
2025-02-18Rollup merge of #136750 - kornelski:ub-bug, r=saethlinUrgau-0/+2
2025-02-17Merge from rustcThe Miri Cronjob Bot-4/+4
2025-02-17stabilize (const_)ptr_sub_ptrbendn-3/+0
2025-02-16add erf and erfc to nondet tests, and reduce how much we're changing the floa...Ralf Jung-111/+27
2025-02-16apply random float error to most floating-point operationsLorrensP-2158466-56/+267
2025-02-16Rollup merge of #136986 - ehuss:library-unsafe-fun, r=NoratriebMatthias Krüger-4/+4
2025-02-16Merge from rustcRalf Jung-0/+6
2025-02-16Make ub_check message clear that it's not an assertKornel-0/+2
2025-02-15Merge from rustcThe Miri Cronjob Bot-0/+5
2025-02-15Auto merge of #136324 - GrigorenkoPV:erf, r=tgross35bors-0/+6
2025-02-14add x86-sse2 (32bit) ABI that requires SSE2 target featureRalf Jung-0/+5
2025-02-14miri: shims for `erf` & friendsPavel Grigorenko-0/+6
2025-02-14Bless miri tests after applying unsafe_op_in_unsafe_fnEric Huss-4/+4
2025-02-13Merge from rustcThe Miri Cronjob Bot-0/+46
2025-02-12Change swap_nonoverlapping from lang to library UBBen Kimock-0/+46
2025-02-11Merge from rustcThe Miri Cronjob Bot-21/+0
2025-02-10Auto merge of #135701 - calebzulawski:sync-from-portable-simd-2025-01-18, r=w...bors-21/+0
2025-02-08Merge from rustcThe Miri Cronjob Bot-23/+16
2025-02-07Rollup merge of #135945 - estebank:useless-parens, r=compiler-errorsMatthias Krüger-15/+15
2025-02-06remove use of `feature(trait_upcasting)` from miriWaffle Lapkin-8/+1
2025-02-06Remove some unnecessary parens in `assert!` conditionsEsteban Küber-15/+15
2025-02-06Merge pull request #4181 from tiif/check_shim_variadicRalf Jung-9/+38
2025-02-06some more argument checking cleanupRalf Jung-9/+9
2025-02-06Throw ub error when invoking non-vararg shim with vararg importtiif-0/+29
2025-02-06allow code to call geteuid()Slava Barinov-0/+5
2025-02-05Merge from rustcRalf Jung-0/+20
2025-02-04Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkinbors-0/+20
2025-02-04update JSON target spec to declare softfloat ABIRalf Jung-0/+1
2025-02-03Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk许杰友 Jieyou Xu (Joe)-3/+45
2025-02-02Merge pull request #4142 from joboet/apple-futexRalf Jung-0/+276
2025-02-02shim Apple's futex primitivesjoboet-0/+276
2025-02-02Merge pull request #4172 from RalfJung/miri_get_backtraceRalf Jung-2/+5
2025-02-02Merge from rustcRalf Jung-0/+28
2025-02-02miri_get_backtrace: stop supporting the v0 protocolRalf Jung-2/+5
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-3/+45
2025-02-01Test getrandom 0.3Eduardo Sánchez Muñoz-1/+3
2025-01-31PR feedbackScott McMurray-0/+20
2025-02-01fmtThe Miri Cronjob Bot-27/+30
2025-02-01Merge from rustcThe Miri Cronjob Bot-0/+54
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-0/+75
2025-01-31miri: make float min/max non-deterministicRalf Jung-0/+28
2025-01-30More assertions, tests, and miri coverageMichael Goulet-0/+54
2025-01-30Merge from rustcThe Miri Cronjob Bot-2/+2
2025-01-29Merge pull request #4162 from rust-lang/rustup-2025-01-29Ralf Jung-0/+35
2025-01-29Merge pull request #4122 from tiif/fnabiRalf Jung-4/+67