Skip to content

Real libraries - #56

Merged
saidctb merged 24 commits into
mainfrom
real_libraries
Aug 10, 2026
Merged

Real libraries#56
saidctb merged 24 commits into
mainfrom
real_libraries

Conversation

@saidctb

@saidctb saidctb commented Aug 9, 2026

Copy link
Copy Markdown
Contributor

No description provided.

saidctb added 16 commits August 4, 2026 18:38
  - rename wrapper_codegen to codegen and update imports, tooling, CI, and test layout
  - centralize declaration-expression parsing, normalization, provenance, rendering, and evaluation
  - preserve native specification-function calls and resolve same-module, imported, and standalone origins
  - add standalone prototype contracts with generated abstract interfaces where required
  - support logical array kind widths and richer declaration shape expressions
  - refresh wrapper artifacts, contracts, documentation, stage examples, and focused coverage
  - clarify codegen/printer structure and keep policy decisions before planning
@codecov

codecov Bot commented Aug 9, 2026

Copy link
Copy Markdown

@saidctb
saidctb merged commit d260c98 into main Aug 10, 2026
11 checks passed
@saidctb
saidctb deleted the real_libraries branch August 10, 2026 05:47
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