vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
MIT License
1.35k stars 117 forks source link

Richer metadata in `XFormArrangement`, `XFormCollection`. #1008

Open ryzhyk opened 3 years ago

ryzhyk commented 3 years ago

XFormArrangement and XFormCollection, as well as Relation and Arrangement should contain a field pointing to the source code fragment(s). This information can be used to generate more informative profiles.

cc @roymanish

Kixiron commented 3 years ago

I'm working on this rn