Update Adaptive_Profile_Workstream.md (#23)

Bullet point added to Open Questions about aligning to static analysis.
qir-alliance · Nov 9, 2022 · f9a7569 · f9a7569
1 parent bf3e90e
commit f9a7569
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/workstreams/Adaptive_Profile_Workstream.md b/workstreams/Adaptive_Profile_Workstream.md
@@ -144,3 +144,4 @@ decisions should be captured in an appropriate part of the specification:
 - command line parameters ...
 - definition and use of local variables (storing or processing classical values) ...
 - restrictions for control flow statements ...
+- Since we ask for validation, we might investigate what properties can be checked by existing static analysis tools, so to make "reasonable" more precise.