This project is mirrored from https://*****@github.com/vmware/differential-datalog.git. Pull mirroring updated .
  1. 22 Apr, 2022 1 commit
  2. 09 Apr, 2022 1 commit
  3. 26 Feb, 2022 1 commit
  4. 17 Feb, 2022 1 commit
  5. 16 Feb, 2022 1 commit
  6. 12 Feb, 2022 4 commits
  7. 11 Feb, 2022 3 commits
  8. 28 Jan, 2022 2 commits
  9. 25 Jan, 2022 1 commit
  10. 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
  11. 09 Dec, 2021 4 commits
  12. 08 Dec, 2021 4 commits
  13. 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
  14. 02 Dec, 2021 3 commits
  15. 01 Dec, 2021 3 commits
  16. 30 Nov, 2021 3 commits
  17. 19 Nov, 2021 3 commits
  18. 16 Nov, 2021 1 commit