| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-11-26 | Merge pull request #4061 from asquared31415/dep_info_fix | Ralf Jung | -5/+8 | |
| Use `PathBuf` APIs to correctly do some path manipulation cross-platform | ||||
| 2024-11-25 | attempt to fix miri failing to create file when under weird powershell ↵ | asquared31415 | -5/+8 | |
| configurations | ||||
| 2024-11-25 | Fix the rest of the tests | Yoh Deadfall | -6/+3 | |
| 2024-11-25 | Added linux_like module | Yoh Deadfall | -16/+17 | |
| 2024-11-25 | Fixed test target | Yoh Deadfall | -2/+1 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-11-25 | Added epoll and eventfd for Android | Yoh Deadfall | -4/+32 | |
| 2024-11-25 | miri: 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-24 | Merge pull request #4037 from tiif/blockpipe | Ralf Jung | -44/+80 | |
| Refactor AnonSocket::read/write for blocking socketpair | ||||
| 2024-11-24 | sysconf: add _SC_OPEN_MAX | David Carlier | -0/+7 | |
| 2024-11-24 | follow-up on #4052, making a miri evaluation context fn for strerror_r. | David Carlier | -50/+62 | |
| 2024-11-23 | Merge pull request #4052 from devnexen/gh4050 | Ralf Jung | -30/+90 | |
| sysconf interception fix for solarish systems. | ||||
| 2024-11-23 | sysconf 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-22 | Merge pull request #4047 from RalfJung/eventfd-comments | Ralf Jung | -10/+14 | |
| eventfd: comment tweaks | ||||
| 2024-11-22 | disable solaris on CI for now | Ralf Jung | -1/+1 | |
| 2024-11-22 | epoll: fix comment typo | Ralf Jung | -2/+2 | |
| 2024-11-22 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-21 | Merge pull request #4046 from CraftSpider/windows-error-mapping | Ralf Jung | -3/+64 | |
| Fill out windows io error mapping table | ||||
| 2024-11-21 | Add comment about multiple errors to one ErrorKind | Rune Tynan | -0/+4 | |
| 2024-11-21 | eventfd: comment tweaks | Ralf Jung | -9/+13 | |
| 2024-11-21 | Fill out Windows error mapping table | Rune Tynan | -3/+60 | |
| 2024-11-22 | Refactor AnonSocket::read/write | tiif | -44/+80 | |
| 2024-11-21 | fmt | Ralf Jung | -6/+2 | |
| 2024-11-21 | Merge from rustc | Ralf Jung | -10/+12 | |
| 2024-11-21 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-11-20 | trophy case: add RwLock::downgrade bug | Ralf Jung | -0/+1 | |
| 2024-11-20 | Merge pull request #4026 from eduardosm/soft-sqrt | Ralf Jung | -68/+219 | |
| miri: implement square root without relying on host floats | ||||
| 2024-11-20 | miri: implement square root without relying on host floats | Eduardo Sánchez Muñoz | -68/+219 | |
| 2024-11-20 | interpret: make typing_env field private | Ralf Jung | -12/+15 | |
| 2024-11-20 | Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errors | bors | -12/+10 | |
| continue `ParamEnv` to `TypingEnv` transition cc #132279 r? `@compiler-errors` | ||||
| 2024-11-20 | Merge from rustc | The Miri Cronjob Bot | -5/+5 | |
| 2024-11-20 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-19 | `InterpCx` store `TypingEnv` instead of a `ParamEnv` | lcnr | -10/+10 | |
| 2024-11-19 | move `fn is_item_raw` to `TypingEnv` | lcnr | -10/+8 | |
| 2024-11-19 | Merge pull request #4035 from discord9/master | Ralf Jung | -32/+57 | |
| refactor: refine thread variant for windows | ||||
| 2024-11-19 | refactor: refine thread variant for windows | discord9 | -32/+57 | |
| 2024-11-19 | Rollup merge of #132577 - Urgau:check-cfg-report-extern-macro, r=petrochenkov | Matthias 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-19 | fmt | The Miri Cronjob Bot | -6/+4 | |
| 2024-11-19 | Merge from rustc | The Miri Cronjob Bot | -10/+16 | |
| 2024-11-19 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-19 | Merge pull request #4039 from RalfJung/root-dir | Oli Scherer | -13/+8 | |
| use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling | ||||
| 2024-11-18 | use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling | Ralf Jung | -13/+8 | |
| 2024-11-18 | Update `xshell` and `xshell-macros` to v0.2.7 | Urgau | -5/+5 | |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -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-18 | Merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-18 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-17 | Likely unlikely fix | Jiri Bobek | -1/+1 | |
| 2024-11-15 | Merge pull request #4033 from tiif/checkepoll | Oli Scherer | -0/+137 | |
| Add test for epoll | ||||
| 2024-11-15 | clippy fix | Ralf Jung | -1/+1 | |
| 2024-11-15 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-11-14 | Add test for epoll | tiif | -0/+137 | |
