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

Create release of the CLI tools
#1176 opened Apr 22, 2024 by TheKnarf
How to use the self-profiler API?
#1173 opened Dec 9, 2023 by bluegodg
ddlog -o option has weird behavior
#1163 opened Aug 10, 2022 by blp
Dev dependencies in prod release
#1157 opened Jun 10, 2022 by yhack
VSCode syntax highlight with escaping is broken bug Something isn't working
#1071 opened Sep 3, 2021 by odivlad
ddlog happily string-izes function references to unhelpful closure description bug Something isn't working Haskell Requires knowledge of Haskell
#1063 opened Aug 27, 2021 by blp
static linking fails on Fedora bug Something isn't working
#1051 opened Aug 16, 2021 by blp
Optimize the handling of strings literals. enhancement New feature or request
#1040 opened Aug 10, 2021 by ryzhyk
Richer metadata in XFormArrangement, XFormCollection. enhancement New feature or request
#1008 opened Jun 24, 2021 by ryzhyk
ProTip! Type g i on any issue or pull request to go back to the issue listing page.