Skip to content

feat(bolt): add Jolt protocol emitter #1513

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.

Sign up for GitHub

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

Open
markosg04 wants to merge 2 commits into
base: jolt-v2/jolt-witness
Choose a base branch
from
Open

feat(bolt): add Jolt protocol emitter #1513

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7dd9cae
feat(bolt): add Jolt protocol emitter
markosg04 May 13, 2026
dbef8b1
ci(bolt): install MLIR dependencies for modular checks
markosg04 May 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 22 additions & 0 deletions .github/workflows/rust.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,16 @@ jobs:
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: clippy
- name: Install LLVM
run: |
wget -qO /tmp/llvm.sh https://apt.llvm.org/llvm.sh
chmod +x /tmp/llvm.sh
sudo /tmp/llvm.sh 22 all
sudo apt-get install -y libmlir-22-dev mlir-22-tools
- name: Configure LLVM
run: |
echo "MLIR_SYS_220_PREFIX=/usr/lib/llvm-22" >> "$GITHUB_ENV"
echo "/usr/lib/llvm-22/bin" >> "$GITHUB_PATH"
- name: cargo clippy --features allocative,host
run: cargo clippy --all --all-targets --features allocative,host
- name: cargo clippy --features allocative,host,zk
Expand Down Expand Up @@ -222,6 +232,18 @@ jobs:
steps:
- uses: actions/checkout@v6
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install LLVM
run: |
wget -qO /tmp/llvm.sh https://apt.llvm.org/llvm.sh
chmod +x /tmp/llvm.sh
sudo /tmp/llvm.sh 22 all
sudo apt-get install -y libmlir-22-dev mlir-22-tools
- name: Configure LLVM
run: |
echo "MLIR_SYS_220_PREFIX=/usr/lib/llvm-22" >> "$GITHUB_ENV"
echo "/usr/lib/llvm-22/bin" >> "$GITHUB_PATH"
- name: Build and install jolt CLI
run: cargo install --path . --locked --force
- name: Install nextest
uses: taiki-e/install-action@nextest
- name: Discover modular crates
Expand Down
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@

*.txt
.DS_Store
.bolt-dev-env

pprof/
# pprof files
Expand Down
14 changes: 14 additions & 0 deletions CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,20 @@ cargo build -p jolt-core -q
cargo install --path . --locked
```

### Local Bolt/MLIR Environment

Before running Bolt MLIR/codegen checks locally, generate and source the Bolt
dev environment:

```bash
scripts/setup-bolt-dev.sh
source .bolt-dev-env
```

Agents should source `.bolt-dev-env` before any Bolt, generated-role, or
Jolt-on-Bolt equivalence command so `llvm-config`, `MLIR_SYS_220_PREFIX`, and
the local `jolt` CLI all resolve consistently.

### Profiling

```bash
Expand Down
Loading