Repository navigation

Remote module inclusion - #6815

Merged

bentsherman merged 22 commits into

251117-module-system-implementationfrom

251117-module-system-implementation-with-remote-inclusion

Mar 6, 2026

Merged

Remote module inclusion#6815
bentsherman merged 22 commits into
251117-module-system-implementationfrom
251117-module-system-implementation-with-remote-inclusion

Commits on Feb 10, 2026
- add poc for remote module inclusion
  jorgee
  committed
  d03bfa7
- add remote inclusion in syntax parser v2 with SPI
  jorgee
  committed
  c766cbb
- fix lint issue
  jorgee
  committed
  c38b4a8
Commits on Feb 19, 2026
Commits on Feb 25, 2026
- add review comments and fix compilation
  jorgee
  committed
  a325e43
- Merge branch '251117-module-system-implementation' into 251117-module-system-implementation-with-remote-inclusion
  jorgee
  authored
  f9a30a0
Commits on Feb 26, 2026
Commits on Feb 27, 2026
- Merge branch '251117-module-system-implementation' into 251117-module-system-implementation-with-remote-inclusion
  jorgee
  authored
  2a51213
- add remote module inclusion in docs and update speckit files
  jorgee
  committed
  7de6423
Commits on Mar 3, 2026
- Merge branch '251117-module-system-implementation' into 251117-module-system-implementation-with-remote-inclusion
  pditommaso
  authored
  fb7673c
- wip
  pditommaso
  committed
  11e3400
Commits on Mar 5, 2026
- Merge branch '251117-module-system-implementation' into 251117-module-system-implementation-with-remote-inclusion
  jorgee
  authored
  e677b26
Commits on Mar 6, 2026
- update docs [ci skip]
  bentsherman
  committed
  72ec5d9
- Remote module inclusion without @ (#6898)
  jorgee
  authored
  2fa01e8