Releases: aviatesk/JET.jl
Releases · aviatesk/JET.jl
v0.9.12
v0.9.11
JET v0.9.11
Closed issues:
v0.9.10
JET v0.9.10
Merged pull requests:
- Bump codecov/codecov-action from 1 to 4 (#657) (@dependabot[bot])
- Bump dawidd6/action-download-artifact from 2 to 6 (#658) (@dependabot[bot])
- Bump actions/upload-artifact from 2 to 4 (#659) (@dependabot[bot])
- Bump actions/checkout from 2 to 4 (#660) (@dependabot[bot])
- Bump peter-evans/find-comment from 1 to 3 (#661) (@dependabot[bot])
- use the CFG selection algorithm implememted in LCU v3.0.2 (#662) (@aviatesk)
- Bump peter-evans/create-or-update-comment from 1 to 4 (#663) (@dependabot[bot])
- fix docs build failure (#664) (@aviatesk)
Closed issues:
- OpaqueClosures (#666)
v0.9.9
JET v0.9.9
Merged pull requests:
- Add missing reference material on report-splitting (#652) (@timholy)
- mv the reference material added in #652 to the
Analysis Result
section (#653) (@aviatesk) - implement a better statement selection logic (#654) (@aviatesk)
- require JuliaInterpreter v0.9.36 (#655) (@aviatesk)
- enable dependabot (#656) (@aviatesk)
v0.9.8
v0.9.7
JET v0.9.7
Merged pull requests:
Closed issues:
- JET doesn't find errors when run in the tests (#646)
v0.9.6
v0.9.5
v0.9.4
v0.9.3
JET v0.9.3
Merged pull requests:
- create badge (#635) (@MilesCranmer)
- virtualprocess: support
public
keyword (#637) (@aviatesk)
Closed issues: