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.
JavaMIT
Issues
- 1
- 2
the parameter type `O` may not live long enough
#1178 opened by kasbah - 6
Where can I find information about profiler help?
#1177 opened by bluegodg - 0
Create release of the CLI tools
#1176 opened by TheKnarf - 2
Benchmark dataset avaliable?
#1175 opened by StarGazerM - 3
Tutorial example generates lots of noisy Rust warnings
#1174 opened by dabrahams - 5
How to use the self-profiler API?
#1173 opened by bluegodg - 3
Is there any API to dump the size of a relation rather than the whole content?
#1172 opened by enochii - 1
- 2
`ddlog -o` option has weird behavior
#1163 opened by blp - 3
Type constraints for right-hand operand of shift operators
#1158 opened by blp - 2
Dev dependencies in prod release
#1157 opened by yhack - 5
Stopped instance should return a meaningful error message [was: Error when trying to delete a relation].
#1154 opened by tatiana-s - 2
Feature request: LEFT JOIN for ddlog-sql
#1090 opened by amytai - 3
static linking fails on Fedora
#1051 opened by blp - 5
Unknown variable in Negations statement
#1137 opened by sdifv - 0
Anchors inside profile
#1120 opened by ryzhyk - 3
- 4
souffle's ord() is different from ddlog
#1115 opened by Price1999a - 3
Java DDlogAPI can't compile in different directory
#1128 opened by amytai - 0
SQL to DDlog compiler cannot compile when queries have windows, joins, aliases
#1126 opened by amytai - 0
SQL to DDlog compiler cannot compile JOINs with aliases with the same name as the original identifier
#1129 opened by amytai - 0
sql-ddlog feature request: support WHERE IN <subquery>
#1108 opened by amytai - 0
- 2
Feature request: DDlogRecord cloning API
#1097 opened by amytai - 0
Feature request: Add Java hooks for querying DDlog indices
#1091 opened by amytai - 1
Asymmetric ownership of records in API
#1092 opened by mihaibudiu - 0
SQL to DDlog compiler produces uncompilable DDlog for legal query containing OVER
#1068 opened by mihaibudiu - 2
SQL to DDlog compiler misses table name in context for windowed queries over JOINed tables
#1083 opened by amytai - 9
`flatbuffers` fails to compile on macOS v 11.4
#1019 opened by arkivm - 0
dl function generates uncompilable rust
#1072 opened by mihaibudiu - 1
Overloading in the LHS of `group_by`
#1079 opened by ryzhyk - 0
VSCode syntax highlight with escaping is broken
#1071 opened by odivlad - 0
SQL to DDlog compiler produces uncompilable DDlog for some illegal SQL program
#1061 opened by amytai - 1
- 4
- 1
ddlog-sql compiler needs to deal with subqueries
#1059 opened by amytai - 0
Implement by-reference interning.
#1042 opened by ryzhyk - 3
Allow comments in DDLog interpreter
#1057 opened by lykahb - 2
DDlog java files missing licenses
#1047 opened by amytai - 0
ddlog-sql: NullPointerException when trying to insert null for varchar column value
#1036 opened by amytai - 1
Bug in struct mutation
#1041 opened by mihaibudiu - 0
Optimize the handling of strings literals.
#1040 opened by ryzhyk - 1
Performance of DDlogAPI for JAVA
#1031 opened by sdifv - 1
Command Language does not support insertion of records to a relation with different name
#1032 opened by qishen - 0
Improved compiler support for d3log applications.
#1030 opened by ryzhyk - 10
- 8
How to add trait bound on generic type?
#1017 opened by qishen - 5
A running time question
#1014 opened by helloqirun - 5
Allow parsing of function invocations (or some kind of comple types) as part of CLI
#1011 opened by laurisvan