Skip to content

Add Dijkstra Foreign modules#1134

Open
carlostome wants to merge 2 commits intomasterfrom
carlos/dijkstra-conformance-2
Open

Add Dijkstra Foreign modules#1134
carlostome wants to merge 2 commits intomasterfrom
carlos/dijkstra-conformance-2

Conversation

@carlostome
Copy link
Copy Markdown
Collaborator

@carlostome carlostome commented Mar 23, 2026

Description

This PR adds the Foreign hierarchy of modules for the Dijkstra era.

Blocked by #1133.

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • Any semantic changes to the specifications are documented in CHANGELOG.md
  • Code is formatted according to CONTRIBUTING.md
  • Self-reviewed the diff

@carlostome carlostome changed the base branch from master to carlos/dijkstra-conformance March 23, 2026 10:29
Base automatically changed from carlos/dijkstra-conformance to master March 23, 2026 16:19
@carlostome carlostome force-pushed the carlos/dijkstra-conformance-2 branch from 2d00b21 to 3b9c927 Compare April 8, 2026 14:26
@carlostome carlostome force-pushed the carlos/dijkstra-conformance-2 branch from 3b9c927 to 7811722 Compare April 23, 2026 09:07
@carlostome carlostome force-pushed the carlos/dijkstra-conformance-2 branch from 120ad34 to 99c314b Compare April 27, 2026 13:43
@carlostome carlostome marked this pull request as ready for review April 27, 2026 13:43
@carlostome carlostome force-pushed the carlos/dijkstra-conformance-2 branch from 99c314b to 0ac8a37 Compare April 27, 2026 15:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant