search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
442 stars 93 forks source link

Makefile.bundled; memmgr #605

Closed andrew-appel closed 2 years ago

andrew-appel commented 2 years ago
  1. Create Makefile.bundled, which is to be included by clients of VST that want the flexibility to use either an opam/Platform install of VST or a local build.
  2. Refactor progs/VSUpile/Makefile to use ethis.
  3. Copy the Appel&Naumann malloc/free verification (from Beringer's VSU version of the original at github.com/PrincetonUniversity/DeepSpecDb/memmgr) into progs/memmgr, and make it build from the VST/Makefile as the target "memmgr". Or it can build indendently (see item 1 above).