Skip to content

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

Open
mdittmer wants to merge 1 commit into
G3ub4smvhm3rbp6d53jhwn3knjeaw7ugnfrom
Gnafivbpqcaatsvsxamgsjcudchscvaae
Open

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

Conversation

@mdittmer

@mdittmer mdittmer commented May 25, 2026

Copy link
Copy Markdown
Collaborator

Latest Update: v37 — Compare vs v36

📚 Full Patch History

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

Version 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v8 v7 v6 v5 v4 v3 v2 v1 Base
v7 v6 v5 v4 v3 v2 v1 Base
v6 v5 v4 v3 v2 v1 Base
v5 v4 v3 v2 v1 Base
v4 v3 v2 v1 Base
v3 v2 v1 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

codecov-commenter commented May 25, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
⚠️ Please upload report for BASE (G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn@8150b83). Learn more about missing BASE report.

Additional details and impacted files
@@                         Coverage Diff                          @@
##             G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn    #3404   +/-   ##
====================================================================
  Coverage                                     ?   91.85%           
====================================================================
  Files                                        ?       20           
  Lines                                        ?     6093           
  Branches                                     ?        0           
====================================================================
  Hits                                         ?     5597           
  Misses                                       ?      496           
  Partials                                     ?        0           

☔ 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.

@mdittmer mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from 5339ec7 to e229a98 Compare May 25, 2026 18:30
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from e8af624 to 1c62cfd Compare May 25, 2026 18:30
@mdittmer mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from e229a98 to 9450f86 Compare May 25, 2026 19:12
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1c62cfd to 43a1ef4 Compare May 25, 2026 19:12
@mdittmer mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch from 9450f86 to fa0696c Compare May 25, 2026 19:34
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from c7bc335 to fafcee4 Compare May 25, 2026 22:48
@mdittmer mdittmer force-pushed the Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu branch 2 times, most recently from 64753f4 to 88f14ff Compare May 27, 2026 18:13
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from fafcee4 to 0cf1bf4 Compare May 27, 2026 18:13
@mdittmer mdittmer changed the base branch from Gzq7escrh5c2qcrgidomnfaxbsi6xn7yu to G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn May 27, 2026 18:13
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 0cf1bf4 to 964666d Compare June 5, 2026 16:02
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 98f4d2f to 10684db Compare June 5, 2026 16:02
@joshlf joshlf force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 10684db to e9b8d91 Compare June 5, 2026 17:07

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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

@joshlf joshlf force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 7a481b3 to c6dfbac Compare June 7, 2026 01:17
@joshlf joshlf force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from ede12ab to 5eee5fc Compare June 7, 2026 01:17

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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

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

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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

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

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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

@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 3b23aff to 59e0def Compare June 15, 2026 17:24
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 4d56913 to 1161668 Compare June 15, 2026 18:19
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 59e0def to 3007ca3 Compare June 15, 2026 18:19
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1161668 to 1b46c55 Compare June 16, 2026 02:01
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 3007ca3 to 0554db7 Compare June 16, 2026 02:01
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch from 1b46c55 to 8cc6e54 Compare June 16, 2026 11:49
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch 2 times, most recently from 0a7d10b to b7d2694 Compare June 16, 2026 14:45
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 99f64a0 to 55e424e Compare June 16, 2026 18:58
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from b7d2694 to 419887f Compare June 16, 2026 18:58
@mdittmer mdittmer force-pushed the G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn branch from 419887f to b986c46 Compare June 16, 2026 19:04
@mdittmer mdittmer force-pushed the Gnafivbpqcaatsvsxamgsjcudchscvaae branch 2 times, most recently from 7159849 to fe676f8 Compare June 17, 2026 13:58
…egration tests

gherrit-pr-id: Gnafivbpqcaatsvsxamgsjcudchscvaae
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.

2 participants