From bf3e90ef127d067700667d2b303371d2d4dadc32 Mon Sep 17 00:00:00 2001 From: Bettina Heim Date: Wed, 19 Oct 2022 06:36:43 -0700 Subject: [PATCH] listing unbounded loops and recursions as out of scope --- workstreams/Adaptive_Profile_Workstream.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/workstreams/Adaptive_Profile_Workstream.md b/workstreams/Adaptive_Profile_Workstream.md index c38f0ff..01e666f 100644 --- a/workstreams/Adaptive_Profile_Workstream.md +++ b/workstreams/Adaptive_Profile_Workstream.md @@ -96,9 +96,12 @@ the Base Profile: to globally declared LLVM functions that may be called as part of program execution. -- Support for floating point data types:
+- Computations involving floating point data types:
... (constants are ok, but cannot be assigned to local variable) +- Unbounded loops or recursions:
+ ... (program need to be know to terminate) + - Dynamic qubit allocations and access:
Within the Base Profile, all qubit uses refer directly to a unique qubit id (requires an update of the full specification as part of this workstream).