-
Notifications
You must be signed in to change notification settings - Fork 232
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
Label
Projects
Milestones
Assignee
Sort
Issues list
An interfaced module that references itself wrongly cause a dependency cycle
#3311
opened Jun 7, 2024 by
TWal
Preprocess tactic is not able to reconstruct terms involving records/structs
#3209
opened Feb 9, 2024 by
amosr
Unifier causing normalization loops (zeta enabled in
equal
heuristic)
#3207
opened Feb 8, 2024 by
andricicezar
&
produces dependent tuples instead of ordinary ones if the constituents are named
#3198
opened Jan 29, 2024 by
chandradeepdey
Cross-module-inlining behaves inconsistently and differently than friending
#3188
opened Jan 10, 2024 by
gebner
Formatter unfolds unnamed function parameter with refinements weirdly
#3187
opened Jan 4, 2024 by
chandradeepdey
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.