Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Expose index-envs as public library #6675

Closed
SeungheonOh opened this issue Nov 16, 2024 · 2 comments · Fixed by #6676
Closed

Expose index-envs as public library #6675

SeungheonOh opened this issue Nov 16, 2024 · 2 comments · Fixed by #6676
Labels
status: triaged

Comments

@SeungheonOh
Copy link
Contributor

Describe the feature you'd like

Some of the functions in UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal virtually pointless since it's require RAList values which is not exposed to public from index-envs library. It would be nice to have index-envs as a public library so downstream library can access CEK machine internals.

Describe alternatives you've considered

No response
@github-actions github-actions bot added the status: needs triage GH issues that requires triage label Nov 16, 2024
@SeungheonOh SeungheonOh mentioned this issue Nov 16, 2024
Merged
11 tasks
SeungheonOh added a commit to SeungheonOh/plutus that referenced this issue Nov 16, 2024
@SeungheonOh
Expose index-envs library to public (IntersectMBO#6675)
dfca404
SeungheonOh added a commit to SeungheonOh/plutus that referenced this issue Nov 18, 2024
@SeungheonOh
Expose index-envs library to public (IntersectMBO#6675)
f901477
@effectfully
Copy link
Contributor

Sure, we can expose it, although the API is probably going to change, because I'm changing how this stuff is used in the CEK machine as we speak. Wanna create a PR?

@SeungheonOh
Copy link
Contributor Author

PR is already there

@kwxm kwxm added status: triaged and removed status: needs triage GH issues that requires triage labels Nov 19, 2024
effectfully pushed a commit that referenced this issue Nov 19, 2024
@SeungheonOh
Expose index-envs library to public (#6675) (#6676)
ce72537
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
status: triaged
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Expose index-envs library to public SeungheonOh/plutus
3 participants
@kwxm @effectfully @SeungheonOh