Development workflow#
Describe a substantial change to the public API in an issue before opening a pull request. Small fixes and documentation corrections can go directly to a pull request. Work on a topic branch of a fork, one coherent change per branch.
Making a change#
Read
AGENTS.mdand the implementation and tests of the code being changed.Change the code and the documentation of any public behaviour it affects. Do not edit generated files by hand.
Run the checks:
Change
Command
Python
./scripts/lint.sh(--fixapplies ruff’s formatting and fixes)Any code
./scripts/run_tests.sh, or a subset of the suite during developmentC, CUDA or the ABI
The full suite;
python scripts/check_device.pyon a machine with a CUDA deviceDocumentation
./scripts/build_docs.sh, and./scripts/build_docs.sh --executefor changed examplesThe PDF manual
./scripts/build_docs_pdf.sh, afterpython -m playwright install chromiumCommit, push to the fork, and open a pull request as described in Pull requests.
Generated files#
src/bartorch/_abi.py is generated from src/csrc/include/bartorch.h by
python scripts/gen_abi.py, and src/bartorch/_catalogue.py from BART’s
command declarations by python scripts/gen_catalogue.py. run_tests.sh
regenerates both before the suite, and tests/test_abi.py and
tests/test_catalogue.py fail when the checked-in files differ from what the
generators write. The logo, the compact mark, the architecture figure and the
encoding figure in docs/_static/ are written by
python scripts/make_artwork.py; the logo’s sources and their terms are listed
in License and third-party notices.
The documentation is published by the docs workflow into the gh-pages
branch, one directory per version: latest from main, and vX.Y.Z from a
release tag, which scripts/publish_docs.py also copies to stable when it is
the newest release. The site root redirects to stable, or to latest
before the first release, and the version switcher reads versions.json
beside the directories.
The documentation’s own build products – docs/generated/,
docs/api_objects.rst, docs/auto_examples/ and the PDF manual – are not
tracked; ./scripts/build_docs.sh --clean removes them.
Updating the BART submodule#
external/bart is a revision of the downstream fork pulserver/bart, whose
branches and sync procedure are described in The BART fork. Moving it to a
newer revision is a change of its own: sync the fork, update the submodule
pointer, regenerate the catalogue, and review the resulting API differences. tests/test_tools.py requires every BART command
to be wrapped by hand, generated into bartorch.tools, or listed as
private with a reason in src/bartorch/_coverage.py.
Updating the FINUFFT submodule#
external/finufft is upstream FINUFFT at one commit, unmodified. Moving it is
a change of its own: pick a commit whose upstream CI is green, update the
submodule pointer, record the commit and the reason in the pull request, and
run the suite on every platform; tests/test_finufft.py holds the transform
against explicit discrete Fourier sums and against BART’s gridder. A change
FINUFFT itself needs goes upstream rather than into the checkout.
Tests#
A numerical test compares BART with a reference outside BART: an independent FFT or DFT, an explicit sum, a closed-form signal, a finite difference or an adjoint identity. Comparing two entry points into the same BART implementation establishes nothing about its correctness. Tests are pytest functions whose names state the property tested.
Updating a topic branch#
A topic branch is updated with upstream changes by:
git fetch upstream
git rebase upstream/main
git submodule update --init --recursive
Rebase only a branch whose history is yours to rewrite.