Google Git Google Git
Sign in
rust/miri/HEAD
  1. 8d82df1 Merge pull request #5492 from programskillforverification/deref-pointer-windows-fs-sync by Ralf Jung · 2 hours ago master
  2. 769b312 Merge pull request #5506 from RalfJung/fd-num-validity by Ralf Jung · 2 hours ago
  3. 5246132 return proper error on invalid FD numbers in dup by Ralf Jung · 3 hours ago
  4. 79c8b3a Merge pull request #5460 from josetorrs/use-errno-in-random by Ralf Jung · 7 hours ago
  5. 32ee56c use errno_check and errno_result in random by Jose Torres · 6 days ago
  6. 4e9e279 Merge pull request #5502 from RalfJung/ci by Ralf Jung · 9 hours ago
  7. e74c292 Merge pull request #5469 from mehmettoplu-rs/test-offset-64 by Ralf Jung · 10 hours ago
  8. 0a49b52 CI: move the solaris test by Ralf Jung · 10 hours ago
  9. 3e69e42 Add libc direct tests for pread64, pwrite64, lseek and lseek64 by Mehmet Toplu · 5 days ago
  10. 6464304 Merge pull request #5496 from RalfJung/float-native by Ralf Jung · 33 hours ago
  11. 0303b02 linux-futex: add a bit more wait time slack by Ralf Jung · 33 hours ago
  12. 0fcbb2f Merge pull request #5498 from RalfJung/ports-mirrors by Ralf Jung · 33 hours ago
  13. 8a5e577 we do not actually need the ports mirrors currently by Ralf Jung · 34 hours ago
  14. 24753bd float native testing: fix cfg by Ralf Jung · 35 hours ago
  15. e1d026c Merge pull request #5495 from RalfJung/rustup by Ralf Jung · 35 hours ago
  16. b2b6b9a Merge ref 'aaf324d50a7d' from rust-lang/rust by Ralf Jung · 35 hours ago
  17. 0147219 Prepare for merging from rust-lang/rust by Ralf Jung · 35 hours ago
  18. 4385b79 Merge pull request #5491 from RalfJung/float-tests by Ralf Jung · 2 days ago
  19. f12aab1 Merge pull request #5484 from darkraider01/tcp by Ralf Jung · 2 days ago
  20. 9e78d1d Merge pull request #5483 from darkraider01/math by Ralf Jung · 2 days ago
  21. d8f23fd Merge pull request #5490 from RalfJung/ci by Ralf Jung · 2 days ago
  22. e620062 float test can only work with enough f16/f128 support by Ralf Jung · 2 days ago
  23. 213db63 make mse benchmark work on big-endian by Ralf Jung · 2 days ago
  24. f04379c run float tests natively by Ralf Jung · 2 days ago
  25. 6e546f1 test benchmarks on more targets by Ralf Jung · 2 days ago
  26. 1d5dc1e add back i686-pc-windows-msvc tests by Ralf Jung · 2 days ago
  27. 9a1e084 use deref_pointer instead of deref_pointer_as by Joseph Zhao · 2 days ago
  28. 8849c7b Auto merge of #164928 - JonathanBrouwer:rollup-rc5pfiA, r=JonathanBrouwer by bors · 2 days ago
  29. 1edd733 Merge pull request #5488 from RalfJung/arm32-nomore by Ralf Jung · 2 days ago
  30. 5eb1818 reorganize the logic of which targets get how much test coverage by Ralf Jung · 2 days ago
  31. 03f1e7d Merge pull request #5487 from RalfJung/test-schedules by Ralf Jung · 2 days ago
  32. 45b4825 macos wait_on_address: remove OS_SYNC_WAIT_ON_ADDRESS_SHARED support by Ralf Jung · 2 days ago
  33. 26889f9 freebsd seems to always wake up at least one thread by Ralf Jung · 2 days ago
  34. 171420f ensure that pthread_(mutex,cond)attr_t are initialized by Ralf Jung · 2 days ago
  35. 3169e60 use fixed-schedule and run-native in a few more tests by Ralf Jung · 2 days ago
  36. fdffd75 Rollup merge of #164903 - tshepang:rdg-sync, r=tshepang by Jonathan Brouwer · 2 days ago
  37. 3ca83f8 Rollup merge of #164899 - JonathanBrouwer:fix-recovery-1, r=folkertdev by Jonathan Brouwer · 2 days ago
  38. 7b3dcf0 Rollup merge of #164802 - Kobzol:stable-ui-tests, r=jieyouxu by Jonathan Brouwer · 2 days ago
  39. ed84f8c Rollup merge of #164794 - malezjaa:extend-float-error-kind, r=clarfonthey by Jonathan Brouwer · 2 days ago
  40. 5851230 Rollup merge of #164772 - mikwielgus:entry-api-nitpick, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  41. a4a5d70 Rollup merge of #164602 - json420:seek_read_buf_exact-tests, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  42. 56502a6 Rollup merge of #164522 - GauravPawar101:fix/issue-164496, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  43. d01f93a Rollup merge of #164009 - tye-exe:future_ready_expect_msg, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  44. e606740 Rollup merge of #164006 - amatgil:patch-1, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  45. 2443d48 Rollup merge of #163847 - zanville:add-test-reborrow-type, r=tiif by Jonathan Brouwer · 2 days ago
  46. 4f73198 Rollup merge of #163819 - kpreid:code, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  47. 9b8d670 Rollup merge of #163816 - malezjaa:stabilize-String-into-chars, r=clarfonthey by Jonathan Brouwer · 2 days ago
  48. 8a8e499 Rollup merge of #163805 - valentynkit:tcp-connect-timeout, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  49. c41bf03 Rollup merge of #163499 - nia-e:vec-misc-allocator-stable, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  50. e3d074a Rollup merge of #163458 - malezjaa:stabilize-arc-is_unique, r=clarfonthey by Jonathan Brouwer · 2 days ago
  51. dce3cb7 Rollup merge of #164890 - panstromek:bitset_col_blocks, r=hanna-kruppe by Jonathan Brouwer · 2 days ago
  52. c308255 Rollup merge of #164883 - sreekaransrinath:rustdoc-empty-nested-use, r=theemathas,GuillaumeGomez by Jonathan Brouwer · 2 days ago
  53. b5d6527 Rollup merge of #164849 - Urgau:rustdoc-lang_string-span, r=GuillaumeGomez by Jonathan Brouwer · 2 days ago
  54. 4514b49 Rollup merge of #164834 - RalfJung:miri, r=oli-obk by Jonathan Brouwer · 2 days ago
  55. be90645 Rollup merge of #163730 - zanville:global-alloc-reentry-tests, r=Mark-Simulacrum by Jonathan Brouwer · 2 days ago
  56. 16e5ed8 socket-tcp tests: give freebsd VM more time to yield by Ralf Jung · 2 days ago
  57. 95edf48 Merge pull request #5482 from mehmettoplu-rs/deref-pointer-unix-foreign-items by Ralf Jung · 2 days ago
  58. 85f768c retire the arm32 CI job by Ralf Jung · 2 days ago
  59. cb71ba1 Merge pull request #5481 from programskillforverification/deref-pointer-time-backtrace-alloc by Ralf Jung · 2 days ago
  60. 233f551 Merge pull request #5480 from programskillforverification/deref-pointer-unix-sync by Ralf Jung · 2 days ago
  61. 2681920 use deref_pointer instead of deref_pointer_as by Joseph Zhao · 3 days ago
  62. 95cf7fd use deref_pointer instead of deref_pointer_as in unix sync shims by Joseph Zhao · 3 days ago
  63. 6ab3361 Update src/shims/unix/foreign_items.rs by Mehmet Toplu · 2 days ago
  64. 5a45924 bootstrap: make priroda check and test again by Ralf Jung · 4 days ago
  65. 97bb96f Merge pull request #5470 from RalfJung/env-str by Ralf Jung · 2 days ago
  66. 833edce Merge pull request #5486 from RalfJung/thread-exit-order by Ralf Jung · 2 days ago
  67. 491b239 comment and function name improvements by Ralf Jung · 2 days ago
  68. 5d7850b tls: this -> ecx by Ralf Jung · 2 days ago
  69. a077dad fix pthread dtors to run after thread_atexit by Ralf Jung · 2 days ago
  70. efb0872 Merge pull request #5485 from programskillforverification/fix-stale-path-references by Ralf Jung · 2 days ago
  71. a6f5acc Merge pull request #3079 from rust-lang/rustc-pull by Tshepang Mbambo · 2 days ago
  72. e66eae0 Merge ref 'dc44e7f2c436' from rust-lang/rust by The rustc-josh-sync Cronjob Bot · 2 days ago
  73. 6ff661d fix stale file paths in comment by Joseph Zhao · 3 days ago
  74. ae1cc48 use deref_pointer instead of deref_pointer_as in unix/foreign_items.rs by Mehmet Toplu · 3 days ago
  75. e3259bf Auto merge of #163552 - RalfJung:dir-entry-metadata, r=Mark-Simulacrum by bors · 3 days ago
  76. a86f533 Use the checked pointer type for TCP FIONBIO by darkraider01 · 3 days ago
  77. 55038dc Use trusted pointee types in lgamma shims by darkraider01 · 3 days ago
  78. 5bcb02b Merge pull request #5479 from RalfJung/rustup by Ralf Jung · 3 days ago
  79. a5bd4c5 Merge pull request #5478 from RalfJung/ecx by Ralf Jung · 3 days ago
  80. b629319 remove rustfmt workaround by Ralf Jung · 3 days ago
  81. 426619a Merge ref 'df87fa6604e3' from rust-lang/rust by Ralf Jung · 3 days ago
  82. 189cae6 Prepare for merging from rust-lang/rust by Ralf Jung · 3 days ago
  83. 8ed0701 replace a bunch of 'this' by 'ecx' (1/N) by Ralf Jung · 3 days ago
  84. d609793 Merge pull request #5477 from RalfJung/more-fstat by Ralf Jung · 3 days ago
  85. 6b5dcca Merge pull request #5475 from mehmettoplu-rs/deref-pointer-fs-epoll by Ralf Jung · 3 days ago
  86. 53370f8 support fstat on standard FDs by Ralf Jung · 3 days ago
  87. 3ce5a45 Merge pull request #5474 from programskillforverification/deref-pointer-env-thread by Ralf Jung · 3 days ago
  88. dd9a8b6 Merge pull request #5476 from rust-lang/rustup-2026-10-24 by Ralf Jung · 4 days ago
  89. 97aa8bc Auto merge of #164807 - weihanglo:update-cargo, r=weihanglo by bors · 4 days ago
  90. 74380ab fmt by The Miri Cronjob Bot · 4 days ago
  91. bb76c35 Merge ref '9cd159cfa5b5' from rust-lang/rust by The Miri Cronjob Bot · 4 days ago
  92. 5cc6bd8 Prepare for merging from rust-lang/rust by The Miri Cronjob Bot · 4 days ago
  93. 7d742d2 use deref_pointer instead of deref_pointer_as in statx and epoll_ctl by Mehmet Toplu · 4 days ago
  94. 4153bdb Auto merge of #164826 - JonathanBrouwer:rollup-jxYrOGV, r=JonathanBrouwer by bors · 4 days ago
  95. 338e064 Rollup merge of #164671 - romancardenas:main, r=tgross35 by Jonathan Brouwer · 4 days ago
  96. 6e92441 Rollup merge of #164520 - folkertdev:powerpc-c-variadic-softfloat, r=beetrees by Jonathan Brouwer · 4 days ago
  97. edc09b5 Rollup merge of #164748 - TechnoPorg:64-bit-futex, r=tgross35 by Jonathan Brouwer · 4 days ago
  98. f2de6bd Rollup merge of #147368 - bjoernager:disjoint-bitor, r=tgross35 by Jonathan Brouwer · 4 days ago
  99. 150e0f0 Rollup merge of #163766 - hanna-kruppe:outline-panic-literals, r=ChrisDenton by Jonathan Brouwer · 4 days ago
  100. 1e7efe6 Auto merge of #164819 - JonathanBrouwer:rollup-iro0RVR, r=JonathanBrouwer by bors · 4 days ago