-
Notifications
You must be signed in to change notification settings - Fork 231
Pull requests: FStarLang/FStar
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
FStar.Char: move type into smaller FStar.Char.Type module
#3408
opened Aug 25, 2024 by
mtzguido
Loading…
Embedding machine integers as machine integer constants
#3195
opened Jan 24, 2024 by
mtzguido
Loading…
FStar.Witnessed.Core: mark witnessed argument as @@@unused
#3002
opened Aug 3, 2023 by
mtzguido
Loading…
An option to print the source AST using deriving yojson, show
#2831
opened Feb 14, 2023 by
nikswamy
Loading…
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.