Alan-Jowett / ubpf
79%
master: 92%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 137
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 79.175% (-0.6%) from 79.789%
27513360109

push

github

web-flow 
Add isolated safe execution profile (#793)

* Add isolated safe execution profile

Keep the safe-profile interpreter implementation in its own translation unit, add the supporting API and validation coverage, and preserve legacy execution as the default path.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Add safe interpreter parity harness

Wire safe-profile selection through the interpreter and conformance harnesses, record the resulting parity coverage, and relax safe stack pointer arithmetic to support standard frame-relative access patterns.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Add safe interpreter CTest coverage

Generate per-file safe-interpreter CTest cases alongside the legacy interpreter matrix so CI exercises both profiles through the conformance/plugin corpus.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address PR review findings

Fix safe-profile region windowing and validation edge cases, correct the plugin safe-stack allocation path, and add negative tests for reserved safe-region/helper IDs.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Document safe execution profile

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Handle remaining PR review feedback

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address remaining PR review issues

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

1147 of 1528 new or added lines in 9 files covered. (75.07%)

2 existing lines in 2 files now uncovered.

7756 of 9796 relevant lines covered (79.18%)

601490.28 hits per line

Relevant lines Covered
9796 RELEVANT LINES 7756 COVERED LINES
601490.28 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
27513360109 main Add isolated safe execution profile (#793) * Add isolated safe execution profile Keep the safe-profile interpreter implementation in its own translation unit, add the supporting API and validation coverage, and preserve legacy execution as the d... push web-flow github
79.18
27480250105 main Add isolated safe execution profile (#793) * Add isolated safe execution profile Keep the safe-profile interpreter implementation in its own translation unit, add the supporting API and validation coverage, and preserve legacy execution as the d... push web-flow github
79.18
27450142346 main Add isolated safe execution profile (#793) * Add isolated safe execution profile Keep the safe-profile interpreter implementation in its own translation unit, add the supporting API and validation coverage, and preserve legacy execution as the d... push web-flow github
79.18
27446968015 safe-profile-isolation Merge 0884cd961 into 9819c5e3c Pull #178 web-flow github
79.25
27446212425 main Refresh bootstrap spec baseline (#792) * Refresh bootstrap spec baseline Refresh the canonical requirements, design, validation, ISA reconciliation, and audit artifacts to match the current repository evidence and RFC 9669 alignment. Co-authore... push web-flow github
79.79
27444426454 safe-profile-isolation Merge d12bb87ef into 9819c5e3c Pull #178 web-flow github
79.3
27443577608 safe-profile-isolation Merge 50f09649d into 9819c5e3c Pull #178 web-flow github
74.09
27441098704 safe-profile-isolation Merge 996c6bd05 into 9819c5e3c Pull #178 web-flow github
75.04
27436639318 main Refresh bootstrap spec baseline (#792) * Refresh bootstrap spec baseline Refresh the canonical requirements, design, validation, ISA reconciliation, and audit artifacts to match the current repository evidence and RFC 9669 alignment. Co-authore... push web-flow github
79.79
27434223046 main Add PromptKit generated GHCP CLI skill files for spec driven development (#791) Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> Co-authored-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
79.79
See All Builds (1985)