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

Initial fp support #23

Merged
merged 1 commit into from
Sep 9, 2022
Merged

Initial fp support #23

merged 1 commit into from
Sep 9, 2022

Conversation

CaelmBleidd
Copy link
Member

No description provided.

@CaelmBleidd CaelmBleidd force-pushed the caelmbledd/initial-fp-support branch 2 times, most recently from 8aff49e to 56d85d3 Compare September 1, 2022 15:39
@CaelmBleidd CaelmBleidd requested a review from Saloed September 1, 2022 15:40
@CaelmBleidd
Copy link
Member Author

CaelmBleidd commented Sep 1, 2022 •
edited
Loading

There is still a lot of work to do, but I've decided to create a task for it and move on since these features are not critical for UTBot support

@CaelmBleidd CaelmBleidd force-pushed the caelmbledd/initial-fp-support branch from a2926a3 to e954b34 Compare September 2, 2022 12:37
@CaelmBleidd
Copy link
Member Author

For now, I added TODO in many places since these problems don't affect integration into UTBot. I'll create an issue with a list of such sites to make sure we won't forget about them later

@CaelmBleidd CaelmBleidd requested a review from Saloed September 2, 2022 12:39
@CaelmBleidd CaelmBleidd changed the title [DRAFT] initial fp support Initial fp support Sep 2, 2022
@CaelmBleidd CaelmBleidd force-pushed the caelmbledd/initial-fp-support branch from e954b34 to a562b1f Compare September 5, 2022 07:55
@CaelmBleidd
Copy link
Member Author

Added an issue about further work #24

@CaelmBleidd CaelmBleidd force-pushed the caelmbledd/initial-fp-support branch from a562b1f to 78c3f2e Compare September 9, 2022 17:00
@CaelmBleidd CaelmBleidd force-pushed the caelmbledd/initial-fp-support branch from 78c3f2e to ec872b4 Compare September 9, 2022 17:01
@CaelmBleidd CaelmBleidd merged commit 78bacd8 into design-draft Sep 9, 2022
@CaelmBleidd CaelmBleidd deleted the caelmbledd/initial-fp-support branch September 9, 2022 17:12
@CaelmBleidd CaelmBleidd mentioned this pull request Sep 9, 2022
Merged
Saloed pushed a commit that referenced this pull request Sep 14, 2022
@CaelmBleidd @Saloed
Fp support ( #23, #25 )
1e233bb 
fp converter in z3, fp tests and fixes

Partially add KFpRoundingMode back

Transform KFpRoundingModeExpr into enum

Code style fixes

Basic fp operations

Initial fp support
Saloed pushed a commit that referenced this pull request Sep 16, 2022
@CaelmBleidd @Saloed
Fp support ( #23, #25 )
de31bf7 
fp converter in z3, fp tests and fixes

Partially add KFpRoundingMode back

Transform KFpRoundingModeExpr into enum

Basic fp operations

Initial fp support
Saloed pushed a commit that referenced this pull request Sep 16, 2022
@CaelmBleidd @Saloed
Fp support ( #23, #25 )
e937153 
fp converter in z3, fp tests and fixes

Partially add KFpRoundingMode back

Transform KFpRoundingModeExpr into enum

Basic fp operations

Initial fp support
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Saloed Saloed Saloed approved these changes

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

Successfully merging this pull request may close these issues.
2 participants
@CaelmBleidd @Saloed