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

Implement reduce_sum/prod/max/min scaled translation rules. #26

Merged
merged 1 commit into from
Nov 21, 2023

Conversation

balancap
Copy link
Contributor

@balancap balancap commented Nov 21, 2023

Simple rules, consistent with add, prod, min, max primitives.

@balancap balancap linked an issue Nov 21, 2023 that may be closed by this pull request
@balancap balancap force-pushed the implement-scaled-reduce-translation-rules branch 2 times, most recently from 5aefb4a to 896c8d9 Compare November 21, 2023 15:20
Simple rules, consistent with `add`, `prod`, `min`, `max` primitives.
@balancap balancap force-pushed the implement-scaled-reduce-translation-rules branch from 896c8d9 to 981cb31 Compare November 21, 2023 15:31
@balancap balancap merged commit 0fc3400 into main Nov 21, 2023
2 checks passed
@balancap balancap deleted the implement-scaled-reduce-translation-rules branch November 21, 2023 16:10
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.

Implement reduce_sum/prod/max/min scaled translation rules
1 participant