3 ms·
> Software artifacts. The application of our toolchain to Windows includes proprietary source code and is not publicly available. However, the 3D toolchain, in
by tbrownaw 4y ago
> Software artifacts. The application of our toolchain to
Windows includes proprietary source code and is not publicly available. However, the 3D toolchain, including the EverParse libraries, the F programming language, Z3 SMT solver,
and the KaRaMeL C code generator are all open source and
developed publicly on GitHub. Documentation, code samples, and links to our latest tool releases are available from
https://project-everest.github.io/everparse https://project-everest.github.io/everparse.
From the linked paper.