about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2025-09-12Merge ref '2a9bacf61876' from rust-lang/rustThe Miri Cronjob Bot-24/+24
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 2a9bacf6187685931d52346a0ecff2e52bdc91cc Filtered ref: d7fc6d06166167894862d54c9618a3cd7599fa9c Upstream diff: https://github.com/rust-lang/rust/compare/f4665ab8368ad2e8a86d4390ae35c28bdd9561bb...2a9bacf6187685931d52346a0ecff2e52bdc91cc This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-12Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to 2a9bacf6187685931d52346a0ecff2e52bdc91cc.
2025-09-11Auto merge of #145177 - joboet:move-pal-thread, r=ibraheemdevbors-24/+24
std: move `thread` into `sys` Part of https://github.com/rust-lang/rust/issues/117276.
2025-09-11Merge pull request #4580 from JoJoDeveloping/fix-4579-protector-0sizedRalf Jung-65/+12
Fix #4579 by checking if the strong protector is actually "active".
2025-09-11move zero-sized protector dealloc testJohannes Hostert-15/+10
2025-09-11Merge pull request #4577 from RalfJung/release-seqRalf Jung-44/+157
Fix release/scquire synchonization for loads from the store buffer
2025-09-11Fix miri issue 4579 by checking if the strong protector is actually "active".Johannes Hostert-52/+4
Where "active" means that the accessed bit is set. This also reverts miri PR 3831.
2025-09-11weak_memory: fix sync clock handling when loading from old store elementsRalf Jung-50/+121
2025-09-11add release sequence testRalf Jung-4/+46
2025-09-11Merge ref 'f4665ab8368a' from rust-lang/rustThe Miri Cronjob Bot-0/+14
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: f4665ab8368ad2e8a86d4390ae35c28bdd9561bb Filtered ref: d2e3c00d12fb613c03777e620c50528112247ad2 Upstream diff: https://github.com/rust-lang/rust/compare/a09fbe2c8372643a27a8082236120f95ed4e6bba...f4665ab8368ad2e8a86d4390ae35c28bdd9561bb This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-11Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to f4665ab8368ad2e8a86d4390ae35c28bdd9561bb.
2025-09-10add release sequence testRalf Jung-3/+39
2025-09-10this apparently needs more test roundsRalf Jung-3/+11
2025-09-10move all weak memory tests into their folderRalf Jung-2/+2
2025-09-10also use nicer check_all_outcomes in float_nanRalf Jung-177/+142
2025-09-10refactor weak-mem test to list all expected executionsRalf Jung-103/+114
2025-09-10ensure we do not see the inconsistent execution from Figure 8Ralf Jung-1/+10
2025-09-10weak memory tests: add more info on where they come fromRalf Jung-11/+14
2025-09-10interpret: fix overlapping aggregate initializationRalf Jung-7/+63
2025-09-10bless miri testsjoboet-24/+24
2025-09-10Rollup merge of #146178 - folkertdev:static-align, ↵Matthias Krüger-0/+14
r=jdonszelmann,ralfjung,traviscross Implement `#[rustc_align_static(N)]` on `static`s Tracking issue: https://github.com/rust-lang/rust/issues/146177 ```rust #![feature(static_align)] #[rustc_align_static(64)] static SO_ALIGNED: u64 = 0; ``` We need a different attribute than `rustc_align` because unstable attributes are tied to their feature (we can't have two unstable features use the same unstable attribute). Otherwise this uses all of the same infrastructure as `#[rustc_align]`. r? `@traviscross`
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-0/+14
We need a different attribute than `rustc_align` because unstable attributes are tied to their feature (we can't have two unstable features use the same unstable attribute). Otherwise this uses all of the same infrastructure as `#[rustc_align]`.
2025-09-08move math foreign_items into their own fileRalf Jung-232/+266
2025-09-08extract core operation name instead of listing all function name variantsRalf Jung-17/+26
2025-09-08move math intrinsics to their own fileRalf Jung-287/+315
2025-09-08clippyRalf Jung-1/+1
2025-09-08Merge ref 'a09fbe2c8372' from rust-lang/rustRalf Jung-278/+489
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: a09fbe2c8372643a27a8082236120f95ed4e6bba Filtered ref: e8da14f32630072c76aeb944454175f4d8266918 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-08Prepare for merging from rust-lang/rustRalf Jung-1/+1
This updates the rust-version file to a09fbe2c8372643a27a8082236120f95ed4e6bba.
2025-09-08Merge pull request #4566 from Patrick-6/miri-genmc-rmwRalf Jung-207/+1478
Add more features for GenMC mode (RMW, fences, new printing options)
2025-09-08print proper error when using unsupported synchronization primitive with GenMCRalf Jung-76/+52
2025-09-07Implement more features for GenMC modePatrick-6-136/+1431
- Support for atomic fences. - Support for atomic read-modify-write (RMW). - Add tests using RMW and fences. - Add options: - to disable weak memory effects in GenMC mode. - to print GenMC execution graphs. - to print GenMC output message. - Fix GenMC full rebuild issue and run configure step when commit changes. - Do cleanup. Co-authored-by: Ralf Jung <post@ralfj.de>
2025-09-06Change stdlib float tests to account for miri nondet floats.LorrensP-2158466-4/+3
2025-09-06Implement nondet behaviour and change/add tests.LorrensP-2158466-169/+375
2025-09-05atomic rmw intrinsics: RHS must be an integerRalf Jung-1/+2
2025-09-05Merge pull request #4569 from RalfJung/atomic-rmwRalf Jung-127/+83
atomics: unify handling min/max and the other RMWs
2025-09-05atomics: unify handling min/max and the other RMWsRalf Jung-127/+83
2025-09-05Merge pull request #4568 from RalfJung/duration-from-nanosRalf Jung-8/+2
make use of Duration::from_nanos_u128
2025-09-05make use of Duration::from_nanos_u128Ralf Jung-8/+2
2025-09-05Merge ref 'b3cfb8faf84c' from rust-lang/rustThe Miri Cronjob Bot-1/+51
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: b3cfb8faf84c5f3b7909479a9f9b6a3290d5f4d7 Filtered ref: 8995aa7743caf019203bc853f27af6006705ae30 Upstream diff: https://github.com/rust-lang/rust/compare/9385c64c95d971329e62917adc4349c8ccdbafe0...b3cfb8faf84c5f3b7909479a9f9b6a3290d5f4d7 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-05Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to b3cfb8faf84c5f3b7909479a9f9b6a3290d5f4d7.
2025-09-04Move float non determinism helpers to math.rsLorrensP-2158466-134/+140
2025-09-04Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35Jacob Pratt-1/+51
Implement Integer funnel shifts Tracking issue: rust-lang/rust#145686 ACP: https://github.com/rust-lang/libs-team/issues/642 This implements funnel shifts on primitive integer types. Implements this for cg_llvm, with a fallback impl for everything else Thanks `@folkertdev` for the fixes and tests cc `@rust-lang/libs-api`
2025-09-04Merge ref '9385c64c95d9' from rust-lang/rustThe Miri Cronjob Bot-0/+8
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 9385c64c95d971329e62917adc4349c8ccdbafe0 Filtered ref: 80818ce34771a13f1a67a706e7e283ba58bdc460 This merge was created using https://github.com/rust-lang/josh-sync.
2025-09-04Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to 9385c64c95d971329e62917adc4349c8ccdbafe0.
2025-09-03fix applying an error to infinitiesRalf Jung-0/+8
2025-09-03Merge pull request #4506 from Patrick-6/miri-genmc-mvpRalf Jung-481/+3667
Add minimal functionality for using GenMC mode
2025-09-03Implement basic support for running Miri with GenMC.Patrick-6-429/+3572
- Implement memory allocation compatible with GenMC. - Extract address generator struct from Miri's allocator. - Support thread creation and joining. - Support atomic load and store. - Support scheduling through GenMC. - Add tests for GenMC mode. - Add clang-format file for C++ code in Miri. - Update genmc-sys crate license to MIT/Apache to match GenMC dependency. - Add documentation for GenMC mode. Note: this commit depends on changes to GenMC not yet upstreamed to its official repository. Co-authored-by: Ralf Jung <post@ralfj.de>
2025-09-03Extract address generator struct from memory allocator.Patrick-6-52/+95
2025-09-03Merge pull request #4562 from RalfJung/ciRalf Jung-10/+9
re-balance CI
2025-09-03no need to run GC_STRESS more than once for each OSRalf Jung-6/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 08:19:48 +0000