All pull requests

Pull requests

• feat(vscode): show a node's related elements in the diagram panel without editing the view

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

  ·
  18

  

• feat(semantics): usages subset the base library usage of their kind

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

  ·
  7

  

• feat(vscode): zoom, pan and fit, selection highlighting, relationship filters and auto layout in the diagram panel

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

  ·
  23

  

• feat(vscode): route every edge with libavoid on request, and pop the diagram panel out into its own window

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

  ·
  9

  

• refactor(vscode): drop the diagram panel's Add… menu

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

  ·
  1

  

• feat(parser): parse the five productions the specification examples use

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

  ·
  4

  

• fix(libs): record a document whose metadata names undeclared types or elements

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

  ·
  4

  

• feat(check): report the case keyword pair and a terminated condition as nonstandard notation

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

  ·
  6

  

• fix(runtime): bind a nested requirement usage's subject from the owning object

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

  ·
  11

  

• fix(runtime): read a case usage's subject, actors and inputs through the usage

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

  ·
  11

  

• fix(runtime): nested action and state usages are performances their owner holds

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

  ·
  11

  

• fix(runtime): hold a calculation's result in its effective multiplicity on every surface

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

  ·
  1

  

• fix(parser): recover from the erratum spellings in the specification examples

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

  ·
  9

  

• fix(check): report redefinition-not-end only inside associations and connectors

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

  ·
  4

  

• feat(corpus): gate the specification's own textual-notation examples

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

  ·
  14

  

• feat(mcp): serve the Model Context Protocol over Streamable HTTP

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

  ·
  23

  

• feat(export): owned absence and evaluator-derived properties in API JSON

  #1232·devin-ai-integration[bot] opened Oct 17, 2026Bot·3 of 6 tasks·

  ·
  16