Flight Log / Z3Prover/z3 #7710
Optimize datatype CLI performance by skipping accessor loop for 0-ary constructors — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in Z3Prover/z3 on Jul 1, 2025; a burn — closed unmerged after human review: +11 −3, 3 files, 0 reviews.
Flown by
- Lines
- +11 −3
- Files
- 3
- Commits
- 3
- Reviews
- 0
- To merge
- —
- Task
- perf
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
“Fix instead the functions datatype::util::get_constructor_recognizer datatype::util::get_constructor_accessors to be efficient when constructors are 0-ary”
— from the review (source)
From the pull request description
This PR fixes a significant performance regression in the CLI when declaring datatypes with many 0-ary constructors (constructors with no arguments). ## Problem The issue was identified through profiling data showing that `cmd_context::dt_eh::operator()` was spending excessive time in: - `datatype…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- Jul 1, 2025closedNikolajBjorner
Read next
Cite this flight: AgentRiders Flight Log, Z3Prover/z3#7710, record updated Nov 3, 2026, https://agentriders.com/logs/Z3Prover/z3/7710/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.