Feat/wasm clean - #53

Merged

GuilhermeBn198 merged 17 commits into

feat/wasm-clean

Aug 12, 2026

Commits on Jul 17, 2026

chore: remove paper artifacts (moved to separate repository)
GuilhermeBn198
committed
256d77a
feat(wasm): add root-level WASM test scripts
GuilhermeBn198
committed
5e4559d
docs: add example programs with README reference
GuilhermeBn198
committed
bda6b3d
chore: remove redundant root-level WASM test scripts
GuilhermeBn198
committed
0cf6827
docs: add CASTLE-Benchmark integration design spec
GuilhermeBn198
committed
56e4ae6
docs: add CASTLE-Benchmark integration implementation plan
GuilhermeBn198
committed
f0d1412
chore: add CASTLE-Benchmark git submodule
GuilhermeBn198
committed
92683cb
test: add CASTLE regression tests (5 micro-benchmarks)
GuilhermeBn198
committed
72aacc3
ci: add CASTLE regression job
GuilhermeBn198
committed
b1f5855
feat(castle): add evaluation script for all 250 CASTLE benchmarks
GuilhermeBn198
committed
69398ab
fix(castle): add line-match classification and edge case guards
GuilhermeBn198
committed
6404064
fix(castle): replace bc with python3 for elapsed time calculation
GuilhermeBn198
committed
5e1d5ba
feat(castle): add BenchExec YML/SET/XML infrastructure for CASTLE C250
GuilhermeBn198
committed
55da626

Commits on Jul 19, 2026

Commits on Aug 12, 2026