Repository navigation

Improve TAC fidelity and clean decompiler evaluation - #135

Open

agorevski wants to merge 5 commits into

mainfrom

copilot/decompiler-methodology-e91ee36

Open

Improve TAC fidelity and clean decompiler evaluation#135
agorevski wants to merge 5 commits into
mainfrom
copilot/decompiler-methodology-e91ee36

Commits on Sep 24, 2026
- Improve TAC fidelity and decompiler evaluation methodology
  
  agorevski
  and
  Copilot
  committed
  e91ee36
- Align training export with function-local inference TAC
  
  agorevski
  and
  Copilot
  committed
  d2597ac
- Merge main decompiler semantics with TAC fidelity work
  
  agorevski
  and
  Copilot
  committed
  47886bb
- Run compiler TAC benchmark with pinned solc in CI
  
  agorevski
  and
  Copilot
  committed
  6f68c4c
- Keep CI gate smoke fail-closed on missing bytecode evidence
  
  agorevski
  and
  Copilot
  committed
  29128c6