Skip to content

Issues: cryspen/hacl-packages

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

Clear current search query, filters, and sorts
60 Open 130 Closed
60 Open 130 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

maybe have a little bit of setup check in mach that ensures ninja, cmake, etc. are found in the path? (there was a similar unfortunate error for the absence of ninja)
#8 by franziskuskiefer was closed Oct 12, 2021 updated Oct 12, 2021
degenerate Makefile so that running make defers to ./mach.py build
#9 by franziskuskiefer was closed Nov 16, 2021 updated Nov 16, 2021
Mach usability
#7 by protz was closed Nov 16, 2021 updated Nov 16, 2021
4 tasks done
2
Build static and dynamic libraries build 🔨
#11 by franziskuskiefer was closed Feb 3, 2022 updated Feb 3, 2022
Ensure Toolchain and Platform Checks are correct build 🔨
#27 by franziskuskiefer was closed May 4, 2022 updated May 4, 2022
6 tasks
Build System
1
Feature parity with upstream dist build 🔨
#40 by franziskuskiefer was closed May 4, 2022 updated May 4, 2022 Build System
[mach] Build build 🔨
#3 by franziskuskiefer was closed May 9, 2022 updated May 9, 2022
4 tasks done
Build System
1
[cmake] Build build 🔨 meta
#4 by franziskuskiefer was closed May 9, 2022 updated May 9, 2022
4 of 6 tasks
Build System
1
Build & test with minimum GCC and clang versions ci 🤖
#28 by franziskuskiefer was closed Jun 17, 2022 updated Jun 17, 2022
1 task done
Continuous Integration
pick documentation tooling documentation 🗒 Improvements or additions to documentation
#32 by franziskuskiefer was closed Jun 23, 2022 updated Jun 23, 2022 Documentation
Add issue -> project automation ci 🤖
#81 by franziskuskiefer was closed Jul 5, 2022 updated Jul 5, 2022
1
@duesee
OCaml bindings meta OCaml
#30 by franziskuskiefer was closed Jul 7, 2022 updated Jul 7, 2022
2 tasks
1
hacl-star-raw OCaml
#54 by franziskuskiefer was closed Jul 7, 2022 updated Jul 7, 2022
1
@protz @victor-dumitrescu
hacl-star OCaml
#55 by franziskuskiefer was closed Jul 7, 2022 updated Jul 7, 2022
2 tasks
1
@protz @victor-dumitrescu
RSA PSS Tests tests
#89 by franziskuskiefer was closed Jul 11, 2022 updated Jul 11, 2022
1
@duesee
64-bit Linux (x86_64-unknown-linux-gnu) T1 ci 🤖
#17 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022
1 task
Continuous Integration
1
@duesee
1
32-bit Linux (i686-unknown-linux-gnu) T1 ci 🤖
#18 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022
1 task
Continuous Integration
1
@duesee
1
64-bit macOS (x86_64-apple-darwin) T1 ci 🤖
#19 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
64-bit Windows (x86_64-pc-windows-msvc) T1 ci 🤖
#20 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
32-bit Windows (i686-pc-windows-msvc) T1 ci 🤖
#21 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
ARM64 macOS (aarch64-apple-darwin) T2 ci 🤖
#22 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
ARM64 Linux (aarch64-unknown-linux-gnu) T2 ci 🤖
#23 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
ARM64 Android (aarch64-linux-android) T2 ci 🤖
#24 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
ARM64 iOS (aarch64-apple-ios) T2 ci 🤖
#25 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
1
@duesee
1
re-usable CI configuration ci 🤖
#70 by franziskuskiefer was closed Jul 12, 2022 updated Jul 12, 2022 Continuous Integration
@duesee
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.