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