HaLVM icon indicating copy to clipboard operation
HaLVM copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

Add a --disable-profiling flag to the build.

Open acw opened this issue 10 years ago • 1 comments

See also the requests in #55.

acw avatar Jun 05 '15 18:06 acw

Add --disable-profiling and --enable-profiling. Make --disable-profiling the default.

gracjan avatar Jun 05 '15 19:06 gracjan