All pull requests

Pull requests

• chore: update nightly snapshots

  #3251·hydro-project-bot[bot] opened Oct 24, 2026Bot·

  ·
  1

• chore(deps): bump the cargo group across 1 directory with 2 updates

  dependenciesrust
  #3244·dependabot[bot] opened Oct 20, 2026Bot·

  ·
  1

• feat(hydro_lang)!: embedded host has to deal with channel guarantees

  #3243·luckyworkama opened Oct 18, 2026Contributor·

  ·
  35

• feat(hydro_lang): explore at-least-once non-determinism autonomously (unbounded under fuzz, bounded by SimFlow::retries_depth under exhaustive)

  #3240·shadaj opened Oct 16, 2026Member·

  ·
  1

• ci: fail nightly test jobs on test failures or snapshot changes

  #3237·shadaj opened Oct 16, 2026Member·

  ·
  1

• feat(hydro_lang): add Verus-checked proofs for monotonicity and order preservation

  #3236·shadaj opened Oct 16, 2026Member·

  ·
  1

• feat(dfir_rs): add snapshot() windowing operator, corresponding FloType::WindowingRetain

  #3227·MingweiSamuel opened Oct 12, 2026Member·

  ·
  4

• feat: Cress, a schedule-amplification checker on the simulator

  #3222·palvaro opened Oct 10, 2026·

  ·

• feat(hydro_lang)!: scripted sim hooks for lossy network channels (TCP.lossy / UDP.lossy)

  #3216·shadaj opened Oct 7, 2026Member·

  ·
  1

• feat(hydro_lang): Verus-checked idempotence proofs

  #3214·kris-gaudel opened Oct 4, 2026·

  ·
  1

• docs: add correctness toolbox and FAQ sections to the landing page

  #3207·akainth015 opened Sep 25, 2026Member·

  ·
  1

• Raft membership changes + simulator-discovered 2015 safety bug

  #3192·palvaro opened Sep 8, 2026·

  ·

• docs(hydro): multi-version sim tests docs

  #3191·luckyworkama opened Sep 7, 2026Contributor·

  ·
  1

• wip: Lean formalization of Flo / Gyatso / Hydro

  #3190·shadaj opened Sep 5, 2026Member·

  ·
  1

• refactor(hydro_lang): make Hydro tick ingress lazy for Singleton and Optional types

  #3180·MingweiSamuel opened Sep 2, 2026Member·

  ·
  3

• refactor(hydro_lang)!: replace forward reference API with a "channel" abstraction (#3003)

  #3177·shadaj opened Aug 31, 2026Member·

  ·
  1

• test: Finite round-trip deadlock: witness + analysis

  #3176·palvaro opened Aug 31, 2026·

  ·

• feat(hydro_lang): allow overriding child build environment

  #3174·luckyworkama opened Aug 31, 2026Contributor·

  ·
  4

• fix(hydro_lang): black-hole failed containerized network channels

  #3143·richardlee159 opened Aug 18, 2026Collaborator·

  ·
  1

• docs: add Related API sections to live collection guide pages

  #3119·jhellerstein opened Aug 4, 2026Contributor·

  ·
  1

• docs: add task-oriented Quick References for core Hydro APIs

  #3118·jhellerstein opened Aug 4, 2026Contributor·

  ·
  4

• fix(hydro_lang)!: avoid runtime panics for platform-specific MemberId variants

  #3097·shadaj opened Jul 30, 2026Member·2/2·

  ·
  3

• docs(hydro): add Quoting Code reference page and expand quoting gotchas into Quoting Limitations

  #3093·shadaj opened Jul 30, 2026Member·

  ·
  2

• refactor(dfir_rs)!: rename scheduled to runtime

  #3092·MingweiSamuel opened Jul 30, 2026Member·

  ·
  7

• docs: fix DFIR mermaid graphs, begin updating for inline DFIR

  #3091·MingweiSamuel opened Jul 30, 2026Member·

  ·
  5