about summary refs log tree commit diff
path: root/src/tools/miri/Cargo.toml
AgeCommit message (Collapse)AuthorLines
2025-09-03Merge pull request #4506 from Patrick-6/miri-genmc-mvpRalf Jung-1/+1
Add minimal functionality for using GenMC mode
2025-09-03Implement basic support for running Miri with GenMC.Patrick-6-1/+1
- 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-08-31native-lib: pass structs to native codeNia Espera-1/+1
2025-08-20allow cfg(bootstrap)Ralf Jung-0/+1
2025-07-27Add support for building and linking against genmcPatrick-6-1/+5
2025-07-19bump ui_testRalf Jung-1/+1
2025-07-19bump ipc-channelRalf Jung-1/+1
2025-07-19bump colored depRalf Jung-1/+1
2025-07-18move page protection logic inside native_libRalf Jung-2/+3
and ensure we don't unwind out of the "weird state" during tracing
2025-07-18make native-lib support compile-time-optional, and centralize cfg usageRalf Jung-7/+8
2025-07-02Merge pull request #4406 from Stypox/tracingRalf Jung-0/+2
Add tracing_chrome under "tracing" feature
2025-07-02Add tracing feature to enable tracing_chrome supportStypox-0/+2
2025-07-01Update `cfg(bootstrap)`Josh Stone-1/+0
2025-06-20supervisor bits of ffi ptracingNia Espera-0/+1
2025-06-18minimal ptrace setupNia Espera-0/+5
Apply suggestions from code review Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de> review comments fix possible hang
2025-06-06use File::lock to implement flock, and add a test for File::lockRalf Jung-7/+0
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-1/+1
Also update the format edition to 2024
2025-05-02Implement skeleton code for adding GenMC support to Miri (not yet functional).Patrick-6-0/+1
- Add a cargo feature to enable GenMC support (off by default) - Add support for GenMC datastructures to MiriMachine - Adjust several functions where GenMC needs to be informed about relevant events (e.g., atomic accesses) - Add skeleton code for parsing GenMC command line arguments - Some cleanup - Finish sentences with a `.` - Fix some spelling errors/typos Co-authored-by: Ralf Jung <post@ralfj.de>
2025-04-11fix build fail on macos bacause of libffi-sys 2.3.0; This updates libffi to ↵LorrensP-2158466-1/+1
new major version
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ↵Rune Tynan-0/+1
to get file metadata.
2025-04-04semver-bump some dependenciesRalf Jung-3/+3
2025-02-26Update ui testOli Scherer-1/+1
2025-02-14Remove the build script for miribjorn3-0/+4
Setting the TARGET env var can be replaced with using rustc_session::config::host_tuple at runtime. And the check-cfg can be replaced with using the lints section in Cargo.toml.
2025-02-01Bump rand to 0.9 and getrandom to 0.3Eduardo Sánchez Muñoz-2/+2
2025-01-28Bump ui testOli Scherer-1/+1
2025-01-27Bump ui_testOli Scherer-1/+1
2024-12-04Merge from rustcThe Miri Cronjob Bot-2/+2
2024-12-03switch jemalloc-sys back to tikv-jemalloc-sys, and update to 0.6.0Rémy Rakic-2/+2
2024-11-28remove ctrlc, unusedklensy-1/+0
2024-09-29bump few depsklensy-1/+1
2024-09-16Bump ui testOli Scherer-1/+1
2024-09-03Enable native libraries on macOSJesse Rusak-2/+0
Fixes #3595 by using -fvisibility=hidden and the visibility attribute supported by both gcc and clang rather than the previous gcc-only mechanism for symbol hiding. Also brings over cfg changes from #3594 which enable native-lib functionality on all unixes.
2024-08-22Make Tree Borrows Provenance GC no longer produce stack overflowsJohannes Hostert-1/+1
2024-07-26Add `flock` shimАртём Павлов [Artyom Pavlov]-2/+9
2024-05-03Merge from rustcThe Miri Cronjob Bot-1/+0
2024-04-28Use the interpreted program's TZ variable in localtime_rBen Kimock-1/+2
2024-04-28Remove direct dependencies on lazy_static, once_cell and byteorderGeorge Bateman-1/+0
The functionality of all three crates is now available in the standard library.
2024-04-24windows: basic support for GetUserProfileDirectoryWRalf Jung-0/+1
2024-04-22Add localtime_r shimtiif-0/+1
2024-03-30cotrol stacked borrows consistency check with its own feature flagRalf Jung-0/+1
2024-03-09rename tests/compiletest → tests/uiRalf Jung-1/+1
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-0/+1
2024-01-30Switch over to rustc's `tracing` crate instead of using our own `log` crateOli Scherer-2/+0
2024-01-13Update measureme crate to version 11Michael Woerister-1/+1
2024-01-08only use jemalloc on Linux and macOSRalf Jung-2/+3
2024-01-07Auto merge of #3257 - RalfJung:build-tests, r=RalfJungbors-4/+1
./miri build: also build tests, to avoid rebuilds later
2024-01-07only use jemalloc on UnixRalf Jung-1/+2
2024-01-07use jemalloc as global allocatorRalf Jung-1/+5
2024-01-06./miri build: also build tests, to avoid rebuilds laterRalf Jung-4/+1
2023-10-09Implement `llvm.x86.aesni.*` intrinsicsEduardo Sánchez Muñoz-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 10:32:46 +0000