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

Doxygen updates from develop #76

Merged
merged 17 commits into from
Nov 22, 2024
Merged

Doxygen updates from develop #76

merged 17 commits into from
Nov 22, 2024

Conversation

Matthew-Whitlock
Copy link
Collaborator

@Matthew-Whitlock Matthew-Whitlock commented Nov 22, 2024

No description provided.

Matthew-Whitlock and others added 17 commits September 26, 2024 10:20
Add a recovery callback to destroy partially-recovered members
when interrupted by failure

Fix the case of one rank finishing a store where its partner
fails, followed by a commit on the succesfull rank. Now come to
a consensus on timestamps on group reinitialization.
…lize

More thought can be put in to this (e.g. if a rank has failed, but all remaining
ranks reach finalize, could we just finalize anyway?)
Possible when a rank fails after reaching finalize if the remaining ranks
inconsistently succeed/fail on the barrier finishing.
Documentation

Organize, setup versioned docs

Deploy docs to Github pages

Update doxygen header

Use Doxygen 1.12.0 for github pages builds

Improved Process Recovery docs writeup

'make doc' -> 'make docs'
Add documentation to GH pages
Remove doxygen branch docs, logging fixes
@Matthew-Whitlock Matthew-Whitlock merged commit 564ca64 into master Nov 22, 2024
4 checks passed
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

Successfully merging this pull request may close these issues.

1 participant