iphydf a1e999fd80 chore: Compile libsodium reference implementation with compcert. ...

This ensures that we're able to generate a guaranteed semantically
correct binary with all of toxcore and libsodium. We don't currently
compile libvpx and opus with compcert. Probably not worth the effort.

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

..

.gitignore

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

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

compcert.Dockerfile

chore: Compile libsodium reference implementation with compcert.

2024-02-14 00:21:14 +00: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