Skip to content

feat(aot): profiling and optimized preflight + fulltracer aot - #1393

Draft
hero78119 wants to merge 12 commits into
masterfrom
feat/extract_aot_bb_workload
Draft

feat(aot): profiling and optimized preflight + fulltracer aot #1393
hero78119 wants to merge 12 commits into
masterfrom
feat/extract_aot_bb_workload

Conversation

@hero78119

Copy link
Copy Markdown
Collaborator

Problem

Design Rationale

Change Highlights

Benchmark / Performance Impact

Operation

Operation master (s) this PR (s) Improve (master -> this PR)

Layer

Layer master (s) this PR (s) Improve (master -> this PR)

Benchmark command(s):

# paste exact command(s)

Environment (CPU/GPU, core count, rust toolchain, commit hash):

raw data:

  • master:
  • this PR:

Testing

# paste exact command(s), for example:
# cargo fmt --all --check
# cargo make clippy
# cargo make tests

Risks and Rollout

Follow-ups (optional)

Copilot Reviewer Directive (keep this section)

When Copilot reviews this PR, apply .github/copilot-instructions.md strictly.

hero78119 added 10 commits July 27, 2026 13:26
Train dynamic roots across the complete preflight workload and persist ABI-keyed native artifacts with checksum validation and atomic replacement. Track fallback reasons and recover safely through dynamic control flow and guarded memory accesses.
…t_aot_bb_workload

# Conflicts:
#	ceno_emul/src/aot.rs
#	ceno_zkvm/src/e2e.rs
@hero78119
hero78119 marked this pull request as draft July 30, 2026 15:11
@hero78119 hero78119 changed the title Feat/extract aot bb workload feat(aot): profiling and optimized preflight + fulltracer aot Jul 30, 2026
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.

1 participant