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.

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

Add a proper configuration object to OpShin #341

Merged
merged 12 commits into from
Mar 5, 2024

Conversation

nielstron
Copy link
Contributor

This fixes #267 and #168 by adding a proper configuration object to both Pluthon and OpShin (and future also UPLC). This configuration object is more easy to handle and expand with language and tooling specific parameters. All parameters of the configuration object can be overwritten by passing dedicated flags. This opens the avenue to enable aggressive optimizations on O3 such as #333 and removing traces as well as giving more fine-grained options for debugging code (i.e. allowing to disable removal of unused variables)

@nielstron nielstron mentioned this pull request Mar 4, 2024
@nielstron nielstron merged commit 1686f00 into dev Mar 5, 2024
4 checks passed
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