about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-10-07Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-10-06Rollup merge of #116277 - RalfJung:post-mono, r=oli-obkJubilee-2/+1
2023-10-06Auto merge of #3112 - RalfJung:rustup, r=RalfJungbors-1/+1
2023-10-06Preparing for merge from rustcRalf Jung-1/+1
2023-10-06Auto merge of #3110 - eduardosm:rounding-without-host-floats, r=RalfJungbors-30/+27
2023-10-06Do not use host floats in `simd_{ceil,floor,round,trunc}`Eduardo Sánchez Muñoz-30/+27
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-481/+1097
2023-10-06Miri: Add `CreateWaitableTimerEx` stubChris Denton-0/+12
2023-10-06add a direct dlsym testRalf Jung-19/+38
2023-10-06allow dyn_sym in the files where they are defined; remove unreachable android...Ralf Jung-19/+25
2023-10-06make some things on foreign_items privateRalf Jung-256/+256
2023-10-06refactor dlsym: dispatch symbols via the normal shim mechanismRalf Jung-461/+168
2023-10-06Auto merge of #3098 - BlackHoleFox:apple-entropy, r=RalfJungbors-4/+26
2023-10-06Move getentropy handling to a shared location for foreign item implementationBlackHoleFox-4/+26
2023-10-05Auto merge of #3107 - eduardosm:update-deps, r=RalfJungbors-503/+573
2023-10-05Update test dependenciesEduardo Sánchez Muñoz-92/+162
2023-10-05Update miri-script dependenciesEduardo Sánchez Muñoz-41/+179
2023-10-05Update cargo-miri dependenciesEduardo Sánchez Muñoz-201/+99
2023-10-05Update miri dependenciesEduardo Sánchez Muñoz-169/+133
2023-10-05Auto merge of #3106 - RalfJung:tree-borrows-initial, r=RalfJungbors-61/+106
2023-10-05Tree Borrows: do not create new tags as 'Active'Ralf Jung-61/+106
2023-10-05Auto merge of #3000 - RalfJung:no_std, r=oli-obkbors-19/+22
2023-10-04Auto merge of #3105 - RalfJung:sysroot-target, r=RalfJungbors-1/+4
2023-10-04miri-script: print which sysroot target we are buildingRalf Jung-1/+4
2023-10-04auto-detect no_std where possibleRalf Jung-19/+22
2023-10-03wording tweaksRalf Jung-2/+2
2023-10-03Fix typos `*ucom` → `ucom*`Eduardo Sánchez Muñoz-2/+2
2023-10-02add test for a function ABI mismatch due to target featuresRalf Jung-0/+50
2023-09-30clippyRalf Jung-2/+5
2023-09-30fmtRalf Jung-14/+11
2023-09-30Merge from rustcRalf Jung-3/+56
2023-09-30Preparing for merge from rustcRalf Jung-1/+1
2023-09-30Auto merge of #3086 - eduardosm:x86-sse3-intrinsics, r=RalfJungbors-0/+737
2023-09-30Bump libloading to 0.8Samuel Thibault-4/+4
2023-09-30Implement `llvm.x86.ssse3.*` intrinsicsEduardo Sánchez Muñoz-146/+644
2023-09-30Implement `llvm.x86.sse3.*` intrinsicsEduardo Sánchez Muñoz-0/+239
2023-09-30dont call mir.post_mono_checks in codegenRalf Jung-2/+1
2023-09-30Auto merge of #115933 - oli-obk:simd_shuffle_const, r=workingjubileebors-3/+56
2023-09-29Auto merge of #3093 - eduardosm:llvm.x86.sse2.pmadd.wd, r=RalfJungbors-0/+54
2023-09-29Implement the `llvm.x86.sse2.pmadd.wd` intrinsicEduardo Sánchez Muñoz-0/+54
2023-09-29add FMA test that would fail with apfloatRalf Jung-11/+20
2023-09-29add tests for '%' sign on floatsRalf Jung-0/+10
2023-09-28Auto merge of #3092 - RalfJung:ui-test, r=RalfJungbors-2/+2
2023-09-28update ui_testRalf Jung-2/+2
2023-09-28Merge from rustcThe Miri Conjob Bot-4/+16
2023-09-28Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-27Auto merge of #109597 - cjgillot:gvn, r=oli-obkbors-4/+16
2023-09-27clippyRalf Jung-2/+2
2023-09-27Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-09-26const-eval: make misalignment a hard errorRalf Jung-16/+2