Skip to content
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

Working around regressions in typeclass inference in F* #177

Merged
merged 10 commits into from
Jan 22, 2024
Merged

Working around regressions in typeclass inference in F* #177

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
d4bfd87
working around regressions in F*
karthikbhargavan Jan 19, 2024
bdbe6f1
hints for serialize
karthikbhargavan Jan 19, 2024
78267a9
Empty-Commit
franziskuskiefer Jan 19, 2024
17f1f41
fix f* version for CI
karthikbhargavan Jan 19, 2024
cbc9172
fixing extraction branch
karthikbhargavan Jan 19, 2024
5f009c8
fix(ci/fstar): use tagged version instead of plain commit
W95Psp Jan 22, 2024
895667a
fix(kyber/ci/fstar): mssing `...Arithmetic.fsti` in `UNVERIFIED`
W95Psp Jan 22, 2024
27d9d67
chore(kyber/fstar): update snapshot
W95Psp Jan 22, 2024
17ebe17
chore(kyber/fstar): bump rlimits
W95Psp Jan 22, 2024
8a5dcbf
Merge branch 'main' into karthik/secret-independence-fix-new-fstar
W95Psp Jan 22, 2024
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
2 changes: 1 addition & 1 deletion .github/workflows/hax.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
ocaml-compiler: 4.14.1

- name: ⤵ Install FStar
run: nix profile install github:FStarLang/FStar/bc622701c668f6b4092760879372968265d4a4e1
run: nix profile install github:FStarLang/FStar/a32b316e521fa4f239b610ec8f1d15e78d62cbe8

- name: ⤵ Clone HACL-star repository
uses: actions/checkout@v4
Expand Down
Loading
Loading