Skip to content

feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n - #213

Merged
shigoel merged 11 commits into
mainfrom
snorkel-heartbeats
Oct 8, 2024
Merged

shigoel merged 11 commits into
mainfrom
snorkel-heartbeats

Conversation

@alexkeizer

@alexkeizer alexkeizer commented Oct 3, 2024 •

Copy link
Copy Markdown
Collaborator

Description:

Stacked on:

This PR implements "snorkeling" of the heartbeat budget.

This unfortunately does not buy us much, as aggregation for 500 steps already seems to hit both the recursion limit and heartbeat budget, by itself.

Testing:

What tests have been run? Did make all succeed for your changes? Was
conformance testing successful on an Aarch64 machine? Yes

License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.

@alexkeizer alexkeizer changed the title WIP: feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n. WIP: feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n Oct 3, 2024
@alexkeizer alexkeizer changed the title WIP: feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n Oct 3, 2024
@alexkeizer
alexkeizer changed the base branch from main to better-tracing October 8, 2024 15:54
…step in `sym_n`.

This unfortunately does not buy us much, as aggregation for 500 already seems to hit both the recursion limit and heartbeat budget, by itself.
Comment thread Tactics/Sym.lean Outdated
Base automatically changed from better-tracing to main October 8, 2024 19:31
@shigoel
shigoel marked this pull request as ready for review October 8, 2024 19:33
@shigoel
shigoel merged commit 139c089 into main Oct 8, 2024
@shigoel
shigoel deleted the snorkel-heartbeats branch October 8, 2024 19:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants