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) ... @ verification

Ariadne Devos 9d6c8f2707 Replace decimal parsing interface and implementation		%!s(int64=5) %!d(string=hai) anos
..
findchar.c	fafeb6ccbf Proof sHT_findchar	%!s(int64=5) %!d(string=hai) anos
ipv4.c	68a8db27e0 Formally specify <sHT/logic/failbit.h>	%!s(int64=5) %!d(string=hai) anos
nat-decimal.c	59e884fdc9 Specialise sHT_X_to_u32 for decimal	%!s(int64=5) %!d(string=hai) anos
nat-generic.c	04cc3ff056 State positivity of decimal etc. numbers	%!s(int64=5) %!d(string=hai) anos
nat-uphex.c	a93c558d1c Generalise sHT_X_to_u32's overflow criterium to other bases	%!s(int64=5) %!d(string=hai) anos