Skip to content

Pull requests: FStarLang/FStar

New pull request New
Clear current search query, filters, and sorts
57 Open 1,346 Closed
57 Open 1,346 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

Add a new command #show-match (to build pattern matching templates)
#940 opened Apr 7, 2017 by cpitclaudel Loading…
22
QI profiling
#1687 opened Mar 19, 2019 by arpj-rebola Loading…
22
Propagate use_range
#1740 opened May 8, 2019 by qunyanm Loading…
4
Propagate label information
#1741 opened May 8, 2019 by qunyanm Loading…
Implement a simple pattern inference
#1747 opened May 20, 2019 by qunyanm Loading…
Restore unicode operators
#1769 opened Jun 14, 2019 by ad-l Loading…
Add --dep ninja, more fine-grained dependencies with --dep_ninja
#1807 opened Jul 3, 2019 by tahina-pro Loading…
@tahina-pro
10
Exemple of ulib module documentation : FStar.Classical
#1854 opened Sep 16, 2019 by denismerigoux Loading…
6
Protz unions
#1887 opened Nov 11, 2019 by msprotz Loading…
Allow "ticked" variables at any type
#2011 opened Apr 14, 2020 by mtzguido Loading…
2
Simplify <, >, <= and >= when they're tautologies
#2063 opened Jun 12, 2020 by msprotz Loading…
6
Extract LowStar.UninitializedBuffer (witness|recall_initialized) to EUnit for Kremlin
#2179 opened Oct 27, 2020 by landonf Loading…
ulib: some changes to Squash and IndefiniteDescription
#2183 opened Nov 12, 2020 by mtzguido Loading…
8
Pretty printer: fix nested refinement and implicit-only abstractions printing
#2186 opened Nov 20, 2020 by W95Psp Loading…
1
Reflection for ranges
#2188 opened Nov 21, 2020 by W95Psp Loading…
minor adjustment to new_z3proc_with_id
#2300 opened May 27, 2021 by smoothdeveloper Loading…
1
WIP: Give prims types special treatment in OCaml extraction
#2313 opened Jun 9, 2021 by antoniolocascio Loading…
1
Add OCaml realization for Int.Cast
#2315 opened Jun 11, 2021 by antoniolocascio Loading…
1
3
Fix typos and exercise file in part 1 of book
#2318 opened Jun 15, 2021 by SwampertX Loading…
1
Encode String literals in SMT
#2401 opened Dec 6, 2021 by fangyi-zhou • Draft
3
Enable subtyping in ctrl_rewrite (and hence, l_to_r)
#2482 opened Mar 5, 2022 by R1kM Loading…
1
7
Now need to set FSTAR_HOME to verify examples
#2532 opened Apr 8, 2022 by catalin-hritcu Loading…
3
QuasiQuotes for F*
#2598 opened May 31, 2022 by W95Psp • Draft
2 of 6 tasks
2
SLDump: print the current vprop kind/enhancement Steel Issues related to a Concurrent Resource Typing
#2642 opened Jul 11, 2022 by tahina-pro Loading…
19
Deliberately use small version number
#2653 opened Jul 16, 2022 by kant2002 Loading…
ProTip! Updated in the last three days: updated:>2024-09-19.