pysmt / pysmt / 2010

Builds Branch Commit Type Ran Committer Via Coverage
2010 issue_490 Fixed issue #490 push mikand travis-ci pending completion   set done
2009 master Merge 6095887f0 into 1dd310a7e push web-flow travis-ci pending completion   set done
2004 master Merge pull request #486 from varunpatro/patch-1 Upgrade Yices to 2.54 and add macOS support push web-flow travis-ci pending completion   set done
2003 master Merge pull request #489 from Phat3/fix/doublequote_escaping Fix/doublequote escaping push web-flow travis-ci pending completion   set done
1998 master Merge pull request #494 from randomir/simplify-shared-lib-usage Simplify shared lib usage push web-flow travis-ci pending completion   set done
1997 upgrade/z3_4_7_1 Upgraded z3 version push mikand travis-ci pending completion   set done
1996 master Merge pull request #493 from randomir/fix-pysmt-cli-python3-issue-492 Fix pysmt CLI for Python3 (closes #492) push web-flow travis-ci pending completion   set done
1979 master Fix mathsat build on windows (-R $ORIGIN is default and not supported) Pull #494 web-flow travis-ci pending completion   set done
1977 macosx-mixed-ci Trying to fix pip issue with OSX 10.12 push mikand travis-ci pending completion   set done
1978 master Trying to fix pip issue with OSX 10.12 Pull #491 web-flow travis-ci pending completion   set done
1976 master Added execution permissions Pull #491 web-flow travis-ci pending completion   set done
1975 macosx-mixed-ci Added execution permissions push mikand travis-ci pending completion   set done
1974 master Trying with OSX 10.12 Pull #491 web-flow travis-ci pending completion   set done
1972 master Omit PATH/LD_LIBRARY_PATH from --env output Not needed anymore (since z3/msat now automagically discover SO/DLL). Pull #494 web-flow travis-ci pending completion   set done
1971 master Fix pysmt CLI for Python3 (closes #492) To append `dict_keys` to `list`, need to explicitly convert them. Pull #493 web-flow travis-ci pending completion   set done