Repository navigation

Implement verified TLS 1.2/1.3 client library with adapted backend forks - #1

Merged

JohnAmadis merged 2 commits into

mainfrom

feat/tls-module

Oct 16, 2026

Merged

Implement verified TLS 1.2/1.3 client library with adapted backend forks#1
JohnAmadis merged 2 commits into
mainfrom
feat/tls-module

Commits on Oct 16, 2026
- Implement verified nonblocking TLS client library
  JaxCalder
  committed
  629f0b9
- Adapt forked TLS backends to the existing DMOD GOT ABI
  JaxCalder
  committed
  cd60446