v0.5.9

JET v0.5.9

Diff since v0.5.8

v0.5.8

JET v0.5.8

Diff since v0.5.7

Closed issues:

• Cannot run @report_call on Julia 1.8-beta1 (#326)
• crash with julia 1.8 (#332)

v0.5.7

JET v0.5.7

Diff since v0.5.6

Closed issues:

• not compatible with Julia 1.8 dev (#322)
• runtests is broken on latest master (#324)

Merged pull requests:

• update with 1.8 (#325) (@aviatesk)

v0.5.6

JET v0.5.6

Diff since v0.5.5

Merged pull requests:

• rework caching logic (#320) (@aviatesk)

v0.5.5

JET v0.5.5

Diff since v0.5.4

Closed issues:

• Cannot using JET on Julia 1.7: AssertionError: JETInferenveParams() = InferenceParams() (#312)
• false positive in type inference (#313)
• Only the last branch is checked? (#314)
• "about" box: why "scratch"? (#316)

Merged pull requests:

• Add docs on SnoopCompile integration (#315) (@timholy)
• fix "No errors!" message, solidify README (#317) (@aviatesk)
• fix self-check in the latest master (#318) (@aviatesk)

v0.5.4

JET v0.5.4

Diff since v0.5.3

Closed issues:

• "is not defined" assign type parameter with Base.@kwdef (#305)
• for 1 of 2 union split cases, no matching method found for call signatures (#306)
• false negative converting in parameterized function (#307)

Merged pull requests:

• update to [email protected] (#296) (@aviatesk)

v0.5.3

JET v0.5.3

Diff since v0.5.2

Closed issues:

• JET doesn't understand module aliases (?) (#223)
• Access to undefined reference at let keyword (#224)
• Feature request: Constant-fold keyword arguments somehow (#265)
• import PackageName as PN syntax causes AssertionError (#267)
• Zygote sometimes has a weird src.linetable (leading to BoundsError in get_lin) (#273)
• concretization of :foreigncall (#277)
• Toplevel error when checking package Convex (#281)
• Adding println logging to... (#282)
• World age problem (#287)
• JuliaInterpreter version restricted (#290)
• JET selftest (#291)
• Compiler crash when checking CSTParser (#292)
• Classic type-instability is not detected (#293)

Merged pull requests:

• Fix #267 (#276) (@goerch)
• WIP: fix for #277 (#278) (@goerch)
• remove @isexpr hacks (#279) (@aviatesk)
• Work on supporting foreign calls (#280) (@goerch)
• concretize all top-level code when analyzing a package (#283) (@aviatesk)
• report errors within any compileable frames (#288) (@aviatesk)
• power up include handling (#303) (@aviatesk)
• proper program counter incrementation for frames with module usages (#304) (@aviatesk)

v0.5.2

JET v0.5.2

Diff since v0.5.1

Closed issues:

• TypeError when running JET.report_package (#226)
• segfaults when calling report_file on a Module (#238)
• TypeError in JETAnalyzer (#271)
• Program fails to opimize (#274)

Merged pull requests:

• Fix #271 (#272) (@goerch)
• Fix for #273 (#275) (@goerch)

v0.5.1

JET v0.5.1

Diff since v0.5.0

Closed issues:

• Check for compatible Julia version (#263)
• are Ref type stable? (#268)
• @report_opt reports runtime dispatch on abstract keyword arguments (#269)

v0.5.0

JET v0.5.0

Diff since v0.4.6

Closed issues:

• correctly handle cycles (#106)
• false positive error from a type constructor with parameterized vector field (#154)
• Report linting errors using Julia's Logging stdlib... (#171)
• Possible wrong error detection (#184)
• Prevent analysis of Base and stdlib functions? (#219)
• ERROR: TypeError: in new, expected DataType, got Type{Tuple{Vararg{Any, N}} where N} (#222)
• Advice on Core.Box detector (#233)
• ERROR: cannot assign a value to variable Main.Struct from module ##JETVirtualModule#259 (#236)
• Example where getfield does not constant fold in JET (#254)

Merged pull requests:

• VSCode integration (#227) (@aviatesk)
• sort out interfaces (#230) (@aviatesk)
• more sort out interfaces (#231) (@aviatesk)
• Add a "stub" version of JET for installation on old Julia (#234) (@timholy)
• Test standard library integration (#235) (@aviatesk)
• simplify code location queries (#240) (@aviatesk)
• enable toplevel optimization and eliminate some toplevel special casings (#241) (@aviatesk)
• fix GeneratorErrorReport caching (#242) (@aviatesk)
• rework whole caching strategies (#243) (@aviatesk)
• separate core AbstractAnalyzer functionalities from JETAnalyzer analysis (#244) (@aviatesk)
• update to JuliaLang/julia#41328 (#245) (@aviatesk)
• update to JuliaLang/julia#42082 (#246) (@aviatesk)
• add documentation for OptAnalyzer (#247) (@aviatesk)
• fix broken test (#249) (@aviatesk)
• better configuration for OptAnalyzer (#250) (@aviatesk)
• update to JuliaLang/julia#42149 (#251) (@aviatesk)
• JETAnalyzer: don't report errors on abstract frames (#252) (@aviatesk)
• JETAnalyzer{BasicPass}: implement function_filter (#253) (@aviatesk)
• fix #219, add target_modules configurations (#255) (@aviatesk)
• clean up the default report constructor (#256) (@aviatesk)
• JETAnalyzer: add typo detection pass (#257) (@aviatesk)
• abstractinterpret: more correct and exhaustive cache invalidation (#258) (@aviatesk)
• inference/optimization improvements (#259) (@aviatesk)
• add self check tests (#260) (@aviatesk)
• docs: significant documentation powerup (#261) (@aviatesk)
• enable optimization analysis test (#262) (@aviatesk)