• Alexandre Duret-Lutz's avatar
    show how to implement product in Python · 74ec9c54
    Alexandre Duret-Lutz authored
    * wrap/python/tests/product.ipynb: New file.
    * wrap/python/tests/Makefile.am, doc/org/tut.org: Add it.
    * wrap/python/tests/ipnbdoctest.py: Ignore %timeit results.
    * wrap/python/spot_impl.i: Add bindings for
    * spot/twaalgos/product.cc: Fix computation of properties.
    * doc/org/hoa.org: Name.
    * NEWS: Update.
To find the state of this project's repository at the time of any of these versions, check out the tags.