Skip to content

GitLab

Switch branch/tag
This project is mirrored from https://*****@github.com/vmware/differential-datalog.git. Pull mirroring updated .
  1. 22 Apr, 2022 1 commit
  3. 09 Apr, 2022 1 commit
  5. 26 Feb, 2022 1 commit
  7. 17 Feb, 2022 1 commit
  9. 16 Feb, 2022 1 commit
  11. 12 Feb, 2022 4 commits
  13. 11 Feb, 2022 3 commits
  15. 28 Jan, 2022 2 commits
  17. 25 Jan, 2022 1 commit
  19. 13 Dec, 2021 2 commits
    • Leonid Ryzhyk's avatar
      Bump version to 1.2.3. · cd1164ee
      Leonid Ryzhyk authored
      cd1164ee
    • Leonid Ryzhyk's avatar
      Don't recompile Rust when only debug_info changes. · e65559cd
      Leonid Ryzhyk authored and Leonid Ryzhyk's avatar Leonid Ryzhyk committed 
      

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: default avatarLeonid Ryzhyk <lryzhyk@vmware.com>
      e65559cd
  21. 09 Dec, 2021 4 commits
  23. 08 Dec, 2021 4 commits
  25. 06 Dec, 2021 2 commits
    • Leonid Ryzhyk's avatar
      Replace empty name with `_` in `Record:*Struct`. · bdde4cb8
      Leonid Ryzhyk authored and Leonid Ryzhyk's avatar Leonid Ryzhyk committed 
      

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: default avatarLeonid Ryzhyk <lryzhyk@vmware.com>
      bdde4cb8
    • Leonid Ryzhyk's avatar
      Fix recording of `DDlogDynamic` commands. · 60bcc297
      Leonid Ryzhyk authored and Leonid Ryzhyk's avatar Leonid Ryzhyk committed 
      

`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: default avatarLeonid Ryzhyk <lryzhyk@vmware.com>
      60bcc297
  27. 02 Dec, 2021 3 commits
  29. 01 Dec, 2021 3 commits
  31. 30 Nov, 2021 3 commits
  33. 19 Nov, 2021 3 commits
  35. 16 Nov, 2021 1 commit