Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1124 | master | Address PR comments | Pull #338 | web-flow | travis-ci | pending completion set done | |
1123 | master | Remove unused profiling.py | push | marcogario | travis-ci | pending completion set done | |
1122 | master | SMTLIB: Test handling of 'debug_interaction' | Pull #338 | web-flow | travis-ci | pending completion set done | |
1121 | master | Update .travis.yml | push | web-flow | travis-ci | pending completion set done | |
659 | coveralls | Omit pysmt/cmd | push | marcogario | travis-ci | pending completion set done | |
658 | coveralls | Enable coverage for PYSMT_SOLVER="all", only. | push | marcogario | travis-ci | pending completion set done |