Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Sep 12, 2025				Delete branchBranch menu
fix-satisfaction-checking Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
finalize-experiments Copy branch name to clipboard	Jun 27, 2025				Delete branchBranch menu
use-closures-for-constraints Copy branch name to clipboard	Jun 12, 2025				Delete branchBranch menu
index-map-refactors Copy branch name to clipboard	May 31, 2025				Delete branchBranch menu
switch-to-index-map Copy branch name to clipboard	May 24, 2025				Delete branchBranch menu
revert-401-optimize-finalize Copy branch name to clipboard	May 7, 2025				Delete branchBranch menu
optimize-finalize Copy branch name to clipboard	May 7, 2025				Delete branchBranch menu
always-compactify Copy branch name to clipboard	Apr 17, 2025				Delete branchBranch menu
use-index-map Copy branch name to clipboard	Apr 17, 2025				Delete branchBranch menu
btreemap-to-vec Copy branch name to clipboard	Apr 15, 2025				Delete branchBranch menu
fix-which-is-unsatisfied Copy branch name to clipboard	Mar 18, 2025				Delete branchBranch menu
patch-outline Copy branch name to clipboard	Mar 18, 2025				Delete branchBranch menu
release-0.5.0 Copy branch name to clipboard	Feb 1, 2025				Delete branchBranch menu
releases Copy branch name to clipboard	Jan 17, 2023				Delete branchBranch menu
relations Copy branch name to clipboard	May 19, 2021				Delete branchBranch menu
changelog Copy branch name to clipboard	Dec 25, 2020				Delete branchBranch menu
intern-coeffs Copy branch name to clipboard	Dec 16, 2020				Delete branchBranch menu
remove-hash Copy branch name to clipboard	Sep 26, 2020				Delete branchBranch menu
better-r1cs-docs Copy branch name to clipboard	Sep 17, 2020				Delete branchBranch menu