CBMC: Add specs and proofs for further (de)compression routines · pq-code-package/mlkem-native@978ccaa

Triggered via push June 1, 2024 20:31

cbmc

Status Failure

Total duration 2m 45s

Artifacts –

build.yml

on: push

10 errors

cbmc/proofs/poly_compress/Makefile is missing SPDX License header

cbmc/proofs/poly_compress/README.md is missing SPDX License header

cbmc/proofs/poly_compress/cbmc-proof.txt is missing SPDX License header

cbmc/proofs/scalar_compress_q_16/Makefile is missing SPDX License header

cbmc/proofs/scalar_compress_q_16/README.md is missing SPDX License header

cbmc/proofs/scalar_compress_q_16/cbmc-proof.txt is missing SPDX License header

cbmc/proofs/scalar_compress_q_32/Makefile is missing SPDX License header

cbmc/proofs/scalar_compress_q_32/Makefile~ is missing SPDX License header

cbmc/proofs/scalar_compress_q_32/README.md is missing SPDX License header

cbmc/proofs/scalar_compress_q_32/cbmc-proof.txt is missing SPDX License header