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

floor and ceil to be subsumed by MathComp #330

Closed
affeldt-aist opened this issue Jan 27, 2021 · 1 comment · Fixed by #1244
Closed

floor and ceil to be subsumed by MathComp #330

affeldt-aist opened this issue Jan 27, 2021 · 1 comment · Fixed by #1244
Milestone
1.3.0

Comments

@affeldt-aist
Copy link
Member

affeldt-aist commented Jan 27, 2021 •
edited by proux01
Loading

TODO: revise the use of floor and ceil once math-comp/math-comp#682 is merged into MathComp requiring MC >= 2.1.0
@affeldt-aist affeldt-aist added this to the 0.3.13 milestone Dec 10, 2021
@affeldt-aist affeldt-aist modified the milestones: 0.3.13, 0.3.14 Jan 23, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.4, 0.4.1 Feb 28, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.4.1, 0.4.2 Mar 22, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.5.1, 0.5.2 May 13, 2022
@CohenCyril CohenCyril modified the milestones: 0.5.2, 0.5.3 Jul 8, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.5.3, 0.6, 0.5.4 Jul 29, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.5.4, 0.6 Aug 27, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.6, 0.6.1 Oct 17, 2022
@affeldt-aist affeldt-aist modified the milestones: 0.6.1, 0.6.2 Feb 6, 2023
@affeldt-aist affeldt-aist modified the milestones: 0.6.2, 0.6.3 Apr 10, 2023
@affeldt-aist affeldt-aist modified the milestones: 0.6.3, 0.6.4 Jun 4, 2023
@affeldt-aist affeldt-aist modified the milestones: 0.6.4, 0.6.5 Jul 28, 2023
@affeldt-aist affeldt-aist modified the milestones: 0.6.5, 0.6.6 Sep 21, 2023
@affeldt-aist affeldt-aist removed this from the 0.6.6 milestone Nov 7, 2023
@affeldt-aist affeldt-aist added this to the 0.6.7 milestone Nov 7, 2023
@affeldt-aist affeldt-aist modified the milestones: 0.6.7, 1.0.0 Dec 27, 2023
@affeldt-aist affeldt-aist modified the milestones: 1.0.0, 1.1.0 Jan 24, 2024
@affeldt-aist affeldt-aist modified the milestones: 1.1.0, 1.2.0 Mar 26, 2024
@affeldt-aist
Copy link
Member Author

From version 1.2.0, we'll support MathComp >= 2.1, so it is about time to make this change.
The deprecation warnings have been removed so that now the expressions to be subsumed
appear as reals.blah (e.g., reals.floor, reals.ceil, etc. as in https://github.com/math-comp/analysis/blob/master/theories/normedtype.v#L255).

@affeldt-aist affeldt-aist modified the milestones: 1.2.0, 1.3.0 Jun 3, 2024
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Jun 17, 2024
@affeldt-aist
fixes math-comp#330
880c4ec
@affeldt-aist affeldt-aist mentioned this issue Jun 17, 2024
Merged
2 tasks
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Jun 20, 2024
@affeldt-aist
fixes math-comp#330
54db53f
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Jul 1, 2024
@affeldt-aist
fixes math-comp#330
f3f04b1
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Jul 3, 2024
@affeldt-aist
fixes math-comp#330
09178f6
pi8027 pushed a commit to affeldt-aist/analysis that referenced this issue Jul 11, 2024
@affeldt-aist @pi8027
fixes math-comp#330
4cbdcf3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.3.0
Development

Successfully merging a pull request may close this issue.

fixes #330 (floor and ceil subsumed by MathComp) affeldt-aist/analysis
2 participants
@CohenCyril @affeldt-aist