about summary refs log tree commit diff
path: root/src/tools/miri/Cargo.lock
AgeCommit message (Collapse)AuthorLines
2025-09-03Merge pull request #4506 from Patrick-6/miri-genmc-mvpRalf Jung-12/+12
Add minimal functionality for using GenMC mode
2025-09-03Implement basic support for running Miri with GenMC.Patrick-6-12/+12
- 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-29Bump tracing-subscriber from 0.3.19 to 0.3.20dependabot[bot]-2/+2
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.19 to 0.3.20. - [Release notes](https://github.com/tokio-rs/tracing/releases) - [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.19...tracing-subscriber-0.3.20) --- updated-dependencies: - dependency-name: tracing-subscriber dependency-version: 0.3.20 dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2025-07-28Reduce required cc crate version.Patrick-6-2/+2
2025-07-27Add support for building and linking against genmcPatrick-6-0/+545
2025-07-19bump ui_testRalf Jung-4/+5
2025-07-19bump ipc-channelRalf Jung-39/+7
2025-07-19bump colored depRalf Jung-2/+11
2025-07-19cargo updateRalf Jung-192/+229
2025-07-02Add tracing feature to enable tracing_chrome supportStypox-0/+1
2025-06-20supervisor bits of ffi ptracingNia Espera-0/+21
2025-06-18minimal ptrace setupNia Espera-7/+171
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-1/+0
2025-04-11fix build fail on macos bacause of libffi-sys 2.3.0; This updates libffi to ↵LorrensP-2158466-4/+4
new major version
2025-04-10Bump crossbeam-channel from 0.5.14 to 0.5.15dependabot[bot]-2/+2
Bumps [crossbeam-channel](https://github.com/crossbeam-rs/crossbeam) from 0.5.14 to 0.5.15. - [Release notes](https://github.com/crossbeam-rs/crossbeam/releases) - [Changelog](https://github.com/crossbeam-rs/crossbeam/blob/master/CHANGELOG.md) - [Commits](https://github.com/crossbeam-rs/crossbeam/compare/crossbeam-channel-0.5.14...crossbeam-channel-0.5.15) --- updated-dependencies: - dependency-name: crossbeam-channel dependency-version: 0.5.15 dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ↵Rune Tynan-0/+1
to get file metadata.
2025-04-04cargo updateRalf Jung-267/+250
2025-04-04semver-bump some dependenciesRalf Jung-18/+47
2025-02-26Update ui testOli Scherer-2/+2
2025-02-01Bump rand to 0.9 and getrandom to 0.3Eduardo Sánchez Muñoz-13/+79
2025-01-28Bump ui testOli Scherer-2/+2
2025-01-27Bump ui_testOli Scherer-2/+2
2024-12-04update lockfileRalf Jung-12/+12
2024-11-28remove ctrlc, unusedklensy-29/+0
2024-09-29bump few depsklensy-5/+4
2024-09-27Update cc to 1.1.22Chris Denton-2/+11
2024-09-16Bump ui testOli Scherer-53/+28
2024-08-05bump dependenciesRalf Jung-102/+134
2024-07-26Add `flock` shimАртём Павлов [Artyom Pavlov]-0/+1
2024-05-05housekeeping: update dependenciesRalf Jung-118/+126
2024-05-03update lockfileRalf Jung-1/+0
2024-04-28Use the interpreted program's TZ variable in localtime_rBen Kimock-125/+76
2024-04-24windows: basic support for GetUserProfileDirectoryWRalf Jung-0/+49
2024-04-22Add localtime_r shimtiif-0/+144
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-0/+1
2024-02-23cargo updateRalf Jung-159/+85
2024-01-30Switch over to rustc's `tracing` crate instead of using our own `log` crateOli Scherer-56/+0
2024-01-21update lockfileRalf Jung-2/+2
2024-01-07Auto merge of #3257 - RalfJung:build-tests, r=RalfJungbors-135/+176
./miri build: also build tests, to avoid rebuilds later
2024-01-07use jemalloc as global allocatorRalf Jung-0/+11
2024-01-06cargo updateRalf Jung-134/+176
2024-01-06./miri build: also build tests, to avoid rebuilds laterRalf Jung-1/+0
2023-10-18Bump rustix from 0.38.17 to 0.38.19dependabot[bot]-2/+2
--- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-09Implement `llvm.x86.aesni.*` intrinsicsEduardo Sánchez Muñoz-0/+72
2023-10-05Update miri dependenciesEduardo Sánchez Muñoz-169/+133
2023-09-30Bump libloading to 0.8Samuel Thibault-3/+3
2023-09-28update ui_testRalf Jung-2/+2
2023-09-22Bump ui_test crateOli Scherer-9/+29
2023-09-22Bump ui test crateOli Scherer-6/+94
2023-09-21remove atty dependency by updating coloredRalf Jung-26/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 07:47:27 +0000