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