Skip to content

feat(lltz): added INDEX_ADDRESS and GET_ADDRESS_INDEX#46

Open
wyn wants to merge 1 commit intomainfrom
swp@index-address
Open

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

Conversation

@wyn
Copy link
Collaborator

@wyn wyn commented Oct 9, 2025

@wyn wyn marked this pull request as draft October 9, 2025 14:28
@wyn
Copy link
Collaborator Author

wyn commented Oct 9, 2025

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
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