test(equivalence): add Bolt parity oracle#1515
Open
markosg04 wants to merge 2 commits into
Open
Conversation
Contributor
|
Warning This PR has more than 500 changed lines and does not include a spec. Large features and architectural changes benefit from a spec-driven workflow. If this PR is a bug fix, refactor, or doesn't warrant a spec, feel free to ignore this message. |
markosg04
force-pushed
the
jolt-v2/generated-roles
branch
from
48fc12e to
d6c94d8
Compare
markosg04
force-pushed
the
jolt-v2/equivalence
branch
7 times, most recently
from
a15c4e2 to
2e7b896
Compare
markosg04
force-pushed
the
jolt-v2/generated-roles
branch
from
d6c94d8 to
81da3ef
Compare
markosg04
force-pushed
the
jolt-v2/equivalence
branch
8 times, most recently
from
9ee964d to
3fb9bb0
Compare
markosg04
force-pushed
the
jolt-v2/generated-roles
branch
from
81da3ef to
f7c4594
Compare
markosg04
force-pushed
the
jolt-v2/equivalence
branch
from
3fb9bb0 to
d9a7629
Compare
markosg04
force-pushed
the
jolt-v2/generated-roles
branch
2 times, most recently
from
ab4c650 to
f4195b8
Compare
markosg04
force-pushed
the
jolt-v2/equivalence
branch
from
d9a7629 to
7a82aa1
Compare
markosg04
force-pushed
the
jolt-v2/generated-roles
branch
from
f4195b8 to
c7218d8
Compare
markosg04
force-pushed
the
jolt-v2/equivalence
branch
from
7a82aa1 to
656be91
Compare
Add the jolt-equivalence crate for comparing the Bolt-generated path against jolt-core, including generated-role parity, real-data/tamper gates, and perf oracle tests. Wire the crate into the workspace and add focused GitHub workflows plus a local Bolt LLVM/MLIR setup helper. Validation: cargo check -p jolt-equivalence -q attempted, blocked locally by missing llvm-config / MLIR_SYS_220_PREFIX.
markosg04
force-pushed
the
jolt-v2/equivalence
branch
from
656be91 to
42fc687
Compare
This was referenced May 15, 2026
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
1 participant
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.
Add the jolt-equivalence crate for comparing the Bolt-generated path against jolt-core, including generated-role parity, real-data/tamper gates, and perf oracle tests.