Permalink
Commits on Oct 30, 2018
  1. Docs: Tutorial on basic boolean solving (#535)

    mikand authored and marcogario committed Oct 30, 2018
    Tutorial on boolean logic derived from the Jupyter notebook from #444.
Commits on Oct 29, 2018
  1. Merge pull request #529 from pysmt/ci/python3.7

    mikand committed Oct 29, 2018
    CI: Python 3.7 on Linux
  2. Merge pull request #534 from pysmt/pr531/edits

    mikand committed Oct 29, 2018
    BV: Simplifier testing
Commits on Oct 27, 2018
  1. Tests: Fixed warnings and linting errors (#532)

    mikand authored and marcogario committed Oct 27, 2018
    * Fixed some tests that were raising warnings and linting errors
    * Test clean-up
Commits on Oct 15, 2018
  1. Merge pull request #530 from pysmt/i522/z3_check_context_on_del

    mikand committed Oct 15, 2018
    Z3: Check context presence on del
  2. Fix StopIteration use in SmtLib parser (#521)

    mikand authored and marcogario committed Oct 15, 2018
    Introduced two different functions for consuming a token in the parser: consume_maybe and consume. The first will consume a new token if available, but stop the iteration if no token is available. The second will require that a token is available and throw an exception if this is not the case.
    
    This makes the intent in the code much more clear. Previously, we were relying on StopIteration bubbling up the call stack to obtain the behavior of consume_maybe. However, this would not allow us to distinguish between a stream that ended abruptly and one that ended normally. 
    
    This also fixes a bug in the management of extra_queue in the parser
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 6, 2018
  1. Merge pull request #516 from pysmt/docs/readme_update

    mikand committed Aug 6, 2018
    README: Improved examples + bibtex
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 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 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
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 20, 2018
  1. shortcuts enables warnings only within pySMT package (#497)

    mikand authored and marcogario committed Jun 20, 2018
    Fixed issue #490
Commits on Jun 7, 2018
  1. Merge pull request #486 from varunpatro/patch-1

    mikand committed Jun 7, 2018
    Upgrade Yices to 2.54 and add macOS support
Commits on Jun 6, 2018
  1. Merge pull request #489 from Phat3/fix/doublequote_escaping

    mikand committed Jun 6, 2018
    Fix/doublequote escaping
  2. Merge pull request #494 from randomir/simplify-shared-lib-usage

    mikand committed Jun 6, 2018
    Simplify shared lib usage
  3. Merge pull request #493 from randomir/fix-pysmt-cli-python3-issue-492

    mikand committed Jun 6, 2018
    Fix pysmt CLI for Python3 (closes #492)
Commits on May 18, 2018
  1. Merge pull request #481 from pysmt/fix_picosat_install

    mikand committed May 18, 2018
    Fixed installer for picosat that now requires HTTPS
  2. Fixed installer for picosat that now requires HTTPS

    mikand committed May 18, 2018
Commits on Mar 10, 2018
  1. Updated installer to install Z3 4.6.0

    mikand committed Mar 10, 2018
  2. Merge pull request #473 from pysmt/fixing_z3_logic_by_name

    mikand committed Mar 10, 2018
    Fixinf Z3 exception handling
Commits on Mar 6, 2018
  1. Trying to fix @bellert issue reported on #328

    mikand committed Mar 6, 2018
Commits on Feb 26, 2018
  1. Fixed Z3 Installer to copy all binary files in the distribution. This f…

    mikand committed Feb 26, 2018
    …ixes #472
Commits on Jan 20, 2018
  1. Fixed Travis build and a small typo

    mikand committed Jan 20, 2018
Commits on Jan 16, 2018
  1. Merge branch 'fix-msat-array-types' into fixing-travis-ci

    mikand committed Jan 16, 2018
    This merges #470 to get test passed
Commits on Jan 10, 2018
  1. Fixed copy-paste error in function doc signaled in #471

    mikand committed Jan 10, 2018
Commits on Jan 2, 2018
  1. Implemented feedback on PR

    mikand committed Jan 2, 2018
  2. Fixed typing error in msat back

    mikand committed Jan 2, 2018
    The recently added theory combination example raised a typing error within the back function of the msat converter. The error was due to INT/REAL distinction made by pysmt that is ignored by mathsat for numeric constants. The fix consists in asking the type system of mathsat the relevant types instead of determining them using the pysmt type-checker.
    
    NOTE: this bug was highlighted by the new "theory combination" example added in #451 but the PR was accepted beacuse Travis is currently broken. We need to finish with #469 to trust CI again.
Commits on Dec 26, 2017
  1. Ported Travis builds to python 3.6 that is now standard on the new tr…

    mikand committed Dec 26, 2017
    …avis images
  2. Merge pull request #451 from pysmt/i414/examples_theory_combination

    mikand committed Dec 26, 2017
    Examples: Theory Combination
Commits on Dec 11, 2017
  1. Updated to MathSAT 5.5.1

    mikand committed Dec 11, 2017
Commits on Dec 10, 2017
  1. * Updated MathSAT to 5.5.0

    mikand committed Dec 10, 2017
    * Removed patch from installers package, moving the setup.py in the dedicated repo
    
    * Removed Win32 mathsat builds, because from 5.5.0 those are no longer supported.
  2. * Cleaned msat installer and added some comments

    mikand committed Nov 4, 2017
    * Cleaned and commented appveyor yml file