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

update uniform_bigO.v #1141

Closed
affeldt-aist opened this issue Jan 9, 2024 · 2 comments
Closed

update uniform_bigO.v #1141

affeldt-aist opened this issue Jan 9, 2024 · 2 comments
Labels
enhancement ✨ This issue/PR is about adding new features enhancing the library experiment 🧪 This issue/PR is very experimental

Comments

@affeldt-aist
Copy link
Member

analysis/theories/misc/uniform_bigO.v

Line 15 in 4930448

Section UniformBigO.

I just noticed that this file has been forgotten and does not compile out of the box anymore.

(FYI, @drouhling)
@affeldt-aist affeldt-aist added "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" enhancement ✨ This issue/PR is about adding new features enhancing the library experiment 🧪 This issue/PR is very experimental and removed "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" labels Jan 9, 2024
@affeldt-aist
Copy link
Member Author

the merged PR #1142 provides a quick fix but that file maybe deserves to be updated and moved to master, so I keep the issue open

@affeldt-aist
Copy link
Member Author

uniform_bigO.v is now in master (as per the merged PR #1234) so I close

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement ✨ This issue/PR is about adding new features enhancing the library experiment 🧪 This issue/PR is very experimental
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@affeldt-aist