Dev -> main #474
Open
Dev -> main #474
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* build fixes for cross compiling Rust for i686 * update ci
Integrate Vectorized SHA3
* Rename SHA3 Scalar and Simd256 functions * Add runtime cpu feature checks in benchmarks/sha3.cc
* Added Kyber768 consistency test using a dummy implementation of Kyber. * Added Kyber768 KAT tests. * Update default_config.cmake * Build libcrux separately in CMakeLists.txt * Don't build libcrux by default.
Co-authored-by: xvzcf <xvzcf@users.noreply.github.com> Co-authored-by: Jonathan Protzenko <protz@microsoft.com>
Change order of SHA3 Scalar/Simd256 parameters
…to protz_all_kyber_variants
…ckages into protz_all_kyber_variants
Add all variants of kyber to hacl-packages, with compilation and all
+ Without this MSVC generates error C7555 when eurydice_glue.h is included in any C++ source (https://godbolt.org/z/EqcvcG3Yj)
…using MSVC and Clang
Co-authored-by: Franziskus Kiefer <franziskuskiefer@gmail.com>
main -> dev
…alizers Fix MSVC+CPP issue with including eurydice_glue.h w/ C++17
Simplify build workflow
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Discontinue main, moving development back to main with everything verified now.