Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
implications-first-batch Copy branch name to clipboard	Sep 28, 2024				Delete branchBranch menu
eye-candy Copy branch name to clipboard	Sep 28, 2024				Delete branchBranch menu
fix-readme-links Copy branch name to clipboard	Sep 29, 2024				Delete branchBranch menu
delete-transitive-reduction-exact Copy branch name to clipboard	Sep 29, 2024				Delete branchBranch menu
fix-transitive-reduction-scc-bug Copy branch name to clipboard	Sep 29, 2024				Delete branchBranch menu
generate-graphiv-graph Copy branch name to clipboard	Oct 1, 2024				Delete branchBranch menu
more-bruteforced-implications Copy branch name to clipboard	Oct 1, 2024				Delete branchBranch menu
equation-search Copy branch name to clipboard	Oct 1, 2024				Delete branchBranch menu
equation1 Copy branch name to clipboard	Oct 2, 2024				Delete branchBranch menu
graphviz-script-update Copy branch name to clipboard	Oct 2, 2024				Delete branchBranch menu
graphviz-updates-and-new-graphs Copy branch name to clipboard	Oct 3, 2024				Delete branchBranch menu
equation-search2 Copy branch name to clipboard	Oct 3, 2024				Delete branchBranch menu
bb Copy branch name to clipboard	Oct 3, 2024				Delete branchBranch menu
contributions Copy branch name to clipboard	Oct 3, 2024				Delete branchBranch menu
fix-magmaegg-change Copy branch name to clipboard	Oct 4, 2024				Delete branchBranch menu
clean-up2 Copy branch name to clipboard	Oct 5, 2024				Delete branchBranch menu
new-subgraph-visualization Copy branch name to clipboard	Oct 6, 2024				Delete branchBranch menu
graphiti Copy branch name to clipboard	Oct 7, 2024				Delete branchBranch menu
graphiti2 Copy branch name to clipboard	Oct 7, 2024				Delete branchBranch menu
graphiti3 Copy branch name to clipboard	Oct 7, 2024				Delete branchBranch menu