- Notifications
You must be signed in to change notification settings - Fork236
Pull requests: FStarLang/FStar
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
Use the directory of any file on the command line in the include path rather than "."
#3690 openedJan 19, 2025 bynikswamyLoading…
Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq.
#3598 openedOct 29, 2024 bybriangmilnesLoading…
Simplify the use of --cmi, towards making it the default
#3592 openedOct 23, 2024 bynikswamyLoading…
FStar.Char: move type into smaller FStar.Char.Type module
#3408 openedAug 25, 2024 bymtzguidoLoading…
ProTip! Addingno:label will show everything without a label.