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.

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

485 Open 1,571 Closed
485 Open 1,571 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

infix does not match on let (++) = append vs let (+++) a b = append a b
#3672 opened Jan 10, 2025 by briangmilnes
z3rlimit behaving differently in ide mode v.s. command line mode?
#3660 opened Jan 8, 2025 by LukeXuan
Incorrect subtyping of divergent functions
#3659 opened Jan 7, 2025 by gebner
1
Missing universes in SMT encoding
#3647 opened Dec 27, 2024 by gebner
1
Incorrect extraction of GTot-subtyping
#3644 opened Dec 25, 2024 by gebner
1
2
Extraction: local letrecs with Tac effect cause error
#3643 opened Dec 21, 2024 by amosr
arity mismatch (explain)
#3632 opened Dec 11, 2024 by briangmilnes
Tiny lexical issue in error 72
#3613 opened Nov 8, 2024 by briangmilnes
The wiki's page search seems to only search by page keyword
#3603 opened Nov 4, 2024 by briangmilnes
Catch OCaml Out_of_memory and Stack_overflow in test and our top level
#3601 opened Nov 2, 2024 by briangmilnes
Discrepancy with/without checked files for name resolution
#3589 opened Oct 22, 2024 by mtzguido
FStar_Mul needed in fstar.lib
#3577 opened Oct 16, 2024 by mtzguido
Hints are not filtered by using_facts_from
#3572 opened Oct 15, 2024 by mtzguido
Use annotated tags for releases
#3543 opened Oct 9, 2024 by mtzguido
@mtzguido
Syntax accepted in emacs language server but not on the command line for a depends run
#3536 opened Oct 7, 2024 by briangmilnes
Inference does not know about fundeps
#3534 opened Oct 6, 2024 by mtzguido
Extraction list of bytes produce incorrect F# code
#3520 opened Oct 4, 2024 by kant2002
Warning 337 does not produce a line number in the language server
#3516 opened Oct 2, 2024 by briangmilnes
let lemmas in fsti reported missing after val missing error 98
#3510 opened Oct 2, 2024 by briangmilnes
Proving int =!= (int -> Dv int) kind/question
#3508 opened Oct 1, 2024 by mtzguido
@mtzguido
2
FStar.Reflection.Typing.subst_term extracts to dangerous code
#3504 opened Sep 26, 2024 by gebner
3
Bad expected type on typeclass constraint kind/bug
#3498 opened Sep 25, 2024 by mtzguido
@mtzguido
FStar.IO could do with a flush
#3496 opened Sep 24, 2024 by briangmilnes
1
An illegal record field is not 'redundant'
#3494 opened Sep 22, 2024 by briangmilnes
Error 152 should not be fatal
#3493 opened Sep 22, 2024 by briangmilnes
ProTip! Exclude everything labeled bug with -label:bug.