4 ms·
Who the F* runs a minimizer on friggin C sources? And it's inconsistent too. Security-related code should be readable and auditable.
by tosti 4mo ago
Who the F* runs a minimizer on friggin C sources? And it's inconsistent too.
Security-related code should be readable and auditable.