Skip to content

Issues: vmware/differential-datalog

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Support left joins enhancement New feature or request
#127 opened Dec 12, 2018 by ryzhyk
Automatic string conversion for type variables enhancement New feature or request
#37 opened May 8, 2018 by ryzhyk
foreign keys for more compact FTL enhancement New feature or request
#48 opened Jun 6, 2018 by ryzhyk
add support for constants enhancement New feature or request good first issue (Haskell) Good first issue that requires the knowledge of Haskell
#72 opened Aug 24, 2018 by ryzhyk
DDlog lints enhancement New feature or request good first issue (Haskell) Good first issue that requires the knowledge of Haskell
#76 opened Sep 2, 2018 by ryzhyk
4 tasks
OVN integration TODOs
#85 opened Sep 10, 2018 by ryzhyk
10 of 13 tasks
Optimizations enhancement New feature or request
#92 opened Sep 17, 2018 by ryzhyk
5 of 8 tasks
Language does not support disjunction enhancement New feature or request Haskell Requires knowledge of Haskell
#98 opened Sep 19, 2018 by mihaibudiu
Test and document parsec's string parser question Further information is requested
#4 opened Apr 3, 2018 by ryzhyk
Mechanism to track provenance of output records enhancement New feature or request
#103 opened Sep 21, 2018 by ryzhyk
Souffle converter is incomplete bug Something isn't working
#174 opened Apr 16, 2019 by mihaibudiu
Bind and use variable enhancement New feature or request
#197 opened May 3, 2019 by mihaibudiu
DDlog is sensitive to the order of clauses in a body enhancement New feature or request
#198 opened May 3, 2019 by mihaibudiu
Add an "import" cli command enhancement New feature or request good first issue (Rust) Good first issue that requires the knowledge of Rust, but not Haskell. good first issue Good for newcomers
#205 opened May 8, 2019 by mihaibudiu
Timestamp overflow causes a crash
#225 opened May 22, 2019 by mihaibudiu
Souffle Converter to DNF does not handle some programs bug Something isn't working
#264 opened Jun 20, 2019 by mihaibudiu
ProTip! Find all open issues with in progress development work with linked:pr.