-
Notifications
You must be signed in to change notification settings - Fork 71
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
Implement systems for flavor, pointwise extensions, default bound and rounding mode #271
Closed
Commits on Jul 26, 2020
-
Configuration menu - View commit details
-
Copy full SHA for c8ff400 - Browse repository at this point
Copy the full SHA c8ff400View commit details -
Configuration menu - View commit details
-
Copy full SHA for 595af4d - Browse repository at this point
Copy the full SHA 595af4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 13068ab - Browse repository at this point
Copy the full SHA 13068abView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2bfdc2a - Browse repository at this point
Copy the full SHA 2bfdc2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for e0a47c4 - Browse repository at this point
Copy the full SHA e0a47c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 97f5a03 - Browse repository at this point
Copy the full SHA 97f5a03View commit details -
Configuration menu - View commit details
-
Copy full SHA for 39b86fa - Browse repository at this point
Copy the full SHA 39b86faView commit details -
Configuration menu - View commit details
-
Copy full SHA for eabd93b - Browse repository at this point
Copy the full SHA eabd93bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 86594e4 - Browse repository at this point
Copy the full SHA 86594e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2819ec8 - Browse repository at this point
Copy the full SHA 2819ec8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c67a0f3 - Browse repository at this point
Copy the full SHA c67a0f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for ebde437 - Browse repository at this point
Copy the full SHA ebde437View commit details -
Configuration menu - View commit details
-
Copy full SHA for de2f573 - Browse repository at this point
Copy the full SHA de2f573View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3eb5fb - Browse repository at this point
Copy the full SHA c3eb5fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4609669 - Browse repository at this point
Copy the full SHA 4609669View commit details -
Configuration menu - View commit details
-
Copy full SHA for 74686d4 - Browse repository at this point
Copy the full SHA 74686d4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4c2b6d2 - Browse repository at this point
Copy the full SHA 4c2b6d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ae53b7 - Browse repository at this point
Copy the full SHA 4ae53b7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8bcab47 - Browse repository at this point
Copy the full SHA 8bcab47View commit details -
Configuration menu - View commit details
-
Copy full SHA for 33c21b0 - Browse repository at this point
Copy the full SHA 33c21b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf18a2f - Browse repository at this point
Copy the full SHA bf18a2fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 036a1d8 - Browse repository at this point
Copy the full SHA 036a1d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 12cfc39 - Browse repository at this point
Copy the full SHA 12cfc39View commit details -
Configuration menu - View commit details
-
Copy full SHA for 53e4866 - Browse repository at this point
Copy the full SHA 53e4866View commit details -
Configuration menu - View commit details
-
Copy full SHA for ab8fd8b - Browse repository at this point
Copy the full SHA ab8fd8bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 89358e6 - Browse repository at this point
Copy the full SHA 89358e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 80bbaca - Browse repository at this point
Copy the full SHA 80bbacaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7dfb3f5 - Browse repository at this point
Copy the full SHA 7dfb3f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 474f026 - Browse repository at this point
Copy the full SHA 474f026View commit details -
Configuration menu - View commit details
-
Copy full SHA for 933a89b - Browse repository at this point
Copy the full SHA 933a89bView commit details -
Configuration menu - View commit details
-
Copy full SHA for cabfeb7 - Browse repository at this point
Copy the full SHA cabfeb7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 88491f3 - Browse repository at this point
Copy the full SHA 88491f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c0ee5c - Browse repository at this point
Copy the full SHA 9c0ee5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 31409c3 - Browse repository at this point
Copy the full SHA 31409c3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9b48379 - Browse repository at this point
Copy the full SHA 9b48379View commit details -
Configuration menu - View commit details
-
Copy full SHA for f932c61 - Browse repository at this point
Copy the full SHA f932c61View commit details -
Configuration menu - View commit details
-
Copy full SHA for d6c1e08 - Browse repository at this point
Copy the full SHA d6c1e08View commit details -
Configuration menu - View commit details
-
Copy full SHA for fb76b31 - Browse repository at this point
Copy the full SHA fb76b31View commit details -
Configuration menu - View commit details
-
Copy full SHA for 09632e8 - Browse repository at this point
Copy the full SHA 09632e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 584aba0 - Browse repository at this point
Copy the full SHA 584aba0View commit details -
Configuration menu - View commit details
-
Copy full SHA for dce76b4 - Browse repository at this point
Copy the full SHA dce76b4View commit details -
Configuration menu - View commit details
-
Copy full SHA for cc5694f - Browse repository at this point
Copy the full SHA cc5694fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 78980f0 - Browse repository at this point
Copy the full SHA 78980f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 91b9250 - Browse repository at this point
Copy the full SHA 91b9250View commit details -
Configuration menu - View commit details
-
Copy full SHA for b3091de - Browse repository at this point
Copy the full SHA b3091deView commit details -
Configuration menu - View commit details
-
Copy full SHA for 34568d8 - Browse repository at this point
Copy the full SHA 34568d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3eefa4d - Browse repository at this point
Copy the full SHA 3eefa4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4661780 - Browse repository at this point
Copy the full SHA 4661780View commit details -
Configuration menu - View commit details
-
Copy full SHA for 63cb3b8 - Browse repository at this point
Copy the full SHA 63cb3b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 67a1fb2 - Browse repository at this point
Copy the full SHA 67a1fb2View commit details -
Configuration menu - View commit details
-
Copy full SHA for a75eabe - Browse repository at this point
Copy the full SHA a75eabeView commit details
Commits on Jul 27, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 18b3fe2 - Browse repository at this point
Copy the full SHA 18b3fe2View commit details -
Configuration menu - View commit details
-
Copy full SHA for d1dde57 - Browse repository at this point
Copy the full SHA d1dde57View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2fcb8ca - Browse repository at this point
Copy the full SHA 2fcb8caView commit details
Commits on Jul 28, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 9b46da7 - Browse repository at this point
Copy the full SHA 9b46da7View commit details
Commits on Aug 4, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 766749f - Browse repository at this point
Copy the full SHA 766749fView commit details
Commits on Aug 9, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 1cbdc9b - Browse repository at this point
Copy the full SHA 1cbdc9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8206d52 - Browse repository at this point
Copy the full SHA 8206d52View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7cee9c9 - Browse repository at this point
Copy the full SHA 7cee9c9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7435671 - Browse repository at this point
Copy the full SHA 7435671View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a0dcba - Browse repository at this point
Copy the full SHA 6a0dcbaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9a65cb1 - Browse repository at this point
Copy the full SHA 9a65cb1View commit details
Commits on Aug 12, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 43571ba - Browse repository at this point
Copy the full SHA 43571baView commit details -
Configuration menu - View commit details
-
Copy full SHA for bb65c89 - Browse repository at this point
Copy the full SHA bb65c89View commit details
Commits on Oct 24, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 87781c1 - Browse repository at this point
Copy the full SHA 87781c1View commit details
Commits on Oct 25, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 25110b2 - Browse repository at this point
Copy the full SHA 25110b2View commit details
Commits on Dec 11, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 9f44928 - Browse repository at this point
Copy the full SHA 9f44928View commit details -
Configuration menu - View commit details
-
Copy full SHA for a8b7d5a - Browse repository at this point
Copy the full SHA a8b7d5aView commit details
Commits on Dec 20, 2021
-
Configuration menu - View commit details
-
Copy full SHA for ac3c35b - Browse repository at this point
Copy the full SHA ac3c35bView commit details
Commits on Dec 24, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 8f6e905 - Browse repository at this point
Copy the full SHA 8f6e905View commit details
Commits on Dec 25, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 0c26577 - Browse repository at this point
Copy the full SHA 0c26577View commit details -
Configuration menu - View commit details
-
Copy full SHA for f02282e - Browse repository at this point
Copy the full SHA f02282eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 15c2c3c - Browse repository at this point
Copy the full SHA 15c2c3cView commit details
Commits on Dec 26, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 1765225 - Browse repository at this point
Copy the full SHA 1765225View commit details -
Configuration menu - View commit details
-
Copy full SHA for a6eb8ab - Browse repository at this point
Copy the full SHA a6eb8abView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8554f66 - Browse repository at this point
Copy the full SHA 8554f66View commit details -
Configuration menu - View commit details
-
Copy full SHA for fc69f93 - Browse repository at this point
Copy the full SHA fc69f93View commit details
Commits on Dec 29, 2021
-
Configuration menu - View commit details
-
Copy full SHA for ef69cc3 - Browse repository at this point
Copy the full SHA ef69cc3View commit details -
Configuration menu - View commit details
-
Copy full SHA for a08cae5 - Browse repository at this point
Copy the full SHA a08cae5View commit details
Commits on Dec 31, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 727aae8 - Browse repository at this point
Copy the full SHA 727aae8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3cd5790 - Browse repository at this point
Copy the full SHA 3cd5790View commit details
Commits on Jan 10, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 1c51825 - Browse repository at this point
Copy the full SHA 1c51825View commit details
Commits on Jan 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2fd86c2 - Browse repository at this point
Copy the full SHA 2fd86c2View commit details
Commits on Jan 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 96b090b - Browse repository at this point
Copy the full SHA 96b090bView commit details
Commits on Jan 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a993ef8 - Browse repository at this point
Copy the full SHA a993ef8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8709e1f - Browse repository at this point
Copy the full SHA 8709e1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for ebb2307 - Browse repository at this point
Copy the full SHA ebb2307View commit details
Commits on Jan 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for df715e2 - Browse repository at this point
Copy the full SHA df715e2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 83d76e9 - Browse repository at this point
Copy the full SHA 83d76e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c718e4 - Browse repository at this point
Copy the full SHA 2c718e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for d58dfae - Browse repository at this point
Copy the full SHA d58dfaeView commit details -
Configuration menu - View commit details
-
Copy full SHA for c2b09f9 - Browse repository at this point
Copy the full SHA c2b09f9View commit details
Commits on Jan 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a9d5acb - Browse repository at this point
Copy the full SHA a9d5acbView commit details -
Configuration menu - View commit details
-
Copy full SHA for d8e71bb - Browse repository at this point
Copy the full SHA d8e71bbView commit details
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.