summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-1/+1
2025-02-24sanity-check for HOST_TARGETRalf Jung-1/+12
2025-01-28linker messages are no longer warnings by defaultRalf Jung-3/+1
2025-01-26prevent weird macOS linker errors from breaking the buildRalf Jung-1/+3
2025-01-12turns out Solarish targets support our entire test suiteRalf Jung-2/+3
2025-01-10Switched FreeBSD to pthread_setname_npYoh Deadfall-2/+2
2025-01-10disable threading tests on freebsd for nowRalf Jung-2/+2
2024-12-23remove --many-seeds from ./miri runRalf Jung-2/+2
2024-12-12./miri bench: add a flag to skip the install stepRalf Jung-2/+2
2024-12-12ci TEST_BENCH: show outputRalf Jung-1/+1
2024-11-26filesystem support for solarish.David Carlier-2/+2
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-1/+1
2024-11-23sysconf interception fix for solarish systems.David Carlier-1/+1
2024-11-22disable solaris on CI for nowRalf Jung-1/+1
2024-10-28Android: Added syscall supportYoh Deadfall-1/+1
2024-10-21Added support for prctl handling thread namesYoh Deadfall-1/+1
2024-10-10add libc-pipe test to CI for freebsd, solarishRalf Jung-4/+4
2024-09-29skip old getrandom crate on SolarisRalf Jung-5/+5
2024-09-28make sure the new function is testedRalf Jung-4/+4
2024-09-25Auto merge of #3915 - RalfJung:target-json-test, r=RalfJungbors-2/+1
2024-09-25switch custom target JSON test to a less exotic targetRalf Jung-2/+1
2024-09-25enable pthread_cond_timedwait test on AndroidRalf Jung-1/+1
2024-09-25Android: Fixed tests for libc time APIYoh Deadfall-1/+1
2024-09-25disable AVR test since it doesn't workRalf Jung-1/+2
2024-09-25update BASIC test list: no longer test HashMap, add libc-mem instead of 'alig...Ralf Jung-5/+5
2024-09-15we can test more things on Solarish, and update its status in the READMERalf Jung-2/+2
2024-09-15test std::time APIs on FreeBSD and SolarishRalf Jung-4/+4
2024-09-15add Android pthread supportRalf Jung-1/+1
2024-09-15enable std::sync tests on SolarishRalf Jung-2/+2
2024-09-15pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hackRalf Jung-2/+2
2024-09-13Auto merge of #3881 - RalfJung:miri-run, r=RalfJungbors-1/+1
2024-09-13./miri run: directly run binary instead of using 'cargo run'Ralf Jung-1/+1
2024-09-13smoke-test './miri run --dep'Ralf Jung-1/+3
2024-09-12enable all pthread tests on SolarishRalf Jung-2/+2
2024-08-17run TLS tests on SolarishRalf Jung-2/+2
2024-08-03Promote aarch64-apple-darwin to Tier 1Evelyn Harthbrooke-1/+1
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-1/+3
2024-05-26solarish platform add supports for available-parallelism.David Carlier-2/+2
2024-05-23solaris add suport for threadname.David Carlier-2/+2
2024-05-22solaris/illumos localtime_r / clock_getime support enabled.David Carlier-2/+2
2024-05-19various small nitsRalf Jung-1/+1
2024-05-19test wasm32-wasip2 instead of the deprecated wasm32-wasi targetRalf Jung-1/+1
2024-05-19make basic things work on AndroidRalf Jung-5/+6
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-8/+7
2024-05-12further illumos/solaris support.David Carlier-2/+2
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-32/+35
2024-05-08Update CI script for the miri-script test changesRoss Smyth-2/+2
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-4/+4
2024-05-05solaris support start.David Carlier-2/+1
2024-05-05move randomness tests into a single file and share the getrandom implementati...Ralf Jung-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 14:33:07 +0000