-
Notifications
You must be signed in to change notification settings - Fork 41
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Explore the remainder branch when Booster is uncertain about rewrite rule conditions #3960
Draft
geo2a
wants to merge
73
commits into
master
Choose a base branch
from
georgy/booster-remainders
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Conversation
This file contains 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
…ern + fix unit tests
geo2a
force-pushed
the
georgy/booster-remainders
branch
from
July 7, 2024 14:33
9d065d9
to
391b47c
Compare
geo2a
force-pushed
the
georgy/booster-remainders
branch
from
July 7, 2024 14:55
71ba327
to
ad42fbd
Compare
geo2a
force-pushed
the
georgy/booster-remainders
branch
from
July 24, 2024 08:35
ca12819
to
3b179b2
Compare
With runtimeverification/k#4548, the bug reports will be generated in GNU format of tar files instead of the default POSIX.1-2001 pax format. This is necessary because: - the filenames in the bug reports are often longer than the format-portable restriction of 256 characters - the Haskell [library](https://hackage.haskell.org/package/tar-0.6.3.0) we use to work with tar does not support the pax format. However, it does support the GNU format which also allows long names. With this change, we get to process bug reports with long names.
* Add some context lines to simplification diff * compute request statistics in seconds (and output in seconds in the json format) * Make `process-logs` fail immediately on parse errors, and process lines incrementally (less heap)
KEVM performance at 7bf75ea:
|
geo2a
force-pushed
the
georgy/booster-remainders
branch
from
August 6, 2024 15:29
fcc8ed0
to
a580cfc
Compare
geo2a
added a commit
that referenced
this pull request
Sep 25, 2024
geo2a
added a commit
that referenced
this pull request
Oct 7, 2024
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.
Part of #3956