Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	automergerpr-permission-manager Aug 29, 2025				Delete branchBranch menu
raoul/update-k Copy branch name to clipboard	Sep 1, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Aug 29, 2025				Delete branchBranch menu
release Copy branch name to clipboard	Aug 29, 2025				Delete branchBranch menu
keccak-no-eval Copy branch name to clipboard	Aug 4, 2025				Delete branchBranch menu
fix-break-on-calls Copy branch name to clipboard	Aug 1, 2025				Delete branchBranch menu
jh/evaluate-summarize Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
test-mint-hooks Copy branch name to clipboard	Jul 16, 2025				Delete branchBranch menu
jh/summarization-evaluation Copy branch name to clipboard	Jul 15, 2025				Delete branchBranch menu
decompose-gst Copy branch name to clipboard	May 13, 2025				Delete branchBranch menu
eip-7685-2 Copy branch name to clipboard	May 12, 2025				Delete branchBranch menu
state-tests Copy branch name to clipboard	Apr 23, 2025				Delete branchBranch menu
stack-check-optim Copy branch name to clipboard	Apr 9, 2025				Delete branchBranch menu
jh/summary-integration Copy branch name to clipboard	Mar 17, 2025				Delete branchBranch menu
jh/compare-normal-summary Copy branch name to clipboard	Mar 12, 2025				Delete branchBranch menu
build-on-mac Copy branch name to clipboard	Mar 10, 2025				Delete branchBranch menu
dependabot/pip/kevm-pyk/jinja2-3.1.6 Copy branch name to clipboard	Mar 7, 2025				Delete branchBranch menu
jb/test-llvm-without-lock Copy branch name to clipboard	Jan 21, 2025				Delete branchBranch menu
petar/manual-k-update Copy branch name to clipboard	Jan 6, 2025				Delete branchBranch menu
petar/ecrec-no-smt-lemmas Copy branch name to clipboard	Dec 27, 2024				Delete branchBranch menu