about summary refs log tree commit diff
path: root/src/tools/miri/Cargo.toml
AgeCommit message (Expand)AuthorLines
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
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
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
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
2025-05-02Implement skeleton code for adding GenMC support to Miri (not yet functional).Patrick-6-0/+1
2025-04-11fix build fail on macos bacause of libffi-sys 2.3.0; This updates libffi to n...LorrensP-2158466-1/+1
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-0/+1
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
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
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
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
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
2023-09-30Bump libloading to 0.8Samuel Thibault-1/+1
2023-09-22Bump ui_test crateOli Scherer-1/+1
2023-09-22Bump ui_test crateOli Scherer-1/+1
2023-09-22Bump ui test crateOli Scherer-1/+1