julia
`DebugInfo`: julia-side internal API improvements
#61979
Merged
Overview
Commits
4
Changes
View On GitHub

`DebugInfo`: julia-side internal API improvements #61979

mlechu merged 4 commits into JuliaLang:master from mlechu:debuginfo-no-getdebugidx
mlechu
mlechu mlechu requested a review from topolarity topolarity 26 days ago
mlechu mlechu force pushed from 2c23dcb3 to a09deedd 26 days ago
giordano
mlechu ircode.c: encode/decode debuginfo slightly more efficiently
65df82eb
mlechu `DebugInfo`: julia-side internal API improvements
885e2f12
mlechu move assert
9db6c557
mlechu don't signal update for 0 lines
98bd07e2
mlechu mlechu force pushed from a09deedd to 98bd07e2 25 days ago
topolarity
topolarity approved these changes on 2026-06-04
mlechu mlechu merged 7ae02b1a into master 22 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum