[0.37.1] - Feb 23, 2021
Optimizations
- Internal refactoring to improve DDlog's scalability with multiple worker
threads.
Documentation
- C API tutorial, kindly contributed by @smadaminov.
Bug fix
- Compiler crashed when differentiation or delay operators were applied to
relations declared outside of the main module of the program.