Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 3, 2016

• Merge pull request #332 from pysmt/remove_deprecated

  Show description for c640327
  mikand

  authored
  c640327

  Copy full SHA for c640327

Commits on Oct 2, 2016

• Merge pull request #335 from yurimalheiros/master

  Show description for 1e4d2db
  

  Marco Gario

  authored
  1e4d2db

  Copy full SHA for 1e4d2db

Commits on Oct 1, 2016

• Fix some docs typos

  yurimalheiros

  committed
  ce8af66

  Copy full SHA for ce8af66

Commits on Sep 30, 2016

• Merge pull request #331 from pysmt/msat_unsat_core_fix

  Show description for ef35257
  mikand

  authored
  ef35257

  Copy full SHA for ef35257

Commits on Sep 29, 2016

• Remove deprecated methods

  Show description for bd07dc3
  marcogario

  committed
  bd07dc3

  Copy full SHA for bd07dc3

• MSat: Check if solver is configured for unsat-core

  Show description for 1766687
  marcogario

  committed
  1766687

  Copy full SHA for 1766687

Commits on Sep 28, 2016

• Update README.rst

  Show description for 230bc7a
  

  Marco Gario

  authored
  230bc7a

  Copy full SHA for 230bc7a

Commits on Sep 26, 2016

• Merge pull request #326 from pysmt/i323/parsing_bvX_variables

  Show description for 6e5591c
  

  Marco Gario

  authored
  6e5591c

  Copy full SHA for 6e5591c

• Test: Refactor test_parse_bvx_var

  marcogario

  committed
  10e8d91

  Copy full SHA for 10e8d91

• Test all configurations on master

  

  marcogario

  authored and

  Marco Gario

  committed
  cc9ccf0

  Copy full SHA for cc9ccf0

Commits on Sep 23, 2016

• Fixed a bug in Z3 wrapper

  mikand

  committed
  bb448df

  Copy full SHA for bb448df

• Fixed back-conversion problem via SMTLib in Z3: added support for extended bv rotation operators

  mikand

  committed
  bbde3d7

  Copy full SHA for bbde3d7

Commits on Sep 20, 2016

• Re-enavbled testing of examples with bit-vectors after parser fix

  mikand

  committed
  223ea43

  Copy full SHA for 223ea43

• Fixed issue #323 in SmtLibParser

  mikand

  committed
  2523d44

  Copy full SHA for 2523d44

• Merge pull request #325 from pysmt/i313/serialization_examples

  Show description for 46ce353
  mikand

  authored
  46ce353

  Copy full SHA for 46ce353

• Merge pull request #321 from pysmt/z3_back_conversion

  Show description for 2767402
  mikand

  authored
  2767402

  Copy full SHA for 2767402

Commits on Sep 19, 2016

• Extend Example to serialized formula

  Show description for f878626
  marcogario

  committed
  f878626

  Copy full SHA for f878626

Commits on Sep 13, 2016

• Z3: Avoid AstRef usage within Z3Converter

  Show description for 9b0c0b7
  marcogario

  committed
  9b0c0b7

  Copy full SHA for 9b0c0b7

• Z3: Improve efficiency of fwd conversion

  Show description for 97e0dae
  marcogario

  committed
  97e0dae

  Copy full SHA for 97e0dae

• Z3: Add back-conversion via SMT-LIB string buffer

  Show description for 965d1aa
  marcogario

  committed
  965d1aa

  Copy full SHA for 965d1aa

Commits on Sep 12, 2016

• Z3: Remove unused z3.is_* functions

  marcogario

  committed
  37bc755

  Copy full SHA for 37bc755

• Z3: Improve back conversion efficiency

  Show description for 17bb6a3
  marcogario

  committed
  17bb6a3

  Copy full SHA for 17bb6a3

• Z3: Extend back conversion to create new Symbols

  Show description for d7c1b6f
  marcogario

  committed
  d7c1b6f

  Copy full SHA for d7c1b6f

• BUGFIX: Times back conversion in Z3 was binary not n-ary

  Show description for 63e7c9a
  marcogario

  committed
  63e7c9a

  Copy full SHA for 63e7c9a

• Merge pull request #322 from pysmt/non-recursive-tree-walk

  Show description for abe6ed0
  

  Marco Gario

  authored
  abe6ed0

  Copy full SHA for abe6ed0

• Docs: Clarified use of TreeWalker

  marcogario

  committed
  4ddd655

  Copy full SHA for 4ddd655

Commits on Sep 10, 2016

• Merge pull request #319 from pysmt/bool_dag_size

  Show description for 410db17
  mikand

  authored
  410db17

  Copy full SHA for 410db17

Commits on Sep 9, 2016

• Simple script for perf-eval

  marcogario

  committed
  1b4061c

  Copy full SHA for 1b4061c

Commits on Sep 8, 2016

• Cleaned and refined the code of the printers

  mikand

  committed
  2f62221

  Copy full SHA for 2f62221

• Removed ugly use of iter(()) in favor of a slightly more complex walking logic

  mikand

  committed
  d8343bf

  Copy full SHA for d8343bf

Commits on Sep 7, 2016

• Removed leftover debug prints

  mikand

  committed
  04ef406

  Copy full SHA for 04ef406

• Modified TreeWalker to be non-recursive.

  Show description for 8e150ce
  mikand

  committed
  8e150ce

  Copy full SHA for 8e150ce

• SizeOracle: Add MEASURE_BOOL_DAG measure

  Show description for 553e4ae
  marcogario

  committed
  553e4ae

  Copy full SHA for 553e4ae

• Merge pull request #309 from pysmt/gmpy

  Show description for 72939b5
  mikand

  authored
  72939b5

  Copy full SHA for 72939b5

Commits on Sep 6, 2016

• Merge remote-tracking branch 'origin/master' into gmpy

  Show description for 3ffaee8
  marcogario

  committed
  3ffaee8

  Copy full SHA for 3ffaee8

Pagination

Previous

Next