fix and opt backend and revise netfactory.#96

Merged

yuleisui merged 30 commits into

SVF-tools:mainfrom

guanqin-123:feat/vit-bert-pipeline

Jul 14, 2026

Commits on Jul 9, 2026

fix and opt backend
guanqin-123
committed

Commits on Jul 10, 2026

Commits on Jul 12, 2026

Merge pull request #4 from Kaijie-liu/hybridz-pr7-for-pr96-20260711
guanqin-123
authored
Merge upstream/main: HybridZ sparse ReLU/affine + HiGHS verdict solver
guanqin-123
committed

Commits on Jul 13, 2026

config: derivation-based CLI<->YAML parity check (no hand-coded fields) + inline vnncomp runner
guanqin-123
committed
refactor(config): embed net_factory DSL in backend_config.yaml; drop config_gen_act_net.yaml
guanqin-123
committed
refactor(util): adopt shared rule() banner helper across 20 files (266 sites)
guanqin-123
committed
refactor(verification): single canonical LayerKind<->nn.Module map
guanqin-123
committed
refactor(verifier): hoist shared seed-context setup into _setup_verify_context
guanqin-123
committed
test(tf): guard IntervalTF/HybridzTF registry keyset parity (WS4.2)
guanqin-123
committed
refactor(solver): use SolveStatus constants in gurobi solve_batch (WS3.2a)
guanqin-123
committed
refactor(tf): extract RegistryTF base for shared apply() dispatch skeleton (WS4.1)
guanqin-123
committed
refactor(config): fold TFConfig into HybridZConfig.max_input_dim
guanqin-123
committed
refactor(config): slim bab block — demote rarely-tuned fields to CLI-only
guanqin-123
committed

Commits on Jul 14, 2026