Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 28, 2019

• Bump version to 0.8.1dev1

  marcogario

  committed
  2d423e4

  Copy full SHA for 2d423e4

• Merge pull request #557 from pysmt/rc/0.8.0

  Show description for d7005f8
  

  Marco Gario

  authored
  d7005f8

  Copy full SHA for d7005f8

• Changes: Add note on test failure on Z3 tactics

  marcogario

  committed
  56ad4c1

  Copy full SHA for 56ad4c1

Commits on Jan 27, 2019

• Doc: Removed out-dated info about OSX testing

  marcogario

  committed
  268e7ae

  Copy full SHA for 268e7ae

• Change version to 0.8.0

  marcogario

  committed
  2366dba

  Copy full SHA for 2366dba

• Docs: Update CONTRIBUTORS

  marcogario

  committed
  0971341

  Copy full SHA for 0971341

• Docs: Updated CHANGES.rst

  marcogario

  committed
  8c8977c

  Copy full SHA for 8c8977c

• Merge pull request #541 from pysmt/examples/strings

  Show description for c97d640
  

  Marco Gario

  authored
  c97d640

  Copy full SHA for c97d640

• Examples: Strings

  marcogario

  committed
  9029d0a

  Copy full SHA for 9029d0a

• Boolector: Upgrade to 3.0.1-pre (7f5d32) (#514)

  Show description for 3798ed5
  

  Marco Gario

  authored
  3798ed5

  Copy full SHA for 3798ed5

Commits on Jan 21, 2019

• Merge pull request #552 from pysmt/upgrade/cvc4_1_7_pre

  Show description for d3fcb7d
  mikand

  authored
  d3fcb7d

  Copy full SHA for d3fcb7d

Commits on Jan 18, 2019

• Re-added disabled test for all the solvers except CVC4 and added due comment to explain why

  mikand

  committed
  3bfe15c

  Copy full SHA for 3bfe15c

• Passed all linux tests to xenial for uniformity and to avoid problems with cvc4 script requirements

  mikand

  committed
  998643e

  Copy full SHA for 998643e

• Temporarily disabled solver_options test

  mikand

  committed
  47db81f

  Copy full SHA for 47db81f

• CI

  

  marcogario

  authored and

  mikand

  committed
  d79d0d4

  Copy full SHA for d79d0d4

• CI: Remove apt SWIG

  

  marcogario

  authored and

  mikand

  committed
  79b2a18

  Copy full SHA for 79b2a18

• CI: Remove sudo:required

  

  marcogario

  authored and

  mikand

  committed
  0f73e8e

  Copy full SHA for 0f73e8e

• CVC: Upgrade to 1.7pre

  

  marcogario

  authored and

  mikand

  committed
  349fac4

  Copy full SHA for 349fac4

• CVC4: Upgrade to 1.7pre

  

  marcogario

  authored and

  mikand

  committed
  5ada756

  Copy full SHA for 5ada756

Commits on Jan 16, 2019

• Merge pull request #550 from pysmt/upgrade/z3_4_8_4

  Show description for 7cee6ea
  

  Marco Gario

  authored
  7cee6ea

  Copy full SHA for 7cee6ea

Commits on Jan 14, 2019

• Merge pull request #544 from ahmed-irfan/toplevel-propagator

  Show description for 7d152a5
  mikand

  authored
  7d152a5

  Copy full SHA for 7d152a5

Commits on Jan 11, 2019

• ToplevelProp -- handle also constant=constant equality

  ahmed-irfan

  committed
  b80b4d7

  Copy full SHA for b80b4d7

• ToplevelProp --simplified comparison function as suggested by @mikand

  ahmed-irfan

  committed
  c7e4937

  Copy full SHA for c7e4937

Commits on Jan 10, 2019

• added comments

  ahmed-irfan

  committed
  86cd151

  Copy full SHA for 86cd151

• made the disjointSet class more generic -- now ranking function is a parameter

  ahmed-irfan

  committed
  5ce9b97

  Copy full SHA for 5ce9b97

Commits on Jan 8, 2019

• Ported pysmt Z3 warpper to version 4.8.4. WARNING: this commit removed the interpolation support via Z3 because the feature is no longer available in Z3

  mikand

  committed
  784f339

  Copy full SHA for 784f339

Commits on Jan 1, 2019

• added disjoint set class

  ahmed-irfan

  committed
  28dfe0b

  Copy full SHA for 28dfe0b

• toplevel prop fix

  ahmed-irfan

  committed
  963be6c

  Copy full SHA for 963be6c

• added more tests for toplevel propagation

  ahmed-irfan

  committed
  2cefd10

  Copy full SHA for 2cefd10

• detect early unsat with toplevel propagation

  ahmed-irfan

  committed
  bfc08f3

  Copy full SHA for bfc08f3

Commits on Dec 22, 2018

• fixed test

  ahmed-irfan

  committed
  611ee73

  Copy full SHA for 611ee73

Commits on Dec 21, 2018

• updated nl test

  ahmed-irfan

  committed
  7435d3e

  Copy full SHA for 7435d3e

• added 2 simple tests for top-level propagator

  ahmed-irfan

  committed
  ba92fd0

  Copy full SHA for ba92fd0

• improved top-level implementation using a simple union-find

  ahmed-irfan

  committed
  ffaa2ba

  Copy full SHA for ffaa2ba

• Merge branch 'master' of https://github.com/pysmt/pysmt into toplevel-propagator

  ahmed-irfan

  committed
  9eac45f

  Copy full SHA for 9eac45f

Pagination

Previous

Next