Skip to content

Pull requests: FStarLang/FStar

New pull request New
53 Open 1,190 Closed
53 Open 1,190 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

SizeT: make SizeT.t a new type
#3285 opened May 3, 2024 by mtzguido Loading…
1
Tactics: if dump_on_failure is true, do not add Tactic failed prefix
#3279 opened Apr 29, 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…
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
Queue library
#2958 opened Jun 9, 2023 by meganfrisella Loading…
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
Overloaded &: make non-dependent tuple whenever possible
#2816 opened Feb 1, 2023 by W95Psp • Draft
2
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
ProTip! Add no:assignee to see everything that’s not assigned.