Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
tmccarthy/foldable-tests-typo Copy branch name to clipboard	Aug 28, 2020				Delete branchBranch menu
tmccarthy/group-instance-for-map Copy branch name to clipboard	Sep 22, 2020				Delete branchBranch menu
add-invariant-numeric Copy branch name to clipboard	Feb 7, 2021				Delete branchBranch menu
invariant-for-fractional Copy branch name to clipboard	Feb 25, 2021				Delete branchBranch menu
fractional-invariant Copy branch name to clipboard	Nov 1, 2021				Delete branchBranch menu
minifloat Copy branch name to clipboard	May 26, 2022				Delete branchBranch menu
main Copy branch name to clipboard	May 28, 2022				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions May 28, 2022				Delete branchBranch menu
tmccarthy/use-fractional-miniint Copy branch name to clipboard	Jun 5, 2022				Delete branchBranch menu