What's New
4 New Languages (59 → 63)
- MATLAB — function definitions, usages,
.mfile disambiguation via Linguist heuristics - Lean 4 — theorem/definition extraction, imports
- FORM —
#procedure/#callextraction for symbolic computation scripts - Magma — function/procedure/intrinsic definitions,
loadimports, call graph extraction
Magma Graph Quality Fix
- Fixed
load_statementimport extraction — addedfield('path', ...)to grammar so allloadstatements are captured (previously only the first per file) - Verified call extraction works end-to-end: cross-function CALLS edges, recursive calls, trace_call_path
Import Linker Improvement
passImports()now resolves file-path imports (e.g.load "utils.mag",#include "helpers.h") by tryingfqn.ModuleQN()when the raw path doesn't match — general fix benefiting any language with file-path-based imports
Other Changes
- Unified version management via build-injected ldflags
- Fixed Windows file URI path parsing in watcher
- Statically linked Windows binary to fix missing DLL error
- Fixed binary move command in setup script (#16)