Float-point library implementation#733
Merged
kroening merged 4 commits intodiffblue:masterfrom Jun 19, 2017
Merged
Conversation
Collaborator
|
There are some more changes I'd like to make to this as various of these thing should become built-ins. I'm hoping to get to this soon. |
Collaborator
Author
|
@martin-cs I'll dare assigning to you in this case -- which I actually can't. |
Collaborator
|
Sure!
|
Collaborator
Author
|
@martin-cs Any idea when you might get the chance to look into this? |
make -C ansi-c library_check is now happy again.
Collaborator
|
On Thu, 2017-06-01 at 05:28 -0700, Michael Tautschnig wrote:
@martin-cs Any idea when you might get the chance to look into this?
I am (privately) doing some work on this area so I hope soon. Do you
have a particular deadline in mind?
|
Collaborator
Author
I'd hope to get the sv-comp-2017 branch fully merged before the SV COMP'18 submission is due :-) |
Collaborator
|
On Fri, 2017-06-09 at 03:28 -0700, Michael Tautschnig wrote:
> Do you have a particular deadline in mind?
I'd hope to get the sv-comp-2017 branch fully merged before the SV COMP'18 submission is due :-)
Fair. Date? :-)
|
Collaborator
Author
|
Some time around September, I'd say. (But do note that this PR is not the only one left, I've got others factored out from #363 awaiting review/merge and a few others not even factored out yet - so the task is actually mostly on my plate.) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The collection of patches from #363 (with some squashes) mostly provided by Martin.