Skip to content

Adding type support for mutable vs. immutable slices #326

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 10 commits into
base: main
Choose a base branch
from
Draft

Adding type support for mutable vs. immutable slices #326

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
21f4882
ConstArrayPtr; Slice -> MutableSlice; Slice immutable by default
tahina-pro Feb 13, 2025
5a910a1
fix extraction
tahina-pro Feb 13, 2025
4f8363e
fix slice test
tahina-pro Feb 13, 2025
a0dedb4
Example.Slice -> Example.MutableSlice
tahina-pro Feb 14, 2025
e750eea
Example.Slice with immutable slices. Note the produced `const` annota…
tahina-pro Feb 14, 2025
0bf3c17
test/Example.{Mutable}Slice: add a rust extraction rule
tahina-pro Feb 14, 2025
5979509
Revert "TEMP: ci.yml: point to dev branch in forks"
tahina-pro Feb 14, 2025
f602080
(TEMP) use Karamel branch _taramana_mutable_slice
tahina-pro Feb 14, 2025
0512e1f
Example.{Mutable}Slice: avoid unused locals
tahina-pro Feb 14, 2025
6e07a5d
compile the produced .rs files
tahina-pro Feb 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Revert "TEMP: ci.yml: point to dev branch in forks" 
This reverts commit 8ac1cdd.
  • Loading branch information
@tahina-pro
tahina-pro committed Feb 14, 2025
commit 597950913c2861b9cab037d99c34cf08a9393843
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,8 +54,8 @@ jobs:
id: checkout-karamel
with:
path: karamel
repository: mtzguido/karamel
ref: dev
repository: FStarLang/karamel
ref: master

- name: Try fetch built karamel
id: cache-karamel
Expand Down