All pull requests

Pull requests

• Restore the CLI filters the Binder port reverted

  #4949·VladimirMakaev opened Oct 30, 2026·

  ·
  3

• Restore the user guide's chaos timeslice range, draw and discovery documentation

  #4948·VladimirMakaev opened Oct 30, 2026·

  ·
  3

• Interrupt a nanosleep at a timer's due time and report the time left from there (#4931)

  #4938·VladimirMakaev opened Oct 29, 2026·

  ·
  1

  15

• detcore-testutils: keep a guest's closure and data off the caller's stack

  #4935·VladimirMakaev opened Oct 29, 2026·

  ·
  1

• Re-land first-pass sleep registration (#4682) with its fixes, after the train-12 revert

  #4934·VladimirMakaev opened Oct 29, 2026·

  ·
  20

• Test the MSG_ERRQUEUE decision through Detcore's descriptor model

  #4933·VladimirMakaev opened Oct 29, 2026·

  ·
  3

• Detcore: bound chaos past the end of a replayed schedule as without one

  #4926·VladimirMakaev opened Oct 29, 2026·

  ·
  9

• analyze: take a prefix trial's stacks at the deciding event's schedule position

  #4920·VladimirMakaev opened Oct 29, 2026·

  ·
  1

  13

• Keep Hermit core first-party only

  #4910·hermit-bot3 opened Oct 28, 2026Collaborator·

  ·

• Tell aarch64 code from data before counting or rewriting exclusive loops

  #4909·VladimirMakaev opened Oct 28, 2026·

  ·
  1

  18

• Say how much of a run the store-exclusive counts cover, and which files the overlay rewrite left

  #4907·VladimirMakaev opened Oct 28, 2026·

  ·
  1

  15

• Re-land #4597's preemption-replay half: a recorded check-in slice gets a bound, not an exact stop

  #4902·VladimirMakaev opened Oct 28, 2026·

  ·
  21

• Fix-forward for #4605: drive the poll upgrade from deterministic progress

  #4892·VladimirMakaev opened Oct 28, 2026·

  ·
  31

• Fix-forward for #4632 and #4653: interpolation keeps the preemption-charge cap

  #4889·VladimirMakaev opened Oct 28, 2026·

  ·
  10

• Read the fault proof's mappings only where host tasks describe guest threads

  #4888·VladimirMakaev opened Oct 28, 2026·

  ·
  4

• Fix-forward for #4622: a split timer stop keeps its RIP on its second half

  #4886·VladimirMakaev opened Oct 28, 2026·

  ·
  2

• Fix-forward for #4620: CPU-clock sleeps, resolutions and timer tasks as Linux answers them

  #4885·VladimirMakaev opened Oct 28, 2026·

  ·
  14

• Name the store-exclusive retries behind a --verify divergence on aarch64

  #4884·VladimirMakaev opened Oct 28, 2026·

  ·
  1

  12

• Rewrite Rust std's flag-setting and retry-elsewhere exclusive loops

  #4879·VladimirMakaev opened Oct 28, 2026·

  ·
  18

• Name where in the record every summarized schedule-replay desync lies

  #4878·VladimirMakaev opened Oct 27, 2026·

  ·
  14

• Fix-forward for #4601: keep a seeded timeslice's replay and baseline fallback above the one-RCB minimum

  #4877·VladimirMakaev opened Oct 27, 2026·

  ·
  5

• Replay analyze and bisect trials under one guest random seed

  #4873·VladimirMakaev opened Oct 27, 2026·

  ·
  1

  6

• Raise the slice bound after a guest crash, behind --post-crash-timeslice

  #4867·VladimirMakaev opened Oct 27, 2026·5 tasks·

  ·
  21

• Move global time to the next deadline when only idle guest-state pollers and sleepers remain

  #4863·VladimirMakaev opened Oct 27, 2026·

  ·
  35

• analyze: watch the racing bytes when the syscall finder finds none

  #4857·VladimirMakaev opened Oct 27, 2026·

  ·
  7