Shuhei Kadowaki

Follow ups to #54341 (Move nargs/isva to CodeInfo)

1

Follow ups to #54341

optimizer: handle `GlobalRef` based on `assume_bindings_static`

3

Following up #53750. External abstract interpreters with `assume_bindings_static` enabled assume nothrow-ness of defined `GlobalRef`s no matter if they are constant during abstract interpretation. However, post-#53750, the optimizer’s verification switched to...

- moved non-contextual tests into `staged.jl` - moved `@overlay` tests into `core.jl` - test `staged.jl` in an interpreter mode

As an application of JuliaLang/julia#55545, this commit avoids the insertion of `:throw_undef_if_not` nodes when the defined-ness of a slot is guaranteed by abstract interpretation. ```julia julia> function isdefined_nothrow(c, x) local...

inference: invalidate stale slot wrapper types in `ssavaluetypes`

7

When updating a state of local variables from an assignment, all stale slot wrapper types must be invalidated. However, up until now, only those held in the local variable state...

proper termination, take 2

1

This PR is an alternative to JuliaDebug/LoweredCodeUtils.jl#99. This is built on top of JuliaDebug/LoweredCodeUtils.jl#116. With this PR, the following test cases now pass correctly: ```julia # Final block is not...

optimizer: early `finalize` insertion

2

Currently, in the finalizer inlining pass, if not all the code between the finalizer registration and the end of the object’s lifetime (i.e., where the finalizer would be inlined) is...

implement model switching for custom prompts

2

Add support for both permanent and temporary model switching in custom prompts using frontmatter configuration. Users can now specify models using either 'model:' for permanent switches or 'temp-model:' for temporary...

This commit adds plugin settings that allow users to independently enable or disable the enhanced functionality for search view and backlinks view. The changes include: - Add settings interface with...