differential-datalog

differential-datalog copied to clipboard

Bumps [calcite-core](https://github.com/apache/calcite) from 1.30.0 to 1.32.0. Commits 413eded [CALCITE-5275] Release Calcite 1.32.0 57aafa3 Cosmetic changes to release notes 2624925 [CALCITE-5262] Add many spatial functions, including support for WKB (well-kn... 479afa6...

dependabot[bot]

`ddlog -o` option has weird behavior

2

`ddlog --help` says the following about `-o`: ``` -o DIR --output-dir=DIR Output directory (default based on program name). ``` To me, this means that the output directory is based on...

blp

Tutorial example generates lots of noisy Rust warnings

3

``` Finished compiling "playpen.dl" in 0.23s libunwind: malformed __unwind_info at 0x184576CA8 bad second level page warning: unused return value of `CString::from_raw` that must be used --> differential_datalog/src/api/c_api.rs:1043:5 | 1043 |...

dabrahams

How to use the self-profiler API?

5

I want to know that how to use the self-profiler API in the ddlog program.(And I don't know how to use the function introduced in profiler.md such as 'arrangement_size_profile'). Or...

bluegodg

Is there any API to dump the size of a relation rather than the whole content?

3

Hi, really excellent work! I wonder if there is any API to **dump the size of a relation** rather than the whole content, say, at the end of a transaction?...

enochii

Bumps [h2](https://github.com/h2database/h2database) from 2.1.210 to 2.2.220. Release notes Sourced from h2's releases. Version 2.2.220 Changes since 2.1.214 release: ... (truncated) Commits 66185fb changelog adjustment f3c8222 version and release date 087522b...

dependabot[bot]

Why I cant find test/datalog_tests/redist.dl and ddlog.h

1

i have all the dependence done，but when i run `cc -shared -fPIC -I${JAVA_HOME}/include -I${JAVA_HOME}/include/${JDK_OS} -I. -I${DDLOG_HOME}/lib ${DDLOG_HOME}/java/ddlogapi.c -Ltarget/release/ -lrouting_ddlog -o libddlogapi.so ` . I got the error `fatal error: ddlog.h:...

wblingSun

The [Installation section](https://github.com/vmware/differential-datalog?tab=readme-ov-file#installation) suggest that I can either install the `ddlog` binary from a precompiled version or compile it myself from source. But to simplify the setup I wish I...

TheKnarf

Where can I find information about profiler help?

6

I am conducting an analysis on the memory profile and time profile of ddlog, and I noticed a link to the profiler help in the wiki: https://github.com/vmware/differential-datalog/wiki/Profiler-Help But I found...

bluegodg