refactor(back_end): retire 13 uncollected self-tests behind two CI gates - #113

Merged

yuleisui merged 11 commits into

SVF-tools:mainfrom

guanqin-123:TensorCE

Aug 31, 2026

Commits on Aug 28, 2026

refactor(back_end): retire 13 uncollected self-tests behind two CI gates
guanqin-123
committed
ffd93ab
refactor(back_end): retire the cons_exportor and verifier self-tests
guanqin-123
committed
09dce75
ci(pipeline): cover hybridz ViT verification
guanqin-123
committed
14f0e12
merge: upstream/main (hybridz attention propagation)
guanqin-123
committed
1ccc5a7
feat(back_end): generate an attention net for dual coverage
guanqin-123
committed
b3d3d9d
fix(back_end): commit generated attention fixture
guanqin-123
committed
c56b7e4
ci(back_end): drop the solve-path exception lint
guanqin-123
committed
2567418
fix(back_end): degenerate dot-product guard dropped the perturbation
guanqin-123
committed
83ce9d6

Commits on Aug 31, 2026