Skip to content

add program verif constraint (#19843)#19843

Open
JakeStevens wants to merge 3 commits into
pytorch:mainfrom
JakeStevens:export-D106660443
Open

add program verif constraint (#19843)#19843
JakeStevens wants to merge 3 commits into
pytorch:mainfrom
JakeStevens:export-D106660443

Conversation

@JakeStevens
Copy link
Copy Markdown
Contributor

@JakeStevens JakeStevens commented May 28, 2026

Summary:

Mirroring other constraints like number of kernels in table, this diff adds support for disabling program verification via buck constraint

Differential Revision: D106660443

@pytorch-bot
Copy link
Copy Markdown

pytorch-bot Bot commented May 28, 2026

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/19843

Note: Links to docs will display an error until the docs builds have been completed.

❌ 1 New Failure, 1 Pending, 2 Unrelated Failures

As of commit 57f18d8 with merge base 88faab2 (image):

NEW FAILURE - The following job has failed:

BROKEN TRUNK - The following jobs failed but were present on the merge base:

👉 Rebase onto the `viable/strict` branch to avoid these failures

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@meta-cla meta-cla Bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label May 28, 2026
@meta-codesync
Copy link
Copy Markdown
Contributor

meta-codesync Bot commented May 28, 2026

@JakeStevens has exported this pull request. If you are a Meta employee, you can view the originating Diff in D106660443.

@github-actions
Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

Summary:

The current approach use __FILE__ and opportunistically trims it if the utility is available.

However, the long name is still stored in .rodata

This can contribute some memory on embedded platforms.


Instead, first try __FILE_NAME__

Differential Revision: D106587633
Summary:

Mirroring other constraints like number of kernels in table, this diff adds support for disabling program verification via buck constraint

Differential Revision: D106660443
@meta-codesync meta-codesync Bot changed the title add program verif constraint add program verif constraint (#19843) May 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. fb-exported meta-exported

Projects

Status: To triage

Development

Successfully merging this pull request may close these issues.

3 participants