feat: introduce `Std.Internal.SSL.Context` - #14064

Open

algebraic-dev wants to merge 43 commits into

sofia/openssl-socket-context

Commits on Jun 16, 2026

Commits on Jun 18, 2026

test: fix path of tests
algebraic-dev
committed
7ca2c14
test: tempdir for tests
algebraic-dev
committed
7827493

Commits on Jun 26, 2026

fix: suggesitions and more clear error queue
algebraic-dev
committed
68ebe80
fix: read system certificate instead of OpenSSL bundle
algebraic-dev
committed
76dea57
fix: cmake for windows and macos security
algebraic-dev
committed
861455f

Commits on Jun 27, 2026

feat: add extra macos security flags
algebraic-dev
committed
52e05aa
feat: copy MacOS frameworks
algebraic-dev
committed
af0c518
fix: disable cache on server and client contexts
algebraic-dev
committed
68dbe1e

Commits on Jul 4, 2026

Commits on Jul 5, 2026

Commits on Jul 21, 2026

Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/openssl-socket-context
algebraic-dev
committed
c7365db

Commits on Jul 24, 2026

Commits on Jul 25, 2026

revert: version pin
algebraic-dev
committed
759c9eb

Commits on Jul 28, 2026

Commits on Aug 11, 2026

fix: null check, error messages and emscripten
algebraic-dev
committed
8dceee7
chore: comment
algebraic-dev
committed
485d297

Commits on Aug 12, 2026

test: add tests for each one of the possible errors
algebraic-dev
committed
daf29d8
style: linebreaks
algebraic-dev
committed
e2dca67

Commits on Aug 15, 2026

Commits on Aug 18, 2026

fix: add trust_store that caches the certificates for TLS
algebraic-dev
committed
b4b9997

Commits on Aug 19, 2026

fix: remove dot
algebraic-dev
committed
1593807

Commits on Aug 20, 2026

fix: change call_once
algebraic-dev
committed
7f2ca15
Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/openssl-socket-context
algebraic-dev
committed
b70101e
fix: remove unexistent import
algebraic-dev
committed
acab160

Commits on Aug 23, 2026

fix: move keychain anchor globals into the Apple branch

algebraic-dev
and
claude
committed
6829a53

Commits on Aug 31, 2026

Commits on Sep 1, 2026

Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/openssl-socket-context
algebraic-dev
committed
00e991d