[ovs-dev,v2,0/6] Add DDlog implementation of ovn-northd

v1->v2 (thanks Numan!):
  - Applied several patches.
  - New commit to add documentation for the system-userspace testsuite.
  - New patches to improve the testsuite a couple of ways.
  - Revised "Prepare for multiple northd types" to fix system-userspace
    testsuite.
  - Updated DDlog implementation of northd to match latest master.
  - Updated copyright notices in DDlog implementation.

Ben Pfaff (4):
  Documentation: Document the system-userspace testsuite.
  tests: Remove explicit timeouts from most utility invocations.
  tests: Improve checking in "test unixctl" test.
  tests: Prepare for multiple northd types.

Leonid Ryzhyk (2):
  Export `VLOG_WARN` and `VLOG_ERR` from libovn for use in ddlog
  ovn-northd-ddlog: New implementation of ovn-northd based on ddlog.

 Documentation/automake.mk                     |    2 +
 Documentation/intro/install/general.rst       |   31 +-
 Documentation/topics/debugging-ddlog.rst      |  280 +
 Documentation/topics/index.rst                |    1 +
 Documentation/topics/testing.rst              |   35 +
 Documentation/tutorials/ddlog-new-feature.rst |  362 +
 Documentation/tutorials/index.rst             |    1 +
 NEWS                                          |    6 +
 acinclude.m4                                  |   43 +
 configure.ac                                  |    5 +
 lib/ovn-util.c                                |   17 +
 lib/ovn-util.h                                |    6 +
 m4/ovn.m4                                     |   16 +
 northd/.gitignore                             |    4 +
 northd/automake.mk                            |  104 +
 northd/helpers.dl                             |  114 +
 northd/ipam.dl                                |  492 ++
 northd/lrouter.dl                             |  701 ++
 northd/lswitch.dl                             |  626 ++
 northd/multicast.dl                           |  260 +
 northd/ovn-nb.dlopts                          |   13 +
 northd/ovn-northd-ddlog.c                     | 1752 ++++
 northd/ovn-sb.dlopts                          |   28 +
 northd/ovn.dl                                 |  373 +
 northd/ovn.rs                                 |  843 ++
 northd/ovn.toml                               |    2 +
 northd/ovn_northd.dl                          | 7477 +++++++++++++++++
 northd/ovsdb2ddlog2c                          |  127 +
 tests/atlocal.in                              |    8 +
 tests/automake.mk                             |    6 +-
 tests/ovn-controller-vtep.at                  |   20 +-
 tests/ovn-ic.at                               |   11 +-
 tests/ovn-macros.at                           |   99 +-
 tests/ovn-northd.at                           |  253 +-
 tests/ovn-sbctl.at                            |    2 +-
 tests/ovn.at                                  |  331 +-
 tests/ovs-macros.at                           |   20 +-
 tests/system-ovn.at                           |  122 +-
 tutorial/ovs-sandbox                          |   24 +-
 utilities/checkpatch.py                       |    2 +-
 utilities/ovn-ctl                             |   20 +-
 41 files changed, 14448 insertions(+), 191 deletions(-)
 create mode 100644 Documentation/topics/debugging-ddlog.rst
 create mode 100644 Documentation/tutorials/ddlog-new-feature.rst
 create mode 100644 northd/helpers.dl
 create mode 100644 northd/ipam.dl
 create mode 100644 northd/lrouter.dl
 create mode 100644 northd/lswitch.dl
 create mode 100644 northd/multicast.dl
 create mode 100644 northd/ovn-nb.dlopts
 create mode 100644 northd/ovn-northd-ddlog.c
 create mode 100644 northd/ovn-sb.dlopts
 create mode 100644 northd/ovn.dl
 create mode 100644 northd/ovn.rs
 create mode 100644 northd/ovn.toml
 create mode 100644 northd/ovn_northd.dl
 create mode 100755 northd/ovsdb2ddlog2c