-
Alexandre Duret-Lutz authored
* spot/twaalgos/product.cc, spot/twaalgos/product.hh: Add those functions. * tests/python/_product_weak.ipynb, tests/python/except.py: Test them. * NEWS: Mention them.
822b7491
* spot/twaalgos/product.cc, spot/twaalgos/product.hh: Add those functions. * tests/python/_product_weak.ipynb, tests/python/except.py: Test them. * NEWS: Mention them.