Skip to content
This repository has been archived by the owner on Nov 26, 2024. It is now read-only.

OneStepProof: CrossModuleInternal instead of dynamic #7

Merged
merged 13 commits into from
Oct 16, 2023

Conversation

tsahee
Copy link
Contributor

@tsahee tsahee commented Aug 1, 2023

No description provided.

@cla-bot cla-bot bot added the s label Sep 5, 2023
Copy link
Contributor

@rachel-bousfield rachel-bousfield left a comment

Choose a reason for hiding this comment

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

Looks great!

Copy link
Contributor

@PlasmaPower PlasmaPower left a comment

Choose a reason for hiding this comment

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

LGTM

@rachel-bousfield rachel-bousfield merged commit 78ecfd5 into stylus Oct 16, 2023
2 checks passed
@rachel-bousfield rachel-bousfield deleted the cross_module_internal branch October 16, 2023 04:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants