Skip to content

feat(lltz): added INDEX_ADDRESS and GET_ADDRESS_INDEX - #46

Closed
wyn wants to merge 1 commit into
mainfrom
swp@index-address
Closed

feat(lltz): added INDEX_ADDRESS and GET_ADDRESS_INDEX#46
wyn wants to merge 1 commit into
mainfrom
swp@index-address

Conversation

@wyn

@wyn wyn commented Oct 9, 2025

Copy link
Copy Markdown
Collaborator

@wyn
wyn marked this pull request as draft October 9, 2025 14:28
@wyn

wyn commented Oct 9, 2025 •
edited
Loading

Copy link
Copy Markdown
Collaborator Author

questions:

  • I assume checking that views dont have INDEX_ADDRESS instructions in them would not be LLTZ's job ie its an upstream typechecker thing?

  • I left a comment about not allowing INDEX_ADDRESS be injective, not sure if that is true or not

@wyn
wyn marked this pull request as ready for review October 9, 2025 14:37
@wyn
wyn marked this pull request as draft October 9, 2025 14:42
@wyn
wyn force-pushed the swp@index-address branch 2 times, most recently from 495ef6d to 2d01b34 Compare October 14, 2025 10:58
@wyn
wyn marked this pull request as ready for review October 16, 2025 14:16
@wyn
wyn force-pushed the swp@index-address branch from 2d01b34 to 4863ded Compare February 4, 2026 14:34
@wyn

wyn commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator Author

close in favour of #48

@wyn wyn closed this Aug 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@EduardoRFS EduardoRFS Awaiting requested review from EduardoRFS
@alanmarkoTrilitech alanmarkoTrilitech Awaiting requested review from alanmarkoTrilitech

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@wyn