differential-datalog
differential-datalog copied to clipboard
vmware
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 writ...
- Generate documentation for DDlog libraries. - Visualize relations and rules as a graph.
For the following program: ``` function group_mean_d(g: Group actual type: std::Group): double { ^^^^^^^^^^^^^^^^^^^^ ```
Hi, I'm new to Rust so I would appreciate any advice. My intent is build a Python wrapper over DDLog. For version 1, I wanted to just take the output...
I noticed that when a DDlog project is recreated in-place (i.e., without a previously created one being removed), stale files from the previous version are kept around, although they may...
At the moment, the compiler refuses to convert type variables to strings. This can be fixed by: 1. Infering that a function expects a type variable to be printable 1....
At the moment, constants can be simulated by 0-arity functions. The main downside is the need to use parenthesis every time a constant is referenced. Also, function names start with...
- [ ] Detect unused variables in rules and functions - [ ] Detect unused intermediate relations (i.e., relations that are neither `output` nor used to compute other relations). -...
TODO list for DDlog/OVN integration: - [x] generate DDlog schema from OVSDB schema. - This can be done mostly automatically from OVSDB schema files; however we will need some way...