DDlog v0.39.0
[0.39.0] - April 11, 2021
D3log
- Experimental compiler support for D3log (wip).
New features
- We now support rules that don't start with a positive literal, e.g.,
R() :- not R2(...). R() :- var x = 5.
Bug fix
- Delete old Rust files in the generated project. This prevents compilation
errors when upgrading to a new version of DDlog.