DDlog v0.32.1

ryzhyk released this 22 Dec 16:28

[0.32.1] - Dec 22, 2020

Optimizations

Sped-up the compiler: eliminated several performance bottlenecks, most notably
in the type inference algorithm. This yields a 10x speedup on large DDlog
projects.

Bug fixes

Assets 5