feat/wasm-clean: clean WASM branch + CASTLE regression pipeline#52
Merged
Conversation
Remove SBSeg 2026 paper files, planning documents, and OpenCode skill that are now maintained in a dedicated paper repository.
- test_wasm_lifter.sh: validates the wasm2c lifting frontend - test_wasm_pipeline.sh: end-to-end pipeline test from .wasm to verdict
Add examples/use-after-free/ with sample code and explanation, referenced from the main README.
These scripts are superseded by tests/integration/test_wasm_pipeline.sh and tests/integration/test_wasm_entrypoint.sh which are the versions actually exercised by the CI e2e-wasm job.
GuilhermeBn198
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Branch limpa (
feat/wasm-clean) a partir dedevelopque remove todos os artefatos do paper SBSeg 2026 do repositório, mantendo o código WASM intacto. O paper foi migrado para um repositório separado e não deve mais residir no repo da ferramenta.Commits
256d77a5e4559dtest_wasm_lifter.sh+test_wasm_pipeline.shbda6b3dexamples/use-after-free/com código de exemplo e READMEO que foi removido
docs/paper-sbseg-2026/(artigo LaTeX, figuras TikZ, sections, references, outlines).opencode/skills/map2check-sbseg2026/(skill OpenCode do paper)sbseg_plan.md(plano de submissão SBSeg)O que foi preservado
wasm_lifter.{hpp,cpp})WasmRuntimeStubs.c)--wasmType of change
How Has This Been Tested?
origin/develop(HEAD do CI verde)git diff --stat origin/developconfirma apenas remoções de paper + adições WASMmodules/) foi alterado — apenas removidos artefatos de documentaçãoexamples/etest_wasm_*.shsão novos no develop, já testados no branch anteriorChecklist: