Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: [Adding Specification for the Adaptive Profile] #35

Draft
wants to merge 54 commits into
base: main
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
42382a4
Adding current spec of the adaptive profile
peter-campora Jun 5, 2023
1a39d74
small tweak to writing about measurement function
peter-campora Jun 22, 2023
4f76d73
Adding sign extension in terms of supported instructions
peter-campora Jun 22, 2023
f8f1fa0
Quick cleanup and adding some open questions around measurement repre…
peter-campora Jun 22, 2023
38bfa4f
Starting to add a bit of writing about the opaquememory and opaque po…
peter-campora Jul 12, 2023
8046b7d
Adaptive profile spec changes
peter-campora Jul 20, 2023
63dda76
Cleaning up error message bullets and adding some more writing about …
peter-campora Aug 9, 2023
7dd5d24
Some more cleanup and consistency of bullet reference fixes
peter-campora Aug 9, 2023
83bf592
Fleshing out a few points, especially related to integer support base…
peter-campora Aug 31, 2023
eb38263
Adding page to show hardware provider table support for different opt…
peter-campora Oct 11, 2023
d610692
Various changes based on pull request feedback
peter-campora Oct 11, 2023
eeebb26
Cleaning up writing about the switch instruction, non-constant gate a…
peter-campora Oct 31, 2023
cfcb1b7
Fix issues reported my markdownlint, typos
qartik Nov 1, 2023
0267af8
Fix remaining markdownlint issues, reformat tables
qartik Nov 1, 2023
ba6ca84
Merge pull request #1 from qartik/adaptive-profile
peter-campora Nov 8, 2023
f62877f
generalizing the hardware table for initial draft
peter-campora Nov 8, 2023
5b8cafa
Small typo X=>x in hardware table
peter-campora Nov 8, 2023
6003aa0
Cleaning up the classical data type writing. Additionally, cleaning u…
peter-campora Dec 7, 2023
7538079
Add markdownlint config and resolve existing issues
qartik Mar 5, 2024
8238585
fix: copyediting and markdownlint compliance
qartik Mar 5, 2024
e301126
Merge pull request #2 from qartik/adaptive-profile-copyediting
peter-campora Mar 6, 2024
0b1b1e2
Various writing cleanup fixes and also making sure bullet references …
peter-campora Mar 6, 2024
93597a3
fixing module flags set in example
peter-campora Mar 6, 2024
e6ce6d5
small change to keep swap example consistent
peter-campora Mar 27, 2024
ff5e775
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Mar 27, 2024
6dc2130
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Jun 4, 2024
33da252
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Jun 4, 2024
2499339
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Jun 4, 2024
0808c41
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Jun 4, 2024
a83fd5e
Update specification/under_development/profiles/Adaptive_Profile.md
peter-campora Jun 4, 2024
5c814eb
Initial update based on Bettina's feedback
peter-campora Jun 5, 2024
ee5a3ec
Incorporating feedback based on PR comments
peter-campora Jun 5, 2024
8262bbd
additional tweak to add writing trying to define the minimum bar for …
peter-campora Jun 5, 2024
11db5f7
adding writing about multiple return points being used
peter-campora Jun 5, 2024
0891f36
editing pass #1
Jul 31, 2024
aacb629
forgot to clean up some of the references to module flags
Jul 31, 2024
e7ad9f2
removing use of global constants and bool_record
Jul 31, 2024
81e989e
precision as argument in output recording
Jul 31, 2024
703b8ef
fixedpoint output recording function
Jul 31, 2024
9d26a15
editing pass for classical computations and IR defined functions
Aug 2, 2024
8a461ba
Merge pull request #3 from bettinaheim/adaptive-profile
peter-campora Aug 2, 2024
d78b408
updating providers.md with up to date module flag functions
peter-campora Aug 2, 2024
8ffb3f9
Adding truncation for integers and truncation and extension for floats
peter-campora Aug 2, 2024
c3b03f6
Removing providers table and mention of this table in the spec
peter-campora Aug 2, 2024
5c3e3c3
cleaned up the capabilities sections, minus the backwards branching
bettinaheim Aug 29, 2024
3f82b6f
cleaned up section on program structure and entry point definition
bettinaheim Aug 30, 2024
bd5e461
cleaned up the section on classical instructions
bettinaheim Aug 30, 2024
a247eed
runtime functions
bettinaheim Aug 30, 2024
a95da62
editing done up to the module flags
bettinaheim Aug 30, 2024
d1a7fdc
missing table entry
bettinaheim Aug 30, 2024
917eb8b
updating the loop section to distinguish two kinds of loops
bettinaheim Sep 13, 2024
c06b730
updating the module flag
bettinaheim Sep 13, 2024
f6384f9
Merge pull request #4 from bettinaheim/adaptive-profile
peter-campora Sep 13, 2024
5149679
fixing some module flags examples, making sure the multiple return po…
peter-campora Sep 13, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
# Back End Support for Adaptive Profile

Check warning on line 1 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Headings should be surrounded by blank lines [Expected: 1; Actual: 0; Below] [Context: "# Back End Support for Adaptive Profile"]
The following table contains rows listing of each optional feature in the adaptive profile via [module flags](../Adaptive_Profile.md#module-flags-metadata)

Check warning on line 2 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Line length [Expected: 80; Actual: 155]
as described in the [program structure](../Adaptive_Profile.md##program-structure), and

Check warning on line 3 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Line length [Expected: 80; Actual: 87]
columns with hardware providers using the adaptive profile to indicate whether or not they support each feature via a ✓ or x.

Check warning on line 4 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Line length [Expected: 80; Actual: 125]

| | Quantinuum | Placeholder Backend 1 | Placeholder Backend 2 | Placeholder Backend 3 |
| :-----------------------| :---------------------------------------| :---------------------| :---------------------| :---------------------|
| qubit_resetting | ✓ | ? | ? | ? |
| classical_ints | ✓ (\*constant denominators for div/rem) | ? | ? | ? |
| classical_floats | x | ? | ? | ? |
| classical_fixed_points | x | ? | ? | ? |
| user_functions | x | ? | ? | ? |
| dynamic_float_args | x | ? | ? | ? |
| extern_functions | ✓ (\*via web assembly) | ? | ? | ? |
| backwards_branching | x | ? | ? | ? |

For now, only the Quantinuum support is specified above, but other providers should put in pull requests.

Check warning on line 17 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Line length [Expected: 80; Actual: 105]
When a change to add more functionality is publicly available from a provider or to add a provider's description of support for the adaptive profile,

Check warning on line 18 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Line length [Expected: 80; Actual: 149]
then a pull request should be made by the provider to update the above table.


Check warning on line 21 in specification/under_development/profiles/Adaptive_Hardware/providers.md

View workflow job for this annotation

GitHub Actions / Check spelling, linting and links

Multiple consecutive blank lines [Expected: 1; Actual: 2]
Loading
Loading