Maxim Biro 51b24d1c23 chore: Run CompCert on the stable branch of libsodium ...

The master branch might include staging code that is subject to change,
e.g. code including VLAs, which CompCert does not support and thus would
fail on, which will be changed to not use VLAs once merged into the
stable branch.

See https://github.com/jedisct1/libsodium/pull/1188#issuecomment-2221660989

2024-07-13 09:56:50 -04:00

..

.gitignore

cleanup: Use memzero(x, s) instead of memset(x, 0, s).

2024-01-24 19:14:32 +00:00

compcert.Dockerfile

chore: Run CompCert on the stable branch of libsodium

2024-07-13 09:56:50 -04:00

Makefile

chore: Compile libsodium reference implementation with compcert.

2024-02-14 00:21:14 +00:00

run

chore: Speed up docker builds a bit by reducing layer count.

2024-01-26 14:13:34 +00:00