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

DLL: use address(0) instead of head and tail #85

Open
MathisGD opened this issue Nov 12, 2022 · 3 comments · May be fixed by #141
Open

DLL: use address(0) instead of head and tail #85

MathisGD opened this issue Nov 12, 2022 · 3 comments · May be fixed by #141
Assignees
@MathisGD
Labels
🔨 refactor

Comments

@MathisGD
Copy link
Collaborator

POC here: morpho-org/morpho-optimizers#1255
@MathisGD MathisGD self-assigned this Nov 12, 2022
@MathisGD MathisGD mentioned this issue Jan 4, 2023
Merged
@Tristan22400 Tristan22400 self-assigned this May 3, 2023
@Tristan22400
Copy link
Contributor

I will tackle this.

@Tristan22400 Tristan22400 mentioned this issue May 3, 2023
Closed
@MerlinEgalite
Copy link
Contributor

Closing this as not planned because of this #129 (comment)

@MerlinEgalite MerlinEgalite closed this as not planned Won't fix, can't repro, duplicate, stale May 9, 2023
@MathisGD MathisGD reopened this May 10, 2023
@MathisGD
Copy link
Collaborator Author

I don't think that this is not planned. This idea is objectively good, it's just that we don't have the bandwidth at the moment to adapt the formal verification to it.

@QGarchery QGarchery linked a pull request Jul 11, 2024 that will close this issue
Open
@QGarchery QGarchery linked a pull request Jul 11, 2024 that will close this issue
DLL loops to address(0) #141
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MathisGD MathisGD

Labels
🔨 refactor
Projects
None yet
Milestone
No milestone
4 participants
@QGarchery @Tristan22400 @MerlinEgalite @MathisGD