about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2024-11-26Merge pull request #4061 from asquared31415/dep_info_fixRalf Jung-5/+8
Use `PathBuf` APIs to correctly do some path manipulation cross-platform
2024-11-25attempt to fix miri failing to create file when under weird powershell ↵asquared31415-5/+8
configurations
2024-11-25Fix the rest of the testsYoh Deadfall-6/+3
2024-11-25Added linux_like moduleYoh Deadfall-16/+17
2024-11-25Fixed test targetYoh Deadfall-2/+1
Co-authored-by: Ralf Jung <post@ralfj.de>
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-4/+32
2024-11-25miri: implement `TlsFree`joboet-0/+26
If the variable does not need a destructor, `std` uses racy initialization for creating TLS keys on Windows. With just the right timing, this can lead to `TlsFree` being called. Unfortunately, with #132654 this is hit quite often, so miri should definitely support `TlsFree` ([documentation](https://learn.microsoft.com/en-us/windows/win32/api/processthreadsapi/nf-processthreadsapi-tlsfree)). I'm filing this here instead of in the miri repo so that #132654 isn't blocked for so long.
2024-11-24Merge pull request #4037 from tiif/blockpipeRalf Jung-44/+80
Refactor AnonSocket::read/write for blocking socketpair
2024-11-24sysconf: add _SC_OPEN_MAXDavid Carlier-0/+7
2024-11-24follow-up on #4052, making a miri evaluation context fn for strerror_r.David Carlier-50/+62
2024-11-23Merge pull request #4052 from devnexen/gh4050Ralf Jung-30/+90
sysconf interception fix for solarish systems.
2024-11-23sysconf interception fix for solarish systems.David Carlier-30/+90
also adding the `_SC_PAGESIZE` alias `_SC_PAGE_SIZE` supported by Linux, macOS and FreeBSD. close #4050
2024-11-22Merge pull request #4047 from RalfJung/eventfd-commentsRalf Jung-10/+14
eventfd: comment tweaks
2024-11-22disable solaris on CI for nowRalf Jung-1/+1
2024-11-22epoll: fix comment typoRalf Jung-2/+2
2024-11-22Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-21Merge pull request #4046 from CraftSpider/windows-error-mappingRalf Jung-3/+64
Fill out windows io error mapping table
2024-11-21Add comment about multiple errors to one ErrorKindRune Tynan-0/+4
2024-11-21eventfd: comment tweaksRalf Jung-9/+13
2024-11-21Fill out Windows error mapping tableRune Tynan-3/+60
2024-11-22Refactor AnonSocket::read/writetiif-44/+80
2024-11-21fmtRalf Jung-6/+2
2024-11-21Merge from rustcRalf Jung-10/+12
2024-11-21Preparing for merge from rustcRalf Jung-1/+1
2024-11-20trophy case: add RwLock::downgrade bugRalf Jung-0/+1
2024-11-20Merge pull request #4026 from eduardosm/soft-sqrtRalf Jung-68/+219
miri: implement square root without relying on host floats
2024-11-20miri: implement square root without relying on host floatsEduardo Sánchez Muñoz-68/+219
2024-11-20interpret: make typing_env field privateRalf Jung-12/+15
2024-11-20Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errorsbors-12/+10
continue `ParamEnv` to `TypingEnv` transition cc #132279 r? `@compiler-errors`
2024-11-20Merge from rustcThe Miri Cronjob Bot-5/+5
2024-11-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-10/+10
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-10/+8
2024-11-19Merge pull request #4035 from discord9/masterRalf Jung-32/+57
refactor: refine thread variant for windows
2024-11-19refactor: refine thread variant for windowsdiscord9-32/+57
2024-11-19Rollup merge of #132577 - Urgau:check-cfg-report-extern-macro, r=petrochenkovMatthias Krüger-5/+5
Report the `unexpected_cfgs` lint in external macros This PR marks the `unexpected_cfgs` lint as being reportable in external macros, as it's probably not the intention of the macro author to leave ineffective cfgs in the users code. Fixes #132572 try-job: aarch64-gnu-debug
2024-11-19fmtThe Miri Cronjob Bot-6/+4
2024-11-19Merge from rustcThe Miri Cronjob Bot-10/+16
2024-11-19Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-19Merge pull request #4039 from RalfJung/root-dirOli Scherer-13/+8
use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling
2024-11-18use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handlingRalf Jung-13/+8
2024-11-18Update `xshell` and `xshell-macros` to v0.2.7Urgau-5/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-10/+16
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
2024-11-18Merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-18Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-17Likely unlikely fixJiri Bobek-1/+1
2024-11-15Merge pull request #4033 from tiif/checkepollOli Scherer-0/+137
Add test for epoll
2024-11-15clippy fixRalf Jung-1/+1
2024-11-15Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-14Add test for epolltiif-0/+137