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

Improve code generation for Reset_Dependent_Fields #842

Merged
merged 3 commits into from
Nov 10, 2021
Merged

Conversation

kanigsson
Copy link
Collaborator

Use a loop rather than case statement + explicit assignments to
reset the fields.

Closes #840

Use a loop rather than case statement + explicit assignments to
reset the fields.

Closes #840
rflx/ada.py Outdated Show resolved Hide resolved
rflx/ada.py Outdated Show resolved Hide resolved
rflx/generator/generator.py Outdated Show resolved Hide resolved
- derive class Succ from AttributeExpr instead of new implementation
- new common base class for classes ForOf and ForIn
- rename F_Loop to Fld_Loop
@kanigsson kanigsson merged commit 9bd0260 into main Nov 10, 2021
@kanigsson kanigsson deleted the issue_840 branch November 10, 2021 11:00
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.

Proofs of Reset_Dependent_Fields too slow
2 participants