Skip to content

Emulate model 2#103

Merged
andrii-a8c merged 7 commits intonextfrom
emulate-model-2
Mar 25, 2026
Merged

Emulate model 2#103
andrii-a8c merged 7 commits intonextfrom
emulate-model-2

Conversation

@andrii-a8c
Copy link
Copy Markdown
Collaborator

Trying to emulate changes from move-model-2

  1. We generate names to undeclared namespaces (v2 allows them unresolved, much more work)
  2. We extend visibility of test functions (sui-prover will see all)

@andrii-a8c andrii-a8c self-assigned this Mar 25, 2026
Copy link
Copy Markdown

@andreistefanescu andreistefanescu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@andrii-a8c andrii-a8c merged commit 321cf91 into next Mar 25, 2026
1 of 6 checks passed
@andrii-a8c andrii-a8c deleted the emulate-model-2 branch March 25, 2026 18:06
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.

2 participants