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

[mach] Build build 🔨
#3 by franziskuskiefer was closed May 9, 2022
4 tasks done
Build System
1
[cmake] Build build 🔨 meta
#4 by franziskuskiefer was closed May 9, 2022
4 of 6 tasks
Build System
1
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
degenerate Makefile so that running make defers to ./mach.py build
#9 by franziskuskiefer was closed Nov 16, 2021
Build static and dynamic libraries build 🔨
#11 by franziskuskiefer was closed Feb 3, 2022
[meta] CI ci 🤖 meta
#14 by franziskuskiefer was closed Jul 12, 2022
6 of 16 tasks
Continuous Integration
1
@duesee
Build & test with minimum GCC and clang versions ci 🤖
#28 by franziskuskiefer was closed Jun 17, 2022
1 task done
Continuous Integration
OCaml bindings meta OCaml
#30 by franziskuskiefer was closed Jul 7, 2022
2 tasks
1
pick documentation tooling documentation 🗒 Improvements or additions to documentation
#32 by franziskuskiefer was closed Jun 23, 2022 Documentation
Feature parity with upstream dist build 🔨
#40 by franziskuskiefer was closed May 4, 2022 Build System
hacl-star-raw OCaml
#54 by franziskuskiefer was closed Jul 7, 2022
1
@protz @victor-dumitrescu
hacl-star OCaml
#55 by franziskuskiefer was closed Jul 7, 2022
2 tasks
1
@protz @victor-dumitrescu
Add issue -> project automation ci 🤖
#81 by franziskuskiefer was closed Jul 5, 2022
1
@duesee
Review currently used GitHub Actions for trustworthiness
#84 by duesee was closed Oct 19, 2022
1
Test coverage ci 🤖 tests
#87 by franziskuskiefer was closed Aug 3, 2022
2 tasks done
Continuous Integration
1
@duesee
RSA PSS Tests tests
#89 by franziskuskiefer was closed Jul 11, 2022
1
@duesee
Do not run CI on changes of e.g. README.md ci 🤖
#95 by franziskuskiefer was closed Jul 20, 2022
1
@duesee
Describe test sources in a single README.md. tests
#98 by duesee was closed Jul 12, 2022
1
@duesee
x64 intrinsics are not configured correctly build 🔨
#102 by victor-dumitrescu was closed Jul 13, 2022
1
@franziskuskiefer
Workflows ocaml and rust should not run on changes of README.md, ... ci 🤖
#111 by duesee was closed Aug 30, 2022
1
@duesee
Fix dependency_check() and check_command().
#113 by duesee was closed Aug 2, 2022
1
@duesee
add sanitiser builds to CI ci 🤖
#124 by franziskuskiefer was closed Aug 29, 2022 Continuous Integration
1
@franziskuskiefer
CMake CMP0135 update (DOWNLOAD_EXTRACT_TIMESTAMP)
#138 by franziskuskiefer was closed Aug 22, 2022
1
@duesee
Plan Documentation Work documentation 🗒 Improvements or additions to documentation
#154 by franziskuskiefer was closed Sep 26, 2022
2 of 5 tasks
Documentation
@duesee
Drop c89 for now build 🔨 ci 🤖
#175 by franziskuskiefer was closed Sep 1, 2022
1
@duesee
ProTip! no:milestone will show everything without a milestone.