pysmt / pysmt / 2077

Builds Branch Commit Type Ran Committer Via Coverage
2077 define-fun-bug forget parameters Pull #502 web-flow travis-ci pending completion   set done
2076 master accommodating test Pull #502 web-flow travis-ci pending completion   set done
2071 master fix test Pull #502 web-flow travis-ci pending completion   set done
2070 master mock solver Pull #501 web-flow travis-ci pending completion   set done
2069 master * Added MacOSX in the list of systems where pysmt is tested in CI * Implemented installer of yices via compilation to support systems (such as travis) with no AVX2 instructions: see http://yices.csl.sri.com/faq.html Pull #491 web-flow travis-ci pending completion   set done
2067 master shortcuts enables warnings only within pySMT package (#497) Fixed issue #490 push marcogario travis-ci pending completion   set done
2066 master Trying to fix gmpy installer Pull #491 web-flow travis-ci pending completion   set done
2064 master Trying to fix more cases Pull #491 web-flow travis-ci pending completion   set done
2062 master Trying to fix complete build Pull #491 web-flow travis-ci pending completion   set done
2061 macosx-mixed-ci Trying to fix complete build push mikand travis-ci pending completion   set done
2060 master Trying to avoid cache problems Pull #491 web-flow travis-ci pending completion   set done
2059 macosx-mixed-ci Trying to avoid cache problems push mikand travis-ci pending completion   set done
2057 macosx-mixed-ci Added MacOSX in the list of systems where pysmt is tested in CI push mikand travis-ci pending completion   set done
2054 master Merge branch 'feat/regex' Pull #478 web-flow travis-ci pending completion   set done
2011 master Fixed issue #490 Pull #497 web-flow travis-ci pending completion   set done