DDlog v0.42.1

[0.42.1] - Jul 16, 2021

• New library functions:

  • ddlog_std.dl:

    function values(m: Map<'K, 'V>): Vec<'V>
    function nth_value(m: Map<'K, 'V>, n: usize): Option<'V>
    function nth_key(m: Map<'K, 'V>, n: usize): Option<'K>
    

  • map.dl:

    function find(m: Map<'K, 'V>, f: function('V): bool): Option<'V>
    function any(m: Map<'K, 'V>, f: function('V): bool): bool
    

• Bug fixes:

  • Fixed scrambled self-profiler output.
  • Fixed compilation speed regression introduced in 0.42.0.

• New feature in OVSDB-to-DDlog compiler:

  • multiset-table option to force an output-only table to be declared as a
    multiset.