Repository navigation

fix(auto): stop false-positive generators in effect summarization - #79

Open

MilesCranmerBot wants to merge 11 commits into

MilesCranmer:mainfrom

MilesCranmerBot:pr/auto-fp-generators

Commits on Aug 23, 2026

feat: enable borrow checking on Julia 1.13
MilesCranmerBot
committed
8f248c3
fix: support nightly inference cache lookup API
MilesCranmerBot
committed
7ee14e1
fix: widen local inference cache for nightly entry types
MilesCranmerBot
committed
cb41845
fix: nightly const-prop cache lookup and codeinfo signature
MilesCranmerBot
committed
8eec54e
fix: handle LocalInferenceResult entries and codeinfo location
MilesCranmerBot
committed
8bd401d
fix: override nightly lookup_local_inference_result for vector caches
MilesCranmerBot
committed
c8c1065
fix(auto): register lock functions as transparent effects
MilesCranmerBot
committed
ee44dd5
fix(auto): exempt String and SubString from ownership tracking

MilesCranmerBot
and
MilesCranmer
committed
a80a86b
docs: README reflects 1.13 support
MilesCranmerBot
committed
744c171
fix: gate borrow checker to supported Julia releases

MilesCranmerBot
and
MilesCranmer
committed
8ab6f24
fix(auto): stop false-positive generators; fixed-point summary refinement

MilesCranmerBot
and
MilesCranmer
committed
aabbeb7