[anneal][v2] Add charon execution engine, generate command CLI, and integration tests by mdittmer · Pull Request #3404 · google/zerocopy

mdittmer · 2026-05-25T14:16:58Z

Latest Update: v45 — Compare vs v44

📚 Full Patch History

Links show the diff between the row version and the column version.

Version	v44	v43	v42	v41	v40	v39	v38	v37	v36	v35	v34	v33	v32	v31	v30	v29	v28	v27	v26	v25	v24	v23	v22	v21	v20	v19	v18	v17	v16	v15	v14	v13	v12	v11	v10	v9	v8	v7	v6	v5	v4	v3	v2	v1	Base
v45	v44	v43	v42	v41	v40	v39	v38	v37	v36	v35	v34	v33	v32	v31	v30	v29	v28	v27	v26	v25	v24	v23	v22	v21	v20	v19	v18	v17	v16	v15	v14	v13	v12	v11	v10	v9	v8	v7	v6	v5	v4	v3	v2	v1	Base
v44		v43																																											Base
v43			v42																																										Base
v42				v41																																									Base
v41					v40																																								Base
v40						v39																																							Base
v39							v38																																						Base
v38								v37																																					Base
v37									v36																																				Base
v36										v35																																			Base
v35											v34																																		Base
v34												v33																																	Base
v33													v32																																Base
v32														v31																															Base
v31															v30																														Base
v30																v29																													Base
v29																	v28																												Base
v28																		v27																											Base
v27																			v26																										Base
v26																				v25																									Base
v25																					v24																								Base
v24																						v23																							Base
v23																							v22																						Base
v22																								v21																					Base
v21																									v20																				Base
v20																										v19																			Base
v19																											v18																		Base
v18																												v17																	Base
v17																													v16																Base
v16																														v15															Base
v15																															v14														Base
v14																																v13													Base
v13																																	v12												Base
v12																																		v11											Base
v11																																			v10										Base
v10																																				v9									Base
v9																																					v8								Base
v8																																						v7							Base
v7																																							v6						Base
v6																																								v5					Base
v5																																									v4				Base
v4																																										v3			Base
v3																																											v2		Base
v2																																												v1	Base
v1																																													Base

⬇️ Download this PR

Branch

git fetch origin refs/heads/Gnafivbpqcaatsvsxamgsjcudchscvaae && git checkout -b pr-Gnafivbpqcaatsvsxamgsjcudchscvaae FETCH_HEAD

Checkout

git fetch origin refs/heads/Gnafivbpqcaatsvsxamgsjcudchscvaae && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/Gnafivbpqcaatsvsxamgsjcudchscvaae && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/Gnafivbpqcaatsvsxamgsjcudchscvaae

Stacked PRs enabled by GHerrit.

codecov-commenter · 2026-05-25T14:19:37Z

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (d3046c4) to head (e515287).

Additional details and impacted files

@@                        Coverage Diff                         @@
##           G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn    #3404   +/-   ##
==================================================================
  Coverage                              91.85%   91.85%           
==================================================================
  Files                                     20       20           
  Lines                                   6093     6093           
==================================================================
  Hits                                    5597     5597           
  Misses                                   496      496

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

github-actions

🤖 Optimistically Approved: Changes appear scoped. Final strict verification will occur in the Merge Queue.

github-actions

🤖 Optimistically Approved: Changes appear scoped. Final strict verification will occur in the Merge Queue.

…ntegration tests gherrit-pr-id: Gnafivbpqcaatsvsxamgsjcudchscvaae

mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from 5339ec7 to e229a98 Compare May 25, 2026 18:30

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from e8af624 to 1c62cfd Compare May 25, 2026 18:30

mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from e229a98 to 9450f86 Compare May 25, 2026 19:12

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1c62cfd to 43a1ef4 Compare May 25, 2026 19:12

mdittmer mentioned this pull request May 25, 2026

SQUASH ME into toml_cost dep #3413

Closed

mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from 9450f86 to fa0696c Compare May 25, 2026 19:34

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from c7bc335 to fafcee4 Compare May 25, 2026 22:48

mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch 2 times, most recently from 64753f4 to 88f14ff Compare May 27, 2026 18:13

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from fafcee4 to 0cf1bf4 Compare May 27, 2026 18:13

