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) ... @ odd-fixes

Ariadne Devos 29e1e18973 Model speculation		%!s(int64=5) %!d(string=hai) anos
..
computation-model	29e1e18973 Model speculation	%!s(int64=5) %!d(string=hai) anos
parsers	d5d303cc2c Allow only GPL-2 and GPL-3	%!s(int64=5) %!d(string=hai) anos
people	a449547542 Work out reliability prospects	%!s(int64=5) %!d(string=hai) anos
program-proofs	29e1e18973 Model speculation	%!s(int64=5) %!d(string=hai) anos
structures	d5d303cc2c Allow only GPL-2 and GPL-3	%!s(int64=5) %!d(string=hai) anos
conf.py	d5d303cc2c Allow only GPL-2 and GPL-3	%!s(int64=5) %!d(string=hai) anos
index.rst	676f64972a Give a few hints on ACSL	%!s(int64=5) %!d(string=hai) anos
tasks.md	d5d303cc2c Allow only GPL-2 and GPL-3	%!s(int64=5) %!d(string=hai) anos