-
Notifications
You must be signed in to change notification settings - Fork 232
Pull requests: FStarLang/FStar
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Errors: Introducing '--message_format github', for github actions
#3553
opened Oct 10, 2024 by
mtzguido
Loading…
docker dev container: explicit platform, install pkg-config
#3547
opened Oct 10, 2024 by
amosr
Loading…
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…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.