3 ms·
https://github.com/google/souper https://github.com/google/souper It looks like it only supports Linux and macOS - no Windows, but no other things too like mob
by a1o 3y ago
https://github.com/google/souper https://github.com/google/souper
It looks like it only supports Linux and macOS - no Windows, but no other things too like mobile.
It seems it exists for ten years, I wonder what optimizations aren't still picked by the recent compilers.
- adrianN 3y agoCompilers need to balance compilation speed with optimization. SMT solvers are right out for speed reasons.