ariadne/shttpd: A toy HTTP server in development Goals: secure, scalable (vertically and horizontally), not excessively slow, separation of privilege (and knowledge: HTTP code doesn't have to know TLS key) ... @ 3ad28c4ba838c92b381ba44639c44f2498edc0e7

Ariadne Devos be0ae9854a Specify sHT_merge16 in ACSL		%!s(int64=5) %!d(string=hai) anos
..
filler-merge.c	be0ae9854a Specify sHT_merge16 in ACSL	%!s(int64=5) %!d(string=hai) anos
setops.c	1ee9755d43 Hide speculative requirements	%!s(int64=5) %!d(string=hai) anos