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

Clear current search query, filters, and sorts
78 Open 235 Closed
78 Open 235 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

SLDump: print the current vprop kind/enhancement Steel Issues related to a Concurrent Resource Typing
#2642 opened Jul 11, 2022 by tahina-pro Loading…
19
Support multibinders in types too area/syntax kind/enhancement
#2035 opened May 7, 2020 by mtzguido
@mtzguido
More precise error messages for expected types area/error-messages area/usability kind/enhancement
#2034 opened May 7, 2020 by mtzguido
@mtzguido
1
Calc proofs on partial terms component/calc Calc statements kind/enhancement kind/question
#2013 opened Apr 16, 2020 by mtzguido
Error locations affected by checked files area/error-messages component/checked-files An issue related to the caching of checked files, or influenced by the caching kind/enhancement
#1993 opened Apr 10, 2020 by mtzguido
Dependency analysis is too conservative wrt namespaces component/dependency-analysis hard A difficult issue kind/enhancement
#1977 opened Apr 1, 2020 by mtzguido
2
Removing the use of decreases in type annotations kind/enhancement milestone/everest-v1 We expect to solve this issue by the Everest v1 release.
#1974 opened Mar 30, 2020 by nikswamy
@aseemr
3
Eager or lazy instantiation of implicits? kind/bug kind/enhancement
#1964 opened Mar 26, 2020 by msprotz
@mtzguido
3
Add some safety checks in the unifier (was: Unsoundness when lseq and match on inductive type interact) component/typechecker kind/enhancement
#1940 opened Mar 12, 2020 by R1kM
3
strict_on_arguments attribute on refined constants and recursive functions area/syntax area/usability component/normalizer kind/enhancement
#1923 opened Feb 16, 2020 by s-zanella
1
Document mutually recursive functions and their decreases clauses area/usability component/documentation component/tutorial kind/enhancement
#1878 opened Oct 23, 2019 by tahina-pro
@tahina-pro
Type error when interface does not match implementation is not clear enough area/error-messages kind/enhancement priority/low
#1873 opened Oct 15, 2019 by mtzguido
Strengthen specification of LowStar.Buffer allocations component/libraries kind/enhancement priority/high
#1872 opened Oct 14, 2019 by s-zanella
3
Interfaces without interleaving area/usability component/desugaring component/extraction component/modules component/typechecker kind/enhancement
#1770 opened Jun 17, 2019 by s-zanella
7
Improve calc errors area/error-messages component/calc Calc statements kind/enhancement milestone/everest-v1 We expect to solve this issue by the Everest v1 release.
#1763 opened Jun 6, 2019 by parno
@mtzguido
5
Messages in interactive mode tests include system-dependent strings area/error-messages area/usability component/tests kind/enhancement priority/low
#1696 opened Mar 26, 2019 by s-zanella
Possible bug in linguist grammar kind/enhancement
#1588 opened Nov 16, 2018 by s-zanella
Proper escaping for --dep component/dependency-analysis kind/enhancement priority/low
#1587 opened Nov 15, 2018 by jaybosamiya
1
1
Bad inference with C.Loops.while component/inference component/typechecker kind/enhancement
#1586 opened Nov 14, 2018 by kevinmkane
5
Duplicate dependencies with --cmi component/dependency-analysis kind/bug kind/enhancement
#1584 opened Nov 13, 2018 by s-zanella
@nikswamy
cps attribute component/internal-apis about internal F* components, without user-level impact kind/enhancement priority/low
#1557 opened Oct 8, 2018 by mtzguido
@mtzguido
1
Confusing errors when mistaking the amount of arguments area/error-messages component/typechecker kind/enhancement
#1553 opened Oct 4, 2018 by mtzguido
@mtzguido
More robust reification in normalizer component/dm4free component/normalizer kind/enhancement
#1536 opened Sep 12, 2018 by mtzguido
@mtzguido
2
Flag to report unused functions/lemmas/lets. area/usability component/dependency-analysis good first issue kind/enhancement priority/low
#1512 opened Aug 17, 2018 by wintersteiger
1
Sending SIGINT in Cygwin to an F* process kills it area/usability component/interactive-mode kind/enhancement
#1505 opened Aug 9, 2018 by s-zanella
4
ProTip! Updated in the last three days: updated:>2025-01-12.