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

flint 3 update roadmap #3652

Closed
6 of 9 tasks
thofma opened this issue Apr 26, 2024 · 2 comments
Closed
6 of 9 tasks

flint 3 update roadmap #3652

thofma opened this issue Apr 26, 2024 · 2 comments

Comments

@thofma
Copy link
Collaborator

thofma commented Apr 26, 2024

We are slowly converging to a point, where we could/should update to flint 3. We already have PRs adjusting Nemo and Hecke. They just need to be merged:

I think what remains to do is

I think rebuilding the binaries would be the next logical step.

I hope I did not miss anything. Comments and corrections welcome.

CC: @benlorenz @fingolfin

@thofma thofma added enhancement New feature or request and removed enhancement New feature or request labels Apr 26, 2024
@thofma
Copy link
Collaborator Author

thofma commented May 2, 2024

I think we have everything now in place. But I want to wait till #3667 is merged.

@thofma
Copy link
Collaborator Author

thofma commented May 5, 2024

#3689

@thofma thofma closed this as completed May 5, 2024
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

No branches or pull requests

1 participant