Skip to content

Issues: math-comp/hierarchy-builder

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

77 Open 97 Closed
77 Open 97 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Cannot infer parameters
#447 opened Sep 20, 2024 by zstone1
Extra parameters in instances cause bad errors
#446 opened Sep 20, 2024 by zstone1
HB.instance not produced anymore
#442 opened Sep 6, 2024 by affeldt-aist
HB.saturate failure
#441 opened Sep 6, 2024 by affeldt-aist
glob file for short notations
#438 opened Aug 23, 2024 by yoshihiro503
Deprecating structures/mixins/factories enhancement New feature or request
#436 opened Jul 17, 2024 by pi8027
2
FTR: A scenario where HB.instance is too eager to infer
#435 opened Jul 12, 2024 by affeldt-aist
Bogus error: The conclusion of a builder is a mixin whose parameters
#432 opened Jul 3, 2024 by gares
HB.mixin anomaly when a parameter with structure is reused as a subject.
#431 opened Jun 29, 2024 by screenl
2
The notation Structure.on and Structure.Build should be better scoped
#430 opened Jun 27, 2024 by CohenCyril
Have a dedicated import category for HB
#429 opened Jun 27, 2024 by CohenCyril
3
Honor the #[local] attribute for HB.structure
#428 opened Jun 27, 2024 by CohenCyril
3
Binder issue in HB.instance
#419 opened Apr 22, 2024 by Lapin0t
2
Blacklist internal HB stuff for Search
#418 opened Apr 3, 2024 by CohenCyril
Error when the subject is not explicit
#417 opened Apr 3, 2024 by CohenCyril
HB.saturate fails on Type
#415 opened Mar 6, 2024 by CohenCyril
issues affecting order.v
#413 opened Feb 6, 2024 by gares
3 tasks
1
coq.hb silently dropped
#412 opened Jan 24, 2024 by SnarkBoojum
Add simpl never when defining operations
#411 opened Jan 24, 2024 by CohenCyril
Very slow creation of a subtype instance.
#408 opened Dec 26, 2023 by hivert
Importing Order.TTheory in the middle break the code
#407 opened Dec 11, 2023 by hivert
HB should give an error on non existent key.
#404 opened Nov 30, 2023 by hivert
C.axioms_ appears when printing
#403 opened Nov 28, 2023 by Tragicus
1
Spurious warning Projection value has no head constant
#402 opened Nov 28, 2023 by hivert
1
hnf is broken in master
#395 opened Oct 6, 2023 by gares
1
ProTip! Adding no:label will show everything without a label.