Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Conversation

@msoeken
Copy link
Member

@msoeken msoeken commented Jul 13, 2022

Implements #594

@msoeken msoeken requested a review from tcNickolas July 13, 2022 22:49
Copy link
Contributor

@tcNickolas tcNickolas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I left a couple of small suggestions for API docs formatting, other than that, looks good!

Co-authored-by: Mariia Mykhailova <mamykhai@microsoft.com>
@msoeken
Copy link
Member Author

msoeken commented Jul 15, 2022

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@msoeken
Copy link
Member Author

msoeken commented Jul 17, 2022

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@msoeken msoeken merged commit 131a8e7 into main Jul 18, 2022
@msoeken msoeken deleted the msoeken/fixedpoint-bounds branch July 18, 2022 01:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants