Skip to content

Pull requests: FStarLang/karamel

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

Remove debug
#551 by msprotz was merged Mar 7, 2025 Loading…
Actually hash-cons data type tags
#550 by msprotz was merged Mar 7, 2025 Loading…
2
Support for user-provided annotations about box types in Ast to Rust translation
#549 by R1kM was merged Mar 7, 2025 Loading…
3
Small helper
#548 by msprotz was merged Mar 6, 2025 Loading…
Improve the Rust extraction of Return nodes
#547 by R1kM was merged Mar 5, 2025 Loading…
1
Add support for returns in Rust
#545 by R1kM was merged Mar 4, 2025 Loading…
fix clang-cl warnings
#544 by msprotz was merged Feb 26, 2025 Loading…
Honor rename-prefix for *external* Rust declarations
#543 by msprotz was merged Feb 20, 2025 Loading…
1
Fix long-standing issue with C Abstract Structs
#542 by msprotz was merged Mar 4, 2025 Loading…
3
Removing unused modules
#539 by mtzguido was merged Feb 18, 2025 Loading…
1
More helpers for basic int types
#538 by R1kM was merged Feb 17, 2025 Loading…
Allow const source buffers for EBufBlit
#537 by tahina-pro was merged Feb 19, 2025 Loading…
2
Simplify Makefiles after F* changes
#536 by mtzguido was merged Feb 20, 2025 Loading…
17
cl-wrapper: support Visual Studio 2017 and up by using vswhere
#535 by mtzguido was merged Feb 12, 2025 Loading…
2
Support Pulse.Lib.Slice.subslice
#534 by gebner was merged Feb 12, 2025 Loading…
3
Support Assumed Declaration in MiniRust translation
#533 by R1kM was merged Feb 14, 2025 Loading…
1
feat(nix): add support for aarch64 linux & mac
#532 by W95Psp was merged Feb 11, 2025 Loading…
Rework C compiler detection
#531 by mtzguido was merged Feb 20, 2025 Loading…
1
10
Slight generalization
#530 by msprotz was merged Feb 7, 2025 Loading…
Avoid narrowing conversion errors in initializer lists in C++ -- fixe…
#528 by msprotz was merged Feb 5, 2025 Loading…
Fix mistake in #include generation for internal headers
#527 by msprotz was merged Jan 31, 2025 Loading…
Fix case of constants, and hide debug info
#526 by msprotz was merged Jan 31, 2025 Loading…
Revise dependency analysis to be more precise
#525 by msprotz was merged Jan 31, 2025 Loading…
4
Add uint8 helper
#524 by R1kM was merged Jan 17, 2025 Loading…
Removing hints
#523 by nikswamy was merged Jan 17, 2025 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.