Skip to content

config: Hide compiler parameter settings from users#834

Open
aviatesk wants to merge 1 commit into
masterfrom
rm-inf-opt-params
Open

config: Hide compiler parameter settings from users#834
aviatesk wants to merge 1 commit into
masterfrom
rm-inf-opt-params

Conversation

@aviatesk

Copy link
Copy Markdown
Owner

Compiler InferenceParams and OptimizationParams keywords are no longer accepted as public JET configurations. Calls such as report_call(...; max_methods=1) and report_opt(...; inlining=false) now fail with JETConfigError instead of mutating compiler internals through the user-facing config surface.

Remove those compiler parameters from GENERAL_CONFIGURATIONS and the documentation. Analyzer constructors now validate the public configuration set before building AnalyzerState, while JETAnalyzer keeps its internal compiler-parameter defaults explicitly.

This is part of the 0.12.0 minor version bump. test_jetanalyzer passed; test_optanalyzer was started but interrupted by the user before completion.

Compiler `InferenceParams` and `OptimizationParams` keywords are no longer accepted as public JET configurations. Calls such as `report_call(...; max_methods=1)` and `report_opt(...; inlining=false)` now fail with `JETConfigError` instead of mutating compiler internals through the user-facing config surface.

Remove those compiler parameters from `GENERAL_CONFIGURATIONS` and the documentation. Analyzer constructors now validate the public configuration set before building `AnalyzerState`, while `JETAnalyzer` keeps its internal compiler-parameter defaults explicitly.

This is part of the `0.12.0` minor version bump. `test_jetanalyzer` passed; `test_optanalyzer` was started but interrupted by the user before completion.

Co-Authored-By: GPT-5.5 <noreply@openai.com>
@codecov

codecov Bot commented Jun 25, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 84.21053% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 84.02%. Comparing base (87e4120) to head (3e3d64b).

Files with missing lines Patch % Lines
src/abstractinterpret/abstractanalyzer.jl 72.72% 3 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #834      +/-   ##
==========================================
- Coverage   84.06%   84.02%   -0.04%     
==========================================
  Files          12       12              
  Lines        3162     3168       +6     
==========================================
+ Hits         2658     2662       +4     
- Misses        504      506       +2     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant