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