mdittmer changed the base branch from Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu to G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn May 27, 2026 18:13

mdittmer mentioned this pull request May 27, 2026

[anneal][v2] Add pinned charon_lib dependency #3418

Open

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 0cf1bf4 to 964666d Compare June 5, 2026 16:02

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 98f4d2f to 10684db Compare June 5, 2026 16:02

This was referenced Jun 5, 2026

[anneal][v2][exocrate] Add install fixup hook #3436

Open

[anneal] Move setup and CI onto Nix archive #3437

Closed

joshlf force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 10684db to e9b8d91 Compare June 5, 2026 17:07

joshlf mentioned this pull request Jun 7, 2026

[anneal][release] Upload toolchain archives before publishing release #3445

Merged

joshlf force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from c6dfbac to 097ab45 Compare June 7, 2026 01:56

github-actions Bot approved these changes Jun 7, 2026

View reviewed changes

joshlf force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 097ab45 to 991f380 Compare June 7, 2026 01:57

joshlf force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from b45b03b to 3b23aff Compare June 7, 2026 01:57

github-actions Bot approved these changes Jun 7, 2026

View reviewed changes

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 3b23aff to 59e0def Compare June 15, 2026 17:24

This was referenced Jun 15, 2026

[anneal] Remove v1 Lake cache symlinks #3450

Merged

[anneal] Check archive Lake cache reuse in tests #3453

Merged

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 4d56913 to 1161668 Compare June 15, 2026 18:19

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 59e0def to 3007ca3 Compare June 15, 2026 18:19

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1161668 to 1b46c55 Compare June 16, 2026 02:01

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 3007ca3 to 0554db7 Compare June 16, 2026 02:01

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1b46c55 to 8cc6e54 Compare June 16, 2026 11:49

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch 2 times, most recently from 0a7d10b to b7d2694 Compare June 16, 2026 14:45

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 99f64a0 to 55e424e Compare June 16, 2026 18:58

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from b7d2694 to 419887f Compare June 16, 2026 18:58

mdittmer mentioned this pull request Jun 16, 2026

[anneal][v2] Include Cargo in exocrate Rust toolchain #3463

Open

mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 419887f to b986c46 Compare June 16, 2026 19:04

mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 7159849 to fe676f8 Compare June 17, 2026 13:58

joshlf requested changes Jun 29, 2026

View reviewed changes

Comment thread anneal/v2/src/charon.rs Outdated

Comment thread anneal/v2/src/charon.rs Outdated

Comment thread anneal/v2/src/charon.rs Outdated

Comment thread anneal/v2/src/charon.rs

joshlf requested changes Jun 29, 2026

View reviewed changes

Comment thread anneal/v2/src/main.rs

Comment thread anneal/v2/src/main.rs Outdated

Comment thread anneal/v2/src/main.rs

Comment thread anneal/v2/src/main.rs

Comment thread anneal/v2/src/main.rs Outdated

Comment thread anneal/v2/src/main.rs Outdated

[anneal][v2] Add charon execution engine, generate command CLI, and i…

e515287

…ntegration tests gherrit-pr-id: Gnafivbpqcaatsvsxamgsjcudchscvaae

This was referenced Jul 13, 2026

[anneal][v2] Compile merged util module at stack base #3474

Open

[anneal] Prime Lake traces in one server traversal #3485

Open

[anneal] Audit cached Lean artifacts against clean builds #3486

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

[anneal][v2] Add charon execution engine, generate command CLI, and integration tests#3404

[anneal][v2] Add charon execution engine, generate command CLI, and integration tests#3404
mdittmer wants to merge 1 commit into
G3ub4smvhm3rbp6d53jhwn3knjeaw7ugnfrom
Gnafivbpqcaatsvsxamgsjcudchscvaae

mdittmer commented May 25, 2026 •

edited

Loading

Uh oh!

codecov-commenter commented May 25, 2026 •

edited

Loading

Uh oh!

github-actions Bot left a comment

Uh oh!

github-actions Bot left a comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Uh oh!

Conversation

mdittmer commented May 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

codecov-commenter commented May 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

github-actions Bot left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

mdittmer commented May 25, 2026 •

edited

Loading

codecov-commenter commented May 25, 2026 •

edited

Loading