All pull requests

Pull requests

• fix(lattices): deep-bottom behavior in lattice bimorphisms

  #3322·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• perf(lattices): LatticeBimorphism over references

  #3321·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• fix(dfir_lang): lattice_bimorphism with singleton collections inside PairBimorphism

  #3318·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• fix(hydro_lang): copy only the trybuild target's cargo profiles

  #3317·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• fix(dfir_lang): immediately borrowed state references outlive the statement

  #3311·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

  2

• refactor(dfir_lang): remove Default from OperatorWriteOutput

  #3310·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

  1

• fix(dfir_lang): make codegen compatible with forbid(unused_results)

  #3305·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

  6

• fix(dfir_lang): keep checking generics after a bad lifetime

  #3296·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

  3

• fix(lattices): propagate duplicate inserts from GHT leaves

  #3295·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• fix(dfir_lang): diagnose non-ident partition patterns

  #3294·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• fix(lattices): return None when GHT children are incomparable

  #3293·YeonwooSung opened Nov 3, 2026Contributor·

  ·
  1

• refactor(hydro_lang, hydro_test): replace snapshot-only ticks with non-lazy inputs

  #3278·shadaj opened Nov 2, 2026Member·5/6·

  ·
  1

• feat(hydro_lang): allow defer_tick on top-level streams

  #3277·shadaj opened Nov 2, 2026Member·4/6·

  ·
  1

• feat(hydro_lang)!: a Drops parameter for collections whose elements may be missing

  #3272·luckyworkama opened Oct 31, 2026Contributor·6/7·

  ·
  1

• refactor(hydro_lang): make Hydro tick ingress lazy for everything except batched-in streams

  #3270·shadaj opened Oct 30, 2026Member·6/6·

  ·
  1

• feat(hydro_lang): add an update-stream cast and implement top-level combinators with it

  #3269·shadaj opened Oct 30, 2026Member·3/6·

  ·
  4

• feat(hydro_lang): add use::clone style to sliced! for bounded singletons

  #3268·akainth015 opened Oct 30, 2026Member·

  ·
  6

• docs(rfc): denotational reasoning for liveness

  #3267·shadaj opened Oct 30, 2026Member·

  ·
  3

• feat(dfir_rs)!: make DFIR runtime metrics thread-safe via Arc + atomics [ci-bench]

  #3266·MingweiSamuel opened Oct 29, 2026Member·

  ·
  2

• feat(hydro_lang)!: embedded functions take outputs by value, and take a self ID only when used

  #3260·luckyworkama opened Oct 28, 2026Contributor·5/7·

  ·
  6

• test(hydro_lang): run doctests on the simulator instead of Hydro Deploy

  #3259·luckyworkama opened Oct 28, 2026Contributor·7/7·

  ·
  1

• fix(hydro_lang): a program panic in a simulation no longer aborts the test process

  #3258·palvaro opened Oct 27, 2026·

  ·
  4

• refactor(hydro_lang): factor out StreamOrder / StreamRetry to type mapping

  #3257·luckyworkama opened Oct 27, 2026Contributor·4/7·

  ·
  1

• feat(hydro_lang): name the missing guarantee in WeakerOrderingThan / WeakerRetryThan errors

  #3255·luckyworkama opened Oct 27, 2026Contributor·3/7·

  ·
  4

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

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

  ·
  1