| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-12 | make a basic hello world work on wasip2 | Ralf Jung | -1/+1 | |
| 2025-09-03 | no need to run GC_STRESS more than once for each OS | Ralf Jung | -6/+4 | |
| 2025-09-03 | re-balance CI | Ralf Jung | -4/+5 | |
| 2025-07-23 | CI: add windows-arm runner | Ralf Jung | -4/+8 | |
| 2025-07-01 | re-balance CI jobs | Ralf Jung | -4/+4 | |
| 2025-06-29 | test on x86-32 and arm-32 | Ralf Jung | -7/+16 | |
| 2025-06-29 | also test on arm-64 linux hosts | Ralf Jung | -5/+7 | |
| 2025-05-23 | test some aarch64 windows targets | Ralf Jung | -1/+4 | |
| 2025-05-23 | many-seeds tests have become a lot faster thanks to multithreading | Ralf Jung | -7/+5 | |
| 2025-05-21 | run the full test suite under FreeBSD | Ralf Jung | -2/+2 | |
| 2025-05-21 | Implement FreeBSD syscall cpuset_getaffinity. | LorrensP-2158466 | -2/+2 | |
| 2025-05-19 | run tests on mips-unknown-linux-gnu | Ralf Jung | -4/+5 | |
| 2025-04-10 | run all 'thread' tests on FreeBSD, and also on 32bit | Ralf Jung | -3/+3 | |
| 2025-04-10 | feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for ↵ | LorrensP-2158466 | -1/+1 | |
| Futex support | ||||
| 2025-03-27 | run a few more concurrency tests on aarch64-linux-android | Ralf Jung | -1/+1 | |
| 2025-02-24 | sanity-check for HOST_TARGET | Ralf Jung | -1/+12 | |
| 2025-01-28 | linker messages are no longer warnings by default | Ralf Jung | -3/+1 | |
| 2025-01-26 | prevent weird macOS linker errors from breaking the build | Ralf Jung | -1/+3 | |
| 2025-01-12 | turns out Solarish targets support our entire test suite | Ralf Jung | -2/+3 | |
| 2025-01-10 | Switched FreeBSD to pthread_setname_np | Yoh Deadfall | -2/+2 | |
| 2025-01-10 | disable threading tests on freebsd for now | Ralf Jung | -2/+2 | |
| 2024-12-23 | remove --many-seeds from ./miri run | Ralf Jung | -2/+2 | |
| 2024-12-12 | ./miri bench: add a flag to skip the install step | Ralf Jung | -2/+2 | |
| 2024-12-12 | ci TEST_BENCH: show output | Ralf Jung | -1/+1 | |
| 2024-11-26 | filesystem support for solarish. | David Carlier | -2/+2 | |
| close #3890 | ||||
| 2024-11-25 | Added epoll and eventfd for Android | Yoh Deadfall | -1/+1 | |
| 2024-11-23 | sysconf interception fix for solarish systems. | David Carlier | -1/+1 | |
| also adding the `_SC_PAGESIZE` alias `_SC_PAGE_SIZE` supported by Linux, macOS and FreeBSD. close #4050 | ||||
| 2024-11-22 | disable solaris on CI for now | Ralf Jung | -1/+1 | |
| 2024-10-28 | Android: Added syscall support | Yoh Deadfall | -1/+1 | |
| 2024-10-21 | Added support for prctl handling thread names | Yoh Deadfall | -1/+1 | |
| 2024-10-10 | add libc-pipe test to CI for freebsd, solarish | Ralf Jung | -4/+4 | |
| 2024-09-29 | skip old getrandom crate on Solaris | Ralf Jung | -5/+5 | |
| 2024-09-28 | make sure the new function is tested | Ralf Jung | -4/+4 | |
| 2024-09-25 | Auto merge of #3915 - RalfJung:target-json-test, r=RalfJung | bors | -2/+1 | |
| switch custom target JSON test to a less exotic target We used to test an AVR target here, but while it is nice to test a 16bit target, it is also currently the case that rustc CI does not even check that libcore builds on a 16bit target -- and we don't want Miri to be in the game of maintaining that support. (See https://github.com/rust-lang/rust/issues/130818.) So let's use a tier 2 target as the basis for testing a custom JSON target. (FWIW, we also test wasm32-wasip2 which is tier 3, but I expect it will become tier 2 Soon-ish.) | ||||
| 2024-09-25 | switch custom target JSON test to a less exotic target | Ralf Jung | -2/+1 | |
| 2024-09-25 | enable pthread_cond_timedwait test on Android | Ralf Jung | -1/+1 | |
| 2024-09-25 | Android: Fixed tests for libc time API | Yoh Deadfall | -1/+1 | |
| 2024-09-25 | disable AVR test since it doesn't work | Ralf Jung | -1/+2 | |
| 2024-09-25 | update BASIC test list: no longer test HashMap, add libc-mem instead of ↵ | Ralf Jung | -5/+5 | |
| 'align' for heap allocator coverage, move 'hello' to UNIX HashMap now needs pretty target-specific randomness functions. It still works on Android, but not on FreeBSD and Solarish. | ||||
| 2024-09-15 | we can test more things on Solarish, and update its status in the README | Ralf Jung | -2/+2 | |
| 2024-09-15 | test std::time APIs on FreeBSD and Solarish | Ralf Jung | -4/+4 | |
| 2024-09-15 | add Android pthread support | Ralf Jung | -1/+1 | |
| 2024-09-15 | enable std::sync tests on Solarish | Ralf Jung | -2/+2 | |
| 2024-09-15 | pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hack | Ralf Jung | -2/+2 | |
| On FreeBSD, DEFAULT maps to ERRORCK. This clashes with the existing PTHREAD_MUTEX_NORMAL_FLAG: hack so we replace it by a different hack that works better cross-platform. Also fix a case of "accidental early UB" in a UB test -- pthread_mutexattr_t must be initialized. | ||||
| 2024-09-13 | Auto merge of #3881 - RalfJung:miri-run, r=RalfJung | bors | -1/+1 | |
| ./miri run: directly run binary instead of using 'cargo run' This avoids re-building miri without dev dependencies, so it makes `./miri run` a lot faster if `./miri test` was already executed before. | ||||
| 2024-09-13 | ./miri run: directly run binary instead of using 'cargo run' | Ralf Jung | -1/+1 | |
| 2024-09-13 | smoke-test './miri run --dep' | Ralf Jung | -1/+3 | |
| 2024-09-12 | enable all pthread tests on Solarish | Ralf Jung | -2/+2 | |
| 2024-08-17 | run TLS tests on Solarish | Ralf Jung | -2/+2 | |
| 2024-08-03 | Promote aarch64-apple-darwin to Tier 1 | Evelyn Harthbrooke | -1/+1 | |
| Per rust-lang/rfcs#3671. | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |