Skip to content

GitHub - #6

Closed
dde-cls wants to merge 2 commits into
mainfrom
github
Closed

GitHub#6
dde-cls wants to merge 2 commits into
mainfrom
github

Conversation

@dde-cls

@dde-cls dde-cls commented Apr 9, 2026

Copy link
Copy Markdown
Contributor

No description provided.

NPOG handles again correctly base types created from
deferred sets and enumerated sets (#79161).

BAST type building methods are updated to handle the
enriched type information. Note that NPOG does not yet
produce the type table information using the RichTypeInfos
proposed structure.
- handle unused local variables
- tinyxml2 removed from sources
- support for traceability attributes for Pred
- fix reading base types in POG files
@dde-cls

dde-cls commented Apr 9, 2026

Copy link
Copy Markdown
Contributor Author

Work already integrated into main branch. Removing branch and closing pull request.

@dde-cls dde-cls closed this Apr 9, 2026
@dde-cls
dde-cls deleted the github branch April 9, 2026 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant