v0.8.3

JET v0.8.3

Diff since v0.8.2

Merged pull requests:

• generalize Union{Missing,Bool}->Any widening to other comparison operators (#545) (@aviatesk)

v0.8.2

JET v0.8.2

Diff since v0.8.1

Closed issues:

• Add a configuration to ignore the case when x == y return missing? (#542)

Merged pull requests:

• JETAnalyzer: ignore x::Any == y::Concrete potentially returning missing within analyze_from_definition (#543) (@aviatesk)

v0.8.1

JET v0.8.1

Diff since v0.8.0

Closed issues:

• JET doesn't find available method? (#539)

Merged pull requests:

• support package module usage from inner modules (#540) (@aviatesk)

v0.8.0

JET v0.8.0

Diff since v0.7.15

Closed issues:

• Bug: "Invalid type argument" for valid type argument (#237)
• JET generates spurious errors when analyzing noninferrable callees (#351)
• UndefKeywordError for keyword arguments (#376)
• JETAnalyzer: false positive errors that can be analyzed to be safe by concrete evaluation (#444)
• False positive: may throw for a function that just want to throw (#477)
• False positive in total function (#482)
• Feature request: Display un-inferrible callchains (#484)
• false positives with Base.@kwdef (#487)
• Possible false positive with sort! (#522)
• main_uuid not defined (#531)

Merged pull requests:

• JETAnalyzer: remove unnecessary function_filter (#506) (@aviatesk)
• OptAnalyzer: make function_filter work on function object directly (#507) (@aviatesk)
• docs: describe more analysis options (#510) (@timholy)
• prefetch JuliaLang/julia#49801 for 1.9 (#514) (@aviatesk)
• minor followup on #510 (#517) (@aviatesk)
• JETAnalyzer: special case MethodErrorReport for [map]reduce_empty (#518) (@aviatesk)
• top-level: optimize virtualprocess a bit (#519) (@aviatesk)
• fix #522, allow concrete-eval for safe reflective methods (#523) (@aviatesk)
• ui: use stacktrace-like view for showing reports (#524) (@aviatesk)
• OptAnalyzer: make sure to get reports from non-"compileable" but "inlineable" frames (#526) (@aviatesk)
• remove more dead code (#527) (@aviatesk)
• JETAnalyzer: enable concrete eval for safe methods (#529) (@aviatesk)
• fix docs (#530) (@aviatesk)
• skip certain error reports in top-level definition analysis (#532) (@aviatesk)
• fix :sound mode analysis for unanalyzed calls (#533) (@aviatesk)
• report_file: force concretization of parameterized type aliases (#534) (@aviatesk)
• remove unnecessary parameterization of ToplevelConfig (#535) (@aviatesk)
• add changelog (#536) (@aviatesk)

v0.7.15

JET v0.7.15

Diff since v0.7.14

Merged pull requests:

• drop the support for 1.8 versions (#504) (@aviatesk)

v0.7.14

JET v0.7.14

Diff since v0.7.13

Merged pull requests:

• add package sanity check (#501) (@aviatesk)
• bump Preferences.jl version for complete fix of #498 (#503) (@aviatesk)

v0.7.13

JET v0.7.13

Diff since v0.7.12

Closed issues:

• JET breaks SnoopCompile (#499)

Merged pull requests:

• remove the hack added in #498 to avoid InitError (#500) (@aviatesk)

v0.7.12

JET v0.7.12

Diff since v0.7.11

Closed issues:

• Optional analyzer keyword argument gone (#494)
• │ ArgumentError: Module JuliaFormatter does not correspond to a loaded package! (#497)

Merged pull requests:

• switch to use PrecompileTools.jl (#496) (@aviatesk)
• virtualprocess: add special handling for Preferences.toml (#498) (@aviatesk)

v0.7.11

JET v0.7.11

Diff since v0.7.10

Closed issues:

• false positive: no matching method found (#486)
• Define @test_package in addition to report_package (#490)

Merged pull requests:

• configure JET_DEV_MODE via Preferences.jl (#488) (@aviatesk)
• rework on the precompilation hack (#489) (@aviatesk)
• use dominator analysis to check if assignment is deterministic or not (#491) (@aviatesk)
• add top-level test entries (#492) (@aviatesk)

v0.7.10

JET v0.7.10

Diff since v0.7.9

Merged pull requests:

• Fix various typos (#485) (@goggle)