This project is mirrored from https://*****@github.com/vmware/differential-datalog.git.
Pull mirroring updated .
- 22 Apr, 2022 1 commit
-
-
Mihai Budiu authored
* Upgrade h2, calcite, jooq Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 09 Apr, 2022 1 commit
-
-
Mihai Budiu authored
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 26 Feb, 2022 1 commit
-
-
Mihai Budiu authored
* Support for outer joins * Runtime test for outer join Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 17 Feb, 2022 1 commit
-
-
Mihai Budiu authored
* Use int64 instead of bigint * [sql compiler] Added set_agg aggregation function
-
- 16 Feb, 2022 1 commit
-
-
Mihai Budiu authored
* Represent vector columns by reference * Support insertion in array columns
-
- 12 Feb, 2022 4 commits
-
-
Amy Tai authored
Jooq translates BIGINT types into Types.DECIMAL, which means they should be treated as Longs to prevent overflow. Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
Amy Tai authored
DDlog transaction API currently throws an exception if there is already a transaction in progress. This lock is to prevent such exceptions from being generated. Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
Mihai Budiu authored
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
Mihai Budiu authored
* Contributor guide Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 11 Feb, 2022 3 commits
-
-
Leonid Ryzhyk authored
The vmware github org now has default templates for issues, which, in my opinion, make it harder for people to report problems and request improvements. I don't know how to disable templates altogether, but let's see if overriding them does the trick.
-
Because of this issue: https://github.com/droundy/internment/issues/34 we had to fix the dependency to 0.5.4 to maintain compatibility with Rust 1.52.1. Signed-off-by:
Leonid Ryzhyk <lryzhyk@vmware.com>
-
Mihai Budiu authored
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 28 Jan, 2022 2 commits
-
-
Mihai Budiu authored
This reverts commit 39cd4f4b.
-
Lalith Suresh authored
Signed-off-by:
Lalith Suresh <lsuresh@vmware.com>
-
- 25 Jan, 2022 1 commit
-
-
Tobin deKorne authored
-
- 13 Dec, 2021 2 commits
-
-
Leonid Ryzhyk authored
-
Recent improvements of the self-profiler infrastructure caused regression in Rust compilation times. We now store detailed debug info with each arrangement, including the list of source code locations where the arrangement is used. Every time the user as much as changes the formatting in one of these locations, debug info changes causing the crate that declares the relation to recompile. The workaround is to generate arrangements without debug_info and inject debug info from the root crate, which always gets re-compiled anyway. Signed-off-by:
Leonid Ryzhyk <lryzhyk@vmware.com>
-
- 09 Dec, 2021 4 commits
-
-
Leonid Ryzhyk authored
-
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
Leonid Ryzhyk authored
-
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 08 Dec, 2021 4 commits
-
-
Leonid Ryzhyk authored
-
-
-
-
- 06 Dec, 2021 2 commits
-
-
While an empty string is not a valid struct name, it occurs in `modify` commands when the caller does not both to provide struct name, only supplying fields to be modified. This works fine, except when command recording is enabled, in which case we end up with invalid syntax, e.g., `modify Rel key <- {.x = 1}`. Rather than declare such records invalid, we get around the parsing issue by serializing empty struct names in `Record::NamedStruct` and `Record::PosStruct` as `_`. The command parses handles `modify Rel key <- _{.x = 1}` just fine. Signed-off-by:
Leonid Ryzhyk <lryzhyk@vmware.com>
-
`impl DDlogDynamic` ended up recording commands twice, once directly and once by calling `impl DDlog`. To solve this, we add a new `impl` with methods from `trait DDlog` with an extra flag to control command recording. The flag is set to `true` when invoked from `impl DDlog` and `false` when invoked from `impl DDlogDynamic`, since the latter does its own recording. Also, added a test of the recording functionality in `java/test1`. Signed-off-by:
Leonid Ryzhyk <lryzhyk@vmware.com>
-
- 02 Dec, 2021 3 commits
-
-
`main.yml` contained a workaround for the github Ubuntu setup where the `~/.cargo` directory was a symlink. This is no longer the case with the current version of `ubuntu.latest`, and the workaround now breaks things, so we remove it. Signed-off-by:
Leonid Ryzhyk <lryzhyk@vmware.com>
-
Amy Tai authored
Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
Mihai Budiu authored
Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 01 Dec, 2021 3 commits
-
-
Mihai Budiu authored
-
Amy Tai authored
Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
Amy Tai authored
Because large DDlog programs can take long to compile, if we know that /tmp/program.dl won't change, a caller can choose not to recompile program.dl. Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
- 30 Nov, 2021 3 commits
-
-
Lalith Suresh authored
Signed-off-by:
Lalith Suresh <lsuresh@vmware.com>
-
Lalith Suresh authored
Signed-off-by:
Lalith Suresh <lsuresh@vmware.com>
-
Lalith Suresh authored
Signed-off-by:
Lalith Suresh <lsuresh@vmware.com>
-
- 19 Nov, 2021 3 commits
-
-
Mihai Budiu authored
* Support for subqueries in WHERE * Handle conjunctions in WHERE nested queries Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
Amy Tai authored
Signed-off-by:
Amy Tai <amy.tai.2009@gmail.com>
-
Mihai Budiu authored
Efficient SQL joins Signed-off-by:
Mihai Budiu <mbudiu@vmware.com>
-
- 16 Nov, 2021 1 commit
-
-
Shen Tianqi authored
-