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 be0ae9854a Specify sHT_merge16 in ACSL		6 jaren geleden
..
filler-merge.c	be0ae9854a Specify sHT_merge16 in ACSL	6 jaren geleden
setops.c	1ee9755d43 Hide speculative requirements	6 jaren geleden