Keno
Follow
Pinned
1,022 contributions in the last year
Activity overview
Contribution activity
May 2023
Created 14 commits in 3 repositories
Created a pull request in JuliaLang/julia that received 3 comments
irinterp: Consider cfg information from discovered errors
If we infer a call to Union{}, we can terminate further abstract interpretation. However, this of course also means that we can make use of that in…
+103
−36
•
3
comments
Opened 13 other pull requests in 3 repositories
JuliaLang/julia
9
merged
- irinterp: Don't try to rekill fall-through terminators
- irinterp: Don't introduce invalid CFGs
- irinterp: Fix accidentally introduced deletion of effectful statement
- Explicitly note that :consistent includes no-ub
-
Tweak
donotdeleteeffects - Thread lattice through tuple_tail_elem
-
widenconstbefore type check in SROA - Extend NamedTuple special case to PartialStruct
- Allow toplevel-ish MethodInstances in va_process_argtypes
CedarEDA/MDMReader.jl
2
merged
SciML/ModelingToolkit.jl
1
merged
1
open
Reviewed 6 pull requests in 3 repositories
JuliaLang/julia
3 pull requests
JuliaDiff/Diffractor.jl
2 pull requests
SciML/ModelingToolkit.jl
1 pull request
Created an issue in fonsp/Pluto.jl that received 4 comments
MethodError: no method matching pretty_stackcall
The attached Pluto notebook with a single cell containing Main.foo spits out the following error:
On worker 3: MethodError: no method matching pret…
4
comments