Google Git
Sign in
rust/miri/HEAD
  1. 16dd940 Merge pull request #4970 from rust-lang/rustup-2026-04-20 by Ralf Jung · 3 days ago master
  2. aa39e4f fmt by The Miri Cronjob Bot · 3 days ago
  3. fa1103e Merge ref 'e22c616e4e87' from rust-lang/rust by The Miri Cronjob Bot · 3 days ago
  4. 698c591 Prepare for merging from rust-lang/rust by The Miri Cronjob Bot · 3 days ago
  5. 1aa2d78 Auto merge of #155083 - adwinwhite:introduce-unnormalized, r=lcnr by bors · 4 days ago
  6. c5cc84e fix all errors by Adwin White · 8 days ago
  7. d3f6d8c Auto merge of #155444 - bjorn3:update_deps, r=jieyouxu by bors · 4 days ago
  8. 29bc3fd Merge pull request #4969 from rust-lang/rustup-2026-04-19 by Ralf Jung · 4 days ago
  9. ca2278c clippy by Ralf Jung · 4 days ago
  10. a654dd4 Merge ref '6f109d8a2da2' from rust-lang/rust by The Miri Cronjob Bot · 4 days ago
  11. b191226 Prepare for merging from rust-lang/rust by The Miri Cronjob Bot · 4 days ago
  12. 211a31c Auto merge of #155470 - weihanglo:update-cargo, r=weihanglo by bors · 4 days ago
  13. b3bc25a Auto merge of #155223 - teor2345:fndef-refactor, r=mati865 by bors · 4 days ago
  14. 855aa6e Merge pull request #4967 from quiode/remove-vec_unique.default.stderr by Ralf Jung · 6 days ago
  15. 06dffb0 remove vec_unique.default.stderr by Dominik Schwaiger · 6 days ago
  16. e68c369 Auto merge of #155385 - davidtwco:stdarch-sync-160426, r=davidtwco by bors · 7 days ago
  17. 26f571e Merge pull request #4966 from RalfJung/help by Ralf Jung · 7 days ago
  18. 3142f8d fix 'cargo miri nextest <verb> --help' output by Ralf Jung · 7 days ago
  19. c6c94df Refactor FnDecl and FnSig flags into packed structs by teor · 2 weeks ago
  20. 12fbcd8 Auto merge of #153815 - GokhanKabar:fix-ice-enum-discr-generic-self, r=BoxyUwU by bors · 8 days ago
  21. 82be54a Merge pull request #4955 from WhySoBad/network-socket-set-non-blocking by Ralf Jung · 9 days ago
  22. 8efb5f2 Allow changing socket blocking state by WhySoBad · 13 days ago
  23. 4a57bb5 Merge pull request #4961 from RalfJung/genmc-tests by Ralf Jung · 9 days ago
  24. fb93e1e genmc tests: add -Zmiri-genmc by default by Ralf Jung · 9 days ago
  25. 5cc22e9 Merge pull request #4960 from rust-lang/dependabot/cargo/rand-0.9.3 by Ralf Jung · 9 days ago
  26. e4bd3a0 build(deps): bump rand from 0.9.2 to 0.9.3 by dependabot[bot] · 9 days ago
  27. f566cec Auto merge of #136006 - oli-obk:push-tzonluoyuwkq, r=wesleywiser by bors · 10 days ago
  28. b9968c9 Merge pull request #4956 from michaliskok/genmc-no-split-nas by Ralf Jung · 10 days ago
  29. 6d7340d genmc*: Don't split up non-atomic accesses to smaller chunks by Michalis Kokologiannakis · 13 days ago
  30. 6f0199d Auto merge of #154840 - Walnut356:windows_gdb_embed, r=mati865 by bors · 11 days ago
  31. 0722600 Merge pull request #4949 from michaliskok/genmc-no-nas by Ralf Jung · 11 days ago
  32. 2d38305 tweak some comments by Ralf Jung · 11 days ago
  33. 8d0e2f8 genmc/build: Bump GenMC version by Michalis Kokologiannakis · 2 weeks ago
  34. 3470d61 tests/genmc: Bless new results by Michalis Kokologiannakis · 2 weeks ago
  35. c016735 genmc/build: Don't add labels for non-atomics to graphs by Michalis Kokologiannakis · 2 weeks ago
  36. b1b50f6 genmc/build: ENABLE_GENMC_DEBUG is available in config.h by Michalis Kokologiannakis · 2 weeks ago
  37. 490ef6e genmc/lib: GENMC_DEBUG has been renamed to ENABLE_GENMC_DEBUG by Michalis Kokologiannakis · 2 weeks ago
  38. 8eefefd genmc/setup: Don't use InterpreterCallbacks by Michalis Kokologiannakis · 2 weeks ago
  39. 1c2ec50 genmc: Replace BUG_ON() w/ VERIFY() by Michalis Kokologiannakis · 2 weeks ago
  40. 46e6aac genmc/exploration: Add a FIXME for join by Michalis Kokologiannakis · 11 days ago
  41. 00e994f genmc/*: Update GenMC calls to match the new API for NAs by Michalis Kokologiannakis · 3 months ago
  42. 5dbcf71 Auto merge of #155199 - JonathanBrouwer:rollup-OhWpGAc, r=JonathanBrouwer by bors · 11 days ago
  43. 42fef81 Merge pull request #4938 from WhySoBad/network-socket-non-blocking by Ralf Jung · 11 days ago
  44. b37dbb9 Rollup merge of #155161 - saethlin:push_mut_saves, r=Kivooeo by Jonathan Brouwer · 11 days ago
  45. ebc77e4 Rollup merge of #155068 - lapla-cogito:multibyte_char, r=mati865 by Jonathan Brouwer · 11 days ago
  46. 496f20f Rollup merge of #155014 - androm3da:hexagon-scalar-target-features, r=mati865 by Jonathan Brouwer · 11 days ago
  47. 9280b8c Rollup merge of #154804 - cijiugechu:fix/host-effect-hrtb-ice, r=adwinwhite by Jonathan Brouwer · 11 days ago
  48. ec1c84a Rollup merge of #155197 - RalfJung:miri, r=RalfJung by Jonathan Brouwer · 11 days ago
  49. 1b6ce88 feat: add `accept4` with SOCK_NONBLOCK test by WhySoBad · 11 days ago
  50. fea5c18 avoid duplicating read/write_all logic by Ralf Jung · 11 days ago
  51. 0797e78 Add shims for non-blocking sockets and non-blocking socket operations by WhySoBad · 3 weeks ago
  52. fd3a9de diagnostics: End sentences with a period by Michalis Kokologiannakis · 13 days ago
  53. d59163b diagnostics,genmc*: Add type to signal execution abortion by Michalis Kokologiannakis · 4 weeks ago
  54. 875672b genmc/api: Add a MallocResult type by Michalis Kokologiannakis · 3 months ago
  55. fcdede1 genmc/api: Add a curr_pos() by Michalis Kokologiannakis · 3 months ago
  56. e1347d3 genmc/exploration: Have {inc,dec}_pos take a count argument by Michalis Kokologiannakis · 3 months ago
  57. a461c7f genmc/*: Fix paths and naming for graph-related includes by Michalis Kokologiannakis · 3 months ago
  58. 871d3d0 Merge pull request #4950 from WhySoBad/fix-blocking-io-manager by Ralf Jung · 11 days ago
  59. 88b15d9 fix: deregister I/O sources in blocking I/O manager by WhySoBad · 13 days ago
  60. e3061f3 Merge pull request #2076 from eduardosm/Simd-new by Folkert de Vries · 13 days ago
  61. 9620f6f fix: implement feedback by WhySoBad · 13 days ago
  62. ed2384c fix: fix doc comment by WhySoBad · 14 days ago
  63. e454303 fix: implement feedback by WhySoBad · 14 days ago
  64. 6cb58ce Merge pull request #4953 from RalfJung/hack-no-more by Ralf Jung · 14 days ago
  65. 7931413 remove unused type by Ralf Jung · 14 days ago
  66. 55d2644 genmc tests: remove a hack that is no longer needed by Ralf Jung · 14 days ago
  67. 735bb8d Merge pull request #4952 from RalfJung/rustup by Ralf Jung · 14 days ago
  68. a441db1 re-enable new cargo build dir layout testing by Ralf Jung · 14 days ago
  69. 4de0787 Merge ref '4c4205163abc' from rust-lang/rust by Ralf Jung · 14 days ago
  70. c94a913 Prepare for merging from rust-lang/rust by Ralf Jung · 14 days ago
  71. 422f742 Auto merge of #154368 - aerooneqq:delegation-force-lowering-later, r=petrochenkov by bors · 14 days ago
  72. d09bed2 Auto merge of #154223 - malezjaa:refactor-typecheck-op, r=adwinwhite by bors · 2 weeks ago
  73. 6b0815f Merge pull request #4951 from KMiri-rs/stack-borrow-bitfields by Ralf Jung · 2 weeks ago
  74. d9db647 fix the bitfield meanings of stacked_borrow item by zjp · 2 weeks ago
  75. 2fc9a28 feat: also check that received buffers match by WhySoBad · 2 weeks ago
  76. 2137b4d docs: add comment when registering new source by WhySoBad · 2 weeks ago
  77. 36a7e42 fix: fix panic when multiple threads block on same fd by WhySoBad · 2 weeks ago
  78. a0691cc Auto merge of #153838 - oli-obk:use-tree-span, r=davidtwco by bors · 2 weeks ago
  79. 8ec7051 Merge pull request #4948 from RalfJung/genmc-always-configure by Ralf Jung · 2 weeks ago
  80. 477d6e4 genmc-sys: remove always_configure hack by Ralf Jung · 2 weeks ago
  81. bfb95d7 Auto merge of #154914 - Muscraft:update-annotate-snippets, r=jieyouxu by bors · 2 weeks ago
  82. 667f5c0 Merge pull request #4946 from rust-lang/rustup-2026-04-08 by Ralf Jung · 2 weeks ago
  83. 316b106 disable new build dir layout again due to problems by Ralf Jung · 2 weeks ago
  84. 7a42dca Merge ref '30d0309fa821' from rust-lang/rust by The Miri Cronjob Bot · 2 weeks ago
  85. 9731d7b Prepare for merging from rust-lang/rust by The Miri Cronjob Bot · 2 weeks ago
  86. a005b63 Auto merge of #148486 - kpreid:vec-iter-drop, r=jhpratt by bors · 2 weeks ago
  87. 9ecab4e Auto merge of #147802 - nnethercote:chunk_domain_size, r=Mark-Simulacrum by bors · 2 weeks ago
  88. 4860382 Auto merge of #154734 - weihanglo:update-cargo, r=weihanglo by bors · 2 weeks ago
  89. c3449dc Auto merge of #154758 - WaffleLapkin:aliassss, r=lcnr by bors · 2 weeks ago
  90. 8f5e642 Merge pull request #4945 from rust-lang/rustup-2026-04-07 by Ralf Jung · 2 weeks ago
  91. 88b1642 fmt by The Miri Cronjob Bot · 2 weeks ago
  92. 7735156 Merge ref 'bcded331651b' from rust-lang/rust by The Miri Cronjob Bot · 2 weeks ago
  93. b674321 Prepare for merging from rust-lang/rust by The Miri Cronjob Bot · 2 weeks ago
  94. 07f121f Auto merge of #154916 - jhpratt:rollup-RkdDmtW, r=jhpratt by bors · 2 weeks ago
  95. 30f4944 Rollup merge of #154901 - rustbot:docs-update, r=ehuss by Jacob Pratt · 2 weeks ago
  96. c0be33b Rollup merge of #154751 - Zalathar:rfail, r=wesleywiser by Jacob Pratt · 2 weeks ago
  97. 0e60189 Rollup merge of #154894 - WaffleLapkin:mplace_ptr_conversions, r=RalfJung by Jacob Pratt · 2 weeks ago
  98. c4baad7 Merge pull request #2067 from rust-lang/rustc-pull by Folkert de Vries · 2 weeks ago
  99. d2d41cf Auto merge of #149350 - Jarcho:derive_recv_ctxt, r=jackh726 by bors · 2 weeks ago
  100. fc5d859 allow `mplace_to_imm_ptr` to return different types of pointers by Waffle Lapkin · 3 weeks ago