Skip to content

Issues: FStarLang/FStar

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

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

Issues list

include seems to leak val declarations
#3778 opened Feb 20, 2025 by mtzguido
Assertion failure on forgotten 'rec'
#3771 opened Feb 17, 2025 by mtzguido
Bad range on error
#3765 opened Feb 16, 2025 by mtzguido
Misleading error for records
#3757 opened Feb 15, 2025 by mtzguido
Infer eqtype as appropriate
#3694 opened Jan 24, 2025 by briangmilnes
Incorrect subtyping of divergent functions kind/unsoundness A bug that has the potential to cause unsoundness, be it ill-typing or proofs of False
#3659 opened Jan 7, 2025 by gebner
Missing universes in SMT encoding kind/unsoundness A bug that has the potential to cause unsoundness, be it ill-typing or proofs of False
#3647 opened Dec 27, 2024 by gebner
arity mismatch (explain)
#3632 opened Dec 11, 2024 by briangmilnes
Tiny lexical issue in error 72
#3613 opened Nov 8, 2024 by briangmilnes
FStar_Mul needed in fstar.lib
#3577 opened Oct 16, 2024 by mtzguido
Inference does not know about fundeps
#3534 opened Oct 6, 2024 by mtzguido
ProTip! Exclude everything labeled bug with -label:bug.