All pull requests

Pull requests

• fix(migrate): address a sent signal to the object its target pin holds; census signal rows

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

  ·
  1

  

• feat(migrate): bind a read self action's result to this; read features inside structured nodes on the object they are given

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

  ·
  1

  

• feat(install): add install.sh and install.ps1 for every supported platform

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

  ·
  2

  

• feat(grpc): report a state machine run's trace from ExecuteState

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

  ·
  1

  

• fix(view): check viewpoint-framed concerns directly against what the view exposes

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

  ·
  2

  

• fix(examples): state one objective per analysis case in the solver demos

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

  ·
  1

  

• feat(referee): hand the pilot validators the OpenSysML libraries

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

  ·
  4

  

• fix(examples): make three demos valid by the reference implementation

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

  ·
  1

  

• feat(view): render GeneralView requirement, definition, package and use case graphs

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

  ·
  25

  

• feat(runtrace): render a run's trace as a state timeline and a message sequence

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

  ·
  23

  

• feat(view): render GridView relationship matrices

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

  ·
  5

  

• fix(parser): reject frame, filter and accept outside their bodies; declare extension libraries non-standard

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

  ·
  2

  

• feat(libs): vendor the extension libraries pinned to OpenSysML-Extensions-Library, with an engine contract

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

  ·
  6

  

• feat(grpc): Convert writes only the documents a request names

  #879·someshSandbox opened Oct 4, 2026Contributor·

  ·

• fix(export): load sysml-toolkit API JSON exports and accept JSON model files

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

  ·
  9

  

• feat(view): add case and mixed rendering kinds

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

  ·
  34

  

• fix(runtime): explore every order of unordered statements in calc, constraint and case bodies

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

  ·
  5

  

• fix(runtime): print a String in the String notation that reads back to it

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

  ·
  4

  

• fix(runtime): keep the step counter from overflowing at an int64 budget

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

  ·
  5

  

• feat(codegen): compile records, their feature reads, identity, <unset> features and calcs read off them

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

  ·
  7

  

• fix(runtime): interleave executors due at one instant move by move

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

  ·
  4

  

• fix(runtime): end a loop body's own performance of the node a terminate names

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

  ·
  1

  

• fix(runtime): = values in action, calc, block and state bodies hold at all times

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

  ·
  15

  

• fix(runtime): explore the order of a body's statements no succession orders

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

  ·
  4

  

• feat(semantics): evaluate KerML Rationals exactly

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

  ·
  15