Permalink
Commits on Aug 17, 2018
  1. Merge pull request #518 from leonardt/master

    mikand committed Aug 17, 2018
    [msat-installer] Don't use $ORIGIN on darwin
Commits on Aug 16, 2018
  1. [msat-installer] Don't use $ORIGIN on darwin

    leonardt committed Aug 16, 2018
Commits on Aug 6, 2018
  1. Merge pull request #516 from pysmt/docs/readme_update

    mikand committed Aug 6, 2018
    README: Improved examples + bibtex
Commits on Aug 5, 2018
  1. Ackermannization (#515)

    yoni206 authored and marcogario committed Aug 5, 2018
    Support for Ackermannization in pysmt.rewritings.
Commits on Jul 29, 2018
  1. Update README.rst

    marcogario committed Jul 29, 2018
  2. Update README.rst

    marcogario committed Jul 29, 2018
  3. Portfolio example

    marcogario committed Jul 29, 2018
  4. Add bibtex

    marcogario committed Jul 29, 2018
  5. Update to README

    marcogario committed Jul 29, 2018
Commits on Jul 14, 2018
  1. CI: Upgrade pypy2.7 to pypy3.5 (#510)

    marcogario committed Jul 14, 2018
    * CI: Upgrade pypy2.7 to pypy3.5
    * Added automated check for the running python version
Commits on Jul 9, 2018
  1. Merge pull request #507 from pysmt/examples/pdr

    mikand committed Jul 9, 2018
    Examples: Model-checking based on PDR/IC3
  2. Merge pull request #509 from pysmt/upgrade/yices_2_6_0

    mikand committed Jul 9, 2018
    Yices: Upgrade to 2.6.0
Commits on Jul 8, 2018
  1. Tests: Replace assertEquals with assertEqual (#512)

    marcogario committed Jul 8, 2018
Commits on Jul 5, 2018
  1. Merge pull request #468 from pysmt/bv_str

    mikand committed Jul 5, 2018
    FNode.bv_str: Multiple format for BV printing
Commits on Jul 4, 2018
  1. Yices: Upgrade to 2.6.0

    marcogario committed Jul 4, 2018
  2. Update CONTRIBUTORS

    marcogario committed Jul 4, 2018
  3. Fix declare-sort bug (#501)

    yoni206 authored and marcogario committed Jul 4, 2018
    This is fixed by adding a case in the evaluate_command function.
    A test was added to check both 0-ary and 1-ary sorts.
  4. References + Minor Changes

    marcogario committed Nov 18, 2017
  5. Added PDR example

    cristian-mattarei authored and marcogario committed Nov 14, 2017
Commits on Jun 29, 2018
  1. Merge pull request #503 from mpreiner/fix-doc-bvashr

    mikand committed Jun 29, 2018
    Fix docstring for BVAShr.
  2. CI: MacOSX support (#491)

    mikand authored and marcogario committed Jun 29, 2018
    This includes an installer of yices via compilation to support systems (such as travis) with no AVX2 instructions: see http://yices.csl.sri.com/faq.html
  3. Fix docstring for BVAShr.

    mpreiner committed Jun 29, 2018
Commits on Jun 28, 2018
  1. Merge pull request #502 from yoni206/define-fun-bug

    mikand committed Jun 28, 2018
    fix define-fun bug
Commits on Jun 27, 2018
  1. forget parameters

    yoni206 committed Jun 27, 2018
Commits on Jun 26, 2018
Commits on Jun 25, 2018
  1. accommodating test

    yoni206 committed Jun 25, 2018
Commits on Jun 22, 2018
  1. add __

    yoni206 committed Jun 22, 2018
  2. add __

    yoni206 committed Jun 22, 2018
  3. getting a FreshSymbol for define-fun

    yoni206 committed Jun 22, 2018
  4. addressing comments

    yoni206 committed Jun 22, 2018
  5. fix test

    yoni206 committed Jun 22, 2018