All pull requests

Pull requests

• perf(modelchecker): run statements and expressions as cached Starlark functions

  #448·jp-fizzbee opened Oct 29, 2026Collaborator·

  ·

• perf(modelchecker): lazy action forks with reuse of clean disabled clones (flag)

  #424·jp-fizzbee opened Oct 25, 2026Collaborator·

  ·

• perf(modelchecker): release each state once nothing can read it (experimental)

  #423·jp-fizzbee opened Oct 24, 2026Collaborator·

  ·

• examples: Bedrock Automated Reasoning parity (HR parental leave)

  #404·jp-fizzbee opened Oct 21, 2026Collaborator·

  ·
  

• fix: per-action max_actions no longer deadlocks

  #392·lczyk opened Oct 9, 2026·

  ·
  1

• fix: name the failing liveness assertion in simulation

  #391·lczyk opened Oct 9, 2026·

  ·
  1

  1

• fix/feat: allow creating several roles in one statement

  #390·lczyk opened Oct 9, 2026·

  ·
  1

  2

• fix: clean error for a failing top-level statement

  #389·lczyk opened Oct 9, 2026·

  ·
  1

• fix: --states works without a trailing slash

  #388·lczyk opened Oct 9, 2026·

  ·
  1

• fix(correctness): reject assertions inside roles at load

  #386·lczyk opened Oct 9, 2026·

  ·

• feat(docker): slim multi-stage image, variant A: base-image python

  #369·jp-fizzbee opened Aug 18, 2026Collaborator·

  ·

• Compositional model checking RFC

  #200·jp-fizzbee opened May 15, 2025Collaborator·

  ·