All pull requests

Pull requests

• fix(syson): recognise qualified document-binding names with a linear scan

  #1180·devin-ai-integration[bot] opened Oct 15, 2026Bot·5 of 6 tasks·

  ·
  1

  

• fix(runtime): read an open-count chain through a bound member as undetermined

  #1174·devin-ai-integration[bot] opened Oct 15, 2026Bot·6 tasks done·

  ·
  8

  

• fix(runtime): a definition-owned case with no object says it needs one

  #1171·devin-ai-integration[bot] opened Oct 15, 2026Bot·6 tasks done·

  ·
  4

  

• fix(runtime): report a qualified-name feature-value cycle instead of overflowing the stack

  #1170·devin-ai-integration[bot] opened Oct 15, 2026Bot·6 tasks done·

  ·
  1

  

• fix(view): route specialization edges from Cameo and keep the keyword line in a stated box

  #1166·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  6

  

• feat(grpc): CheckBehavior RPC, check_behavior tool and check capability for model checking

  #1165·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  1

  

• fix(check): include must reference a use case usage

  #1164·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  1

  

• fix(check): judge inherited and KerML typings by the kind's redundant-type rule

  #1163·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  5

  

• feat(grpc): lint selection, tool dry run, run options and engine probe on the existing requests

  #1162·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  1

  

• feat(project): find the installed projects a project interchange project uses

  #1161·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  19

  

• fix(check): a package-level feature cannot be redefined

  #1159·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  1

  

• perf(resolve): settle import collisions once per batch

  #1158·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  4

  

• fix(view): read an unnamed compartment row as its keyword

  #1152·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  1

  

• feat(migrate): write a connector that only carries item flows as its flows alone

  #1151·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  12

  

• fix(migrate): place start and done symbols and orient flow routes in migrated diagrams

  #1148·devin-ai-integration[bot] opened Oct 14, 2026Bot·5 of 6 tasks·

  ·
  6

  

• chore(release): 0.10.1

  #1143·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  12

  

• feat(runtime): mark values computed from order-dependent ones

  #1136·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  17

  

• feat(runtime): report a default run's values only up to the partial order

  #1131·devin-ai-integration[bot] opened Oct 14, 2026Bot·5 tasks done·

  ·
  16

  

• feat(runtime): make explore's complete mean complete

  #1130·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  4

  

• chore(build): name the sysml builds RE and DK

  #1126·devin-ai-integration[bot] opened Oct 13, 2026Bot·5 of 6 tasks·

  ·
  1

  

• test(runtime): fold repeated test setup onto shared helpers

  #1109·devin-ai-integration[bot] opened Oct 12, 2026Bot·4 of 6 tasks·

  ·
  1

  

• refactor(runtime): unexport the identifiers only the package itself uses

  #1108·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  1

  

• refactor(java): generate the protobuf message classes at build time; add .gitattributes

  #1107·devin-ai-integration[bot] opened Oct 12, 2026Bot·4 of 6 tasks·

  ·
  1

  

• test(hygiene): cap test files at 2,000 lines and fixtures at 200 KiB

  #1106·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  9

  

• fix(install): fetch the bundle only for the tools it carries

  #1105·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  4