search

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
https://pypi.org/project/dd
Other
178 stars 39 forks source link

update URL of Travis CI jobs page; check Coveralls #45

Closed slivingston closed 4 years ago

slivingston commented 4 years ago

at the current tip of master (commit 0f6d16483cc13078edebac9e89d1d4b99d22991e), the URLs for the Travis CI jobs are broken. they should be

also, check Coveralls link

slivingston commented 4 years ago

also, related issue: https://github.com/tulip-control/tulip-control/issues/210

slivingston commented 4 years ago

done, as of commit c73e7e678912439ff003d8645e7df2f07a9a94e3