Skip to content

Support 64-bit integer builds#5259

Merged
connorjward merged 16 commits into
releasefrom
leo/64bit-int
Jul 22, 2026
Merged

Support 64-bit integer builds#5259
connorjward merged 16 commits into
releasefrom
leo/64bit-int

Conversation

@leo-collins

Copy link
Copy Markdown
Contributor

Support builds with 64-bit integers.

  • Adds --int-type option to firedrake-configure. Users can pass --int-type int64 for a 64-bit integer build
  • Update workflows

Comment thread docs/source/install.rst Outdated
@leo-collins leo-collins added the ci:int64 Do a 64 bit integer build label Jul 16, 2026
Comment thread docs/source/install.rst Outdated
Comment thread scripts/firedrake-configure
Comment thread .github/actions/install/action.yml Outdated
Comment thread .github/workflows/core.yml Outdated
Comment thread scripts/firedrake-configure Outdated
@leo-collins
leo-collins changed the base branch from main to release July 16, 2026 12:58
leo-collins and others added 3 commits July 16, 2026 13:59
* function struct use PetscInt

* use correct petsc types

* fix header

* fix to legacy .at

fix

* use PetscInt

fix

* use correct mpi type for permutation

* use blas int

* use dtype

* type fixes

use size_t for ncells_ignore
use size_t for loops over ignored cells
locator now returns int since it is an error code

* relax assertions in adjoint test

This was very flaky
Add additional assertions to test that the transformed reduced
functional converges faster

* Update firedrake/mesh.py

Co-authored-by: Josh Hope-Collins <joshua.hope-collins13@imperial.ac.uk>

---------

Co-authored-by: Josh Hope-Collins <joshua.hope-collins13@imperial.ac.uk>
@leo-collins
leo-collins requested a review from connorjward July 22, 2026 12:24
@connorjward
connorjward merged commit 4f02814 into release Jul 22, 2026
8 checks passed
@connorjward
connorjward deleted the leo/64bit-int branch July 22, 2026 13:43
@connorjward

Copy link
Copy Markdown
Contributor

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci:int64 Do a 64 bit integer build

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants