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 9d6c8f2707 Replace decimal parsing interface and implementation		5 lat temu
..
findchar.c	fafeb6ccbf Proof sHT_findchar	5 lat temu
ipv4.c	68a8db27e0 Formally specify <sHT/logic/failbit.h>	5 lat temu
nat-decimal.c	59e884fdc9 Specialise sHT_X_to_u32 for decimal	5 lat temu
nat-generic.c	04cc3ff056 State positivity of decimal etc. numbers	5 lat temu
nat-uphex.c	a93c558d1c Generalise sHT_X_to_u32's overflow criterium to other bases	5 lat temu