Open
Description
The DDlog compiler currently implements a purely syntax-guided translation from
DDlog to Rust expressions. This causes redundant cloning and ugly code +
warnings. We need a smarter compiler that will use dataflow analysis to use
borrow instead of cloning wherever possible.