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

Use free variable bounds to add fixed bounds for instance variables to logic circuits #34

Open
morganthomas opened this issue Oct 28, 2022 · 1 comment
Open

Use free variable bounds to add fixed bounds for instance variables to logic circuits #34

morganthomas opened this issue Oct 28, 2022 · 1 comment

Comments

@morganthomas
Copy link
Contributor

This will allow for further optimization of circuit size by reducing the byte decomposition lengths for the instance tables.
@morganthomas
Copy link
Contributor Author

On further thought, we can already do this, by inferring bounds for instance variables based on the types.

@morganthomas morganthomas changed the title Add free variable bounds to OSL Use free variable bounds to add fixed bounds for instance variables to logic circuits Oct 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@morganthomas