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.

Sign up for GitHub

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

Jump to bottom

Annotate conditional compilation for fixed_point so it compiles in all profiles #2156

Merged
merged 5 commits into from
Feb 13, 2025
Merged

Annotate conditional compilation for fixed_point so it compiles in all profiles #2156

merged 5 commits into from
Feb 13, 2025

Conversation

sezna
Copy link
Contributor

@sezna sezna commented Feb 4, 2025 •
edited
Loading

closes #2143

billti and others added 2 commits February 13, 2025 08:38
@billti @swernli
Update library/fixed_point/src/Facts.qs
b9b0af2 
Co-authored-by: Stefan J. Wernli <swernli@microsoft.com>
@billti @swernli
Update library/fixed_point/src/Facts.qs
3f1c438 
Co-authored-by: Stefan J. Wernli <swernli@microsoft.com>
@billti billti enabled auto-merge February 13, 2025 16:39
@billti billti added this pull request to the merge queue Feb 13, 2025
Merged via the queue into main with commit a35d05b Feb 13, 2025
18 checks passed
@billti billti deleted the alex/2143 branch February 13, 2025 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@swernli swernli swernli approved these changes

@minestarks minestarks minestarks approved these changes

@DmitryVasilevsky DmitryVasilevsky Awaiting requested review from DmitryVasilevsky DmitryVasilevsky is a code owner

@idavis idavis Awaiting requested review from idavis

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

FixedPoint library doesn't compile in adaptive
4 participants
@sezna @swernli @minestarks @billti