This allows overriding libfiles.txt to not include ListSpecs and proof package, allowing for ~2.0s gain in startup time (5.5s vs 7.5s on a simple example).
Allow for libfiles.txt to be empty (i.e. no Stainless library)
Startup time can be reduced to ~1.2s on a simple example.
ListOps
andListSpecs
into their own fileslibfiles.txt
to not includeListSpecs
andproof
package, allowing for ~2.0s gain in startup time (5.5s vs 7.5s on a simple example).libfiles.txt
to be empty (i.e. no Stainless library)