All pull requests

Pull requests

• det_survey translates on the engine record layouts (Part of #5649)

  shepherd:mergeshepherd:needs-fix
  #6002·squid-protocol opened Oct 22, 2026Owner·

  ·
  4

• equivalence: BNK1CCS create-customer scenarios written, refused by name on L1 (Part of #5089)

  shepherd:mergeshepherd:needs-fix
  #6000·squid-protocol opened Oct 22, 2026Owner·

  ·
  3

• HFP: det runtime evaluates a float ** through the kit's reference power (Part of #4271, #4050)

  shepherd:merge
  #5999·squid-protocol opened Oct 22, 2026Owner·

  ·
  5

• evidence: refresh stale records and the evidence report

  #5990·squid-protocol opened Oct 22, 2026Owner·

  ·

• equivalence: CBSA CUSTCTRL 4/4, DELACC and BANKDATA net (Part of #5864)

  #5958·squid-protocol opened Oct 22, 2026Owner·

  ·
  1

• Det Sweep: Db2 shards restore the pinned Db2's first start instead of repeating it (Part of #5882)

  #5950·squid-protocol opened Oct 22, 2026Owner·

  ·
  1

• Det Sweep: a shard proves its longest case first (Part of #5882)

  #5947·squid-protocol opened Oct 22, 2026Owner·

  ·

• genapp lgdpvs01/lgucvs01: state LGSTSQ-path notes now X6 is modelled (Part of #5252)

  shepherd:mergeshepherd:needs-fix
  #5900·squid-protocol opened Oct 21, 2026Owner·

  ·
  12

• X6: a WRITEQ LENGTH past FROM is FROM's bytes then spaces, ASSUMED on both sides (Part of #5252)

  shepherd:mergeshepherd:needs-fix
  #5898·squid-protocol opened Oct 21, 2026Owner·

  ·
  17

• chore: bump muninn to v0.3.14

  #5010·sg0nzalez opened Oct 12, 2026Contributor·2 tasks done·

  ·