pysmt / pysmt / 2201

Builds Branch Commit Type Ran Committer Via Coverage
2201 i520_stop_iteration Fixed bug in the management of extra_queue in the parser Pull #521 web-flow travis-ci pending completion   set done
2199 i520_stop_iteration Reversed semantics of consume/consume_enforced as consume_maybe/consume and removed future import that was incompatible with python 2.x Pull #521 web-flow travis-ci pending completion   set done
2197 i520_stop_iteration Finalized the (almost perfect) fix for #520 Pull #521 web-flow travis-ci pending completion   set done
717 i270/nonlinear Pow opertator - Added pow operators. Currently, the exponent must be a constant. - Made functions in formula.py more consistent Pull #282 web-flow travis-ci pending completion   set done
2194 master Install solvers to a relevant site-package by default (#517) - if user has virtual environment activated, simply install solvers in virtualenv's site packages - otherwise (debian's pip logic): - if user is root, install to system site/di... push marcogario travis-ci pending completion   set done
2193 env-local-install-remove-path-extension CI: Caching venv Pull #517 web-flow travis-ci pending completion   set done
2191 master Merge pull request #518 from leonardt/master [msat-installer] Don't use $ORIGIN on darwin push web-flow travis-ci pending completion   set done
2190 master [msat-installer] Don't use $ORIGIN on darwin Pull #518 web-flow travis-ci pending completion   set done
2189 env-local-install-remove-path-extension Patch python path for examples in tests Pull #517 web-flow travis-ci pending completion   set done
2179 master Merge pull request #516 from pysmt/docs/readme_update README: Improved examples + bibtex push web-flow travis-ci pending completion   set done
2178 master Ackermannization (#515) Support for Ackermannization in pysmt.rewritings. push marcogario travis-ci pending completion   set done
2177 ackerman Tests: Check that a solver is available Pull #515 web-flow travis-ci pending completion   set done
2176 ackerman Fixed case of more than 2 function applications See test_ackermannization_pairwise . Cleaned up the related code. Pull #515 web-flow travis-ci pending completion   set done
2175 ackerman substituting while walking Pull #515 web-flow travis-ci pending completion   set done
2164 docs/readme_update Update README.rst Pull #516 web-flow travis-ci pending completion   set done