search

PrincetonUniversity / VST

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

More efficient build target for coq-vst-iris package #640

Closed mansky1 closed 1 year ago

mansky1 commented 1 year ago

Finally figured out how to avoid re-compiling the base VST files.