Lines Matching +full:rev +full:- +full:parse

10 	libcrux/libcrux-ml-kem/cg/eurydice_glue.h
11 	libcrux/libcrux-ml-kem/cg/libcrux_core.h
12 	libcrux/libcrux-ml-kem/cg/libcrux_ct_ops.h
13 	libcrux/libcrux-ml-kem/cg/libcrux_sha3_portable.h
14 	libcrux/libcrux-ml-kem/cg/libcrux_mlkem768_portable.h
23 set -xeuo pipefail
24 test -d libcrux || git clone https://github.com/cryspen/libcrux
26 test `git diff | wc -l` -ne 0 && die "tree has unstaged changes"
28 git checkout -B extract 1>&2
29 git reset --hard $WANT_LIBCRUX_REVISION 1>&2
30 LIBCRUX_REVISION=`git rev-parse HEAD`
40 cat libcrux/LICENSE-MIT | sed 's/^/ * /;s/ *$//'
55 	#  - remove all includes, we inline everything required.
56 	#  - cleanup whitespace
57 	sed -e "/#include/d" \
58 	    -e 's/[	 ]*$//' \
61 	*/libcrux-ml-kem/cg/eurydice_glue.h)
63 …perl -0777 -pe 's/(static inline void core_num__u64_9__to_le_bytes.*\n)([^}]*\n)/\1  v = htole64(v…
64 …perl -0777 -pe 's/(static inline uint64_t core_num__u64_9__from_le_bytes.*?)return v;/\1return le6…
65 …perl -0777 -pe 's/(static inline uint32_t core_num__u32_8__from_le_bytes.*?)return v;/\1return le3…
135 cc -Wall -Wextra -Wno-unused-parameter -o libcrux_mlkem768_sha3_check \
140 …-e '/^libcrux_ml_kem_mlkem768_portable_kyber_generate_key_pair[(]$/,/[)] {$/!d' < libcrux_mlkem768…
141 …-e '/^static inline tuple_3c libcrux_ml_kem_mlkem768_portable_kyber_encapsulate[(]$/,/[)] {$/!d' <…
142 test -z "$key_pair_rng_len" && die "couldn't find size of libcrux_ml_kem_mlkem768_portable_kyber_ge…
143 test -z "$enc_rng_len" && die "couldn't find size of libcrux_ml_kem_mlkem768_portable_kyber_encapsu…