Skip to content

Pull requests: FStarLang/FStar

New pull request New
49 Open 1,233 Closed
49 Open 1,233 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Tidying lax vs admit, options vs environment
#3337 opened Jun 30, 2024 by mtzguido Loading…
Remove outdated docker section from INSTALL.md
#3221 opened Mar 11, 2024 by SECtim Loading…
2
Splitting tuple types into separate modules for each
#3204 opened Feb 6, 2024 by mtzguido Loading…
2
Embedding machine integers as machine integer constants
#3195 opened Jan 24, 2024 by mtzguido Loading…
Some fixes for antiquotations
#3193 opened Jan 23, 2024 by mtzguido • Draft
nix: various improvements
#3182 opened Dec 22, 2023 by pnmadelaine Loading…
Flattening app/abs/arrow nodes in Reflection
#3171 opened Dec 16, 2023 by mtzguido Loading…
Add [@@no_inline_let] annotation
#3169 opened Dec 15, 2023 by amosr Loading…
8
Ensure type decls are types
#3118 opened Nov 30, 2023 by mtzguido Loading…
1
Strict args revamp (+ strict_on_args_unfold)
#3107 opened Nov 27, 2023 by mtzguido Loading…
Pretty-print basic_type_error
#3064 opened Sep 29, 2023 by mtzguido Loading…
feat: add more raw bitvector functions
#3035 opened Aug 26, 2023 by bollu Loading…
1
FStar.Witnessed.Core: mark witnessed argument as @@@unused
#3002 opened Aug 3, 2023 by mtzguido Loading…
Inlining of typeclass methods
#2986 opened Jul 1, 2023 by mtzguido • Draft
4
fstar: gzip checked files
#2916 opened May 6, 2023 by mtzguido • Draft
Do not memoize free variables
#2886 opened Apr 21, 2023 by mtzguido • Draft
Normalize residual comps
#2843 opened Mar 7, 2023 by mtzguido Loading…
An option to print the source AST using deriving yojson, show
#2831 opened Feb 14, 2023 by nikswamy Loading…
3
View patterns (but also as-pattern & pattern guards)
#2813 opened Jan 30, 2023 by W95Psp • Draft
1
Added seq partition theory
#2805 opened Jan 20, 2023 by hacklex Loading…
Set ppxlib version to 0.27.0 in base Dockerfile
#2789 opened Dec 15, 2022 by SECtim Loading…
1
1
GitHub Workflows security hardening
#2695 opened Sep 20, 2022 by sashashura Loading…
6
Reflection API: add reflection for quotes
#2673 opened Aug 8, 2022 by W95Psp Loading…
Add clarification
#2672 opened Aug 7, 2022 by kant2002 Loading…
Deliberately use small version number
#2653 opened Jul 16, 2022 by kant2002 Loading…
ProTip! Adding no:label will show everything without a label.