Skip to content

Refactor compiler contract spine - #70

Merged
itsfuad merged 1 commit into
mainfrom
refactor/compiler-contract-spine
Aug 11, 2026
Merged

Refactor compiler contract spine#70
itsfuad merged 1 commit into
mainfrom
refactor/compiler-contract-spine

Conversation

@itsfuad

@itsfuad itsfuad commented Aug 11, 2026

Copy link
Copy Markdown
Member

Summary

  • centralize compiler target and typed LLVM layout ownership
  • preserve semantic evidence through HIR, MIR, and LLVM boundaries
  • validate target-sized array/index contracts

Validation

  • focused compiler pipeline, semantic, and LLVM tests
  • full Go tests and vet
  • bundled compiler and target fixtures

Tracking

Builds on #68 and its 32-bit ABI follow-up.

Stacked on the preceding ABI PR.

@itsfuad
itsfuad force-pushed the refactor/compiler-contract-spine branch from bff83dc to ccace81 Compare August 11, 2026 16:33
Base automatically changed from fix/abi-intrinsic-conformance to main August 11, 2026 16:35
@itsfuad
itsfuad force-pushed the refactor/compiler-contract-spine branch from ccace81 to 03f9f83 Compare August 11, 2026 16:35
@itsfuad
itsfuad merged commit e21a6f0 into main Aug 11, 2026
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