2 ms·
The proof can be done on the whole code (in memory, incremental, etc), and then the modules emitted as dynamically loadable objects.
by pas 2y ago
The proof can be done on the whole code (in memory, incremental, etc), and then the modules emitted as dynamically loadable objects.