Project Everest

Official Docker images for Project Everest: Secure Communication Components with Proofs

DEPRECATED. Please use official Docker images from https://hub.docker.com/u/fstarlang instead.

Everest base image for linux

WIP, not ready for production

A patched version of clang to build c3d, a component of EverParse

Everest base image for windows

All packages and the latest status. UNTESTED, UNVERIFIED. Please use projecteverest/everest instead

Everest for Windows

Same as everest-chomolungma, but with the build of d8.

ICFP 2017 artifact submitted for evaluation (AEC) Verified Low-level Programming Embedded in F*

ICFP 2017 supplementary submission (NOT AEC; see projecteverest/everest-icfp2017aec for the latter)