Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Apr 8, 2022				Delete branchBranch menu
oopsla20_revision Copy branch name to clipboard	Jul 19, 2025				Delete branchBranch menu
old_master Copy branch name to clipboard	Jul 14, 2025				Delete branchBranch menu
old_oopsla20_artifact Copy branch name to clipboard	Jul 14, 2025				Delete branchBranch menu
zheng/dataset Copy branch name to clipboard	Mar 12, 2023				Delete branchBranch menu
zheng-refactor Copy branch name to clipboard	Feb 20, 2023				Delete branchBranch menu
egraphs-demo Copy branch name to clipboard	Jun 11, 2022				Delete branchBranch menu
zheng_ecta Copy branch name to clipboard	Mar 10, 2022				Delete branchBranch menu
zheng_hktv Copy branch name to clipboard	Feb 14, 2022				Delete branchBranch menu
new_webapp_deploy Copy branch name to clipboard	Feb 17, 2021				Delete branchBranch menu
ziteng_expr_sc Copy branch name to clipboard	Feb 5, 2021				Delete branchBranch menu
ziteng_filter_qc Copy branch name to clipboard	Feb 5, 2021				Delete branchBranch menu
ziteng_upgrade_lts Copy branch name to clipboard	Feb 2, 2021				Delete branchBranch menu
zheng_merge_new_web Copy branch name to clipboard	Dec 2, 2020				Delete branchBranch menu
new_webapp Copy branch name to clipboard	Nov 19, 2020				Delete branchBranch menu
zheng_fix_app_again Copy branch name to clipboard	Oct 23, 2020				Delete branchBranch menu
zheng_fix_app Copy branch name to clipboard	Oct 22, 2020				Delete branchBranch menu
ziteng_oopsla_benchmark Copy branch name to clipboard	Aug 27, 2020				Delete branchBranch menu
zheng_infer_eval Copy branch name to clipboard	Aug 4, 2020				Delete branchBranch menu
zheng_abstract_souffle Copy branch name to clipboard	Aug 3, 2020				Delete branchBranch menu