-
Notifications
You must be signed in to change notification settings - Fork 122
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
Label
Projects
Milestones
Assignee
Sort
Issues list
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
Incomplete implementation of assignments in Compile.hs
not implemented
#50
opened Jul 6, 2018 by
ryzhyk
Speed up compilation, reduce disk footprint of multiple datalog programs
enhancement
New feature or request
#58
opened Aug 2, 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
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
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
Programs should not be always evaluated in the starting state
enhancement
New feature or request
#221
opened May 18, 2019 by
mihaibudiu
Programs requiring a large number of iterations take a very long time
#224
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
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.