vmware/differential-datalog v0.43.0

DDlog v0.43.0

on GitHub

[0.43.0] - Jul 25, 2021

Bug fixes

• Fixed a bug in type inference: #1022.
• Fixed non-deterministic behavior in internment.dl: e0be732

New library functions

• New ddlog_std library functions:

  /* Convert any DDlog type into a string in a programmer-facing,
   * debugging context.  Implemented by calling the `Debug::fmt()`
   * method of the underlying Rust type. */
  extern function to_string_debug(x: 'T): string
  
  function reverse(v: mut Vec<'X>)
  function reverse_imm(v: Vec<'X>): Vec<'X>