-
Notifications
You must be signed in to change notification settings - Fork 59
Insights: FStarLang/karamel
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 Pull requests merged by 1 person
-
test: rename rust test executables and gitignore them
#489 merged
Oct 11, 2024 -
lib: Makefile: FStar.IO.fst is now FStar.IO.fsti
#490 merged
Oct 10, 2024
1 Pull request opened by 1 person
-
allow assigning arrays into fields
#491 opened
Oct 11, 2024