Conversation
orizi
force-pushed
the
orizi/09-09-perf_cache_compiled_hint_data_on_the_runner
branch
from
September 9, 2026 08:39
ae48ead to
40fa70f
Compare
orizi
force-pushed
the
orizi/09-09-fix_run_hints_of_each_visited_pc_in_run_for_steps
branch
from
September 9, 2026 08:39
1c7d205 to
0b69496
Compare
|
Benchmark Results for unmodified programs 🚀
|
orizi
force-pushed
the
orizi/09-09-perf_cache_compiled_hint_data_on_the_runner
branch
from
September 9, 2026 09:47
40fa70f to
355ff3f
Compare
orizi
force-pushed
the
orizi/09-09-fix_run_hints_of_each_visited_pc_in_run_for_steps
branch
from
September 9, 2026 09:47
0b69496 to
681c028
Compare
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## orizi/09-09-fix_run_hints_of_each_visited_pc_in_run_for_steps #2393 +/- ##
================================================================================================
Coverage ? 96.23%
================================================================================================
Files ? 107
Lines ? 38018
Branches ? 0
================================================================================================
Hits ? 36585
Misses ? 1433
Partials ? 0 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
orizi
force-pushed
the
orizi/09-09-perf_cache_compiled_hint_data_on_the_runner
branch
from
September 9, 2026 10:06
355ff3f to
952641b
Compare
orizi
force-pushed
the
orizi/09-09-fix_run_hints_of_each_visited_pc_in_run_for_steps
branch
from
September 9, 2026 10:06
681c028 to
258ef43
Compare
get_hint_data compiled every hint in the program on each run call; proof-mode trace padding calls run_for_steps/run_until_next_power_of_2 in a loop, recompiling all hints per padding step. Compile once on first use and reuse across the runner's run calls. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
orizi
force-pushed
the
orizi/09-09-perf_cache_compiled_hint_data_on_the_runner
branch
from
September 9, 2026 10:17
c4904cb to
42afa08
Compare
orizi
force-pushed
the
orizi/09-09-fix_run_hints_of_each_visited_pc_in_run_for_steps
branch
from
September 9, 2026 10:17
258ef43 to
1ebfbb4
Compare
Contributor
Author
|
Closing in favor of a re-filed PR: this PR's cache scope has a stuck cache reservation ( |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
get_hint_datacompiled every hint in the program on each run call; proof-mode trace padding callsrun_for_steps/run_until_next_power_of_2in a loop, recompiling all hints per padding step. Compile once on first use and reuse across the runner's run calls (assumes the same hint processor across a runner's runs).Based on #2392.
🤖 Generated with Claude Code
This change is