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

Transient Conflicts in Interpretation Loop #962

Closed
EclecticGriffin opened this issue Mar 30, 2022 · 1 comment
Closed

Transient Conflicts in Interpretation Loop #962

EclecticGriffin opened this issue Mar 30, 2022 · 1 comment
Labels
C: Interpreter / Cider Calyx Interpreter & Debugger S: Needs Triage Issue needs some thinking Type: Bug Bug in the implementation

Comments

@EclecticGriffin
Copy link
Collaborator

This has come up most immediately in the interpreter having trouble with programs lowered via the WireInliner. The short version is that there can be transient assignment conflicts prior to stabilizing and the interpreter doesn't yet know how to differentiate between these and genuine conflicts.
@EclecticGriffin EclecticGriffin added Type: Bug Bug in the implementation S: Needs Triage Issue needs some thinking labels Mar 30, 2022
@EclecticGriffin EclecticGriffin added the C: Interpreter / Cider Calyx Interpreter & Debugger label Mar 30, 2022
@rachitnigam rachitnigam changed the title [Interpreter] Transient Conflicts Transient Conflicts in Interpretation Loop Apr 29, 2022
@EclecticGriffin
Copy link
Collaborator Author

Closing this since Cider 2 work (#1913) resolves this problem, this bug will persist in Cider 1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C: Interpreter / Cider Calyx Interpreter & Debugger S: Needs Triage Issue needs some thinking Type: Bug Bug in the implementation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@EclecticGriffin