Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 16, 2015

• Merge pull request #164 from mlr-msft/master

  Show description for a7a0dee
  NikolajBjorner

  committed
  a7a0dee

  Copy full SHA for a7a0dee

• clarified README with information provided in issue #163.

  mlr-msft

  committed
  e5b702b

  Copy full SHA for e5b702b

Commits on Apr 29, 2015

• Merge branch 'unstable' of https://github.com/wintersteiger/z3 into contrib

  wintersteiger

  committed
  7f6ef0b

  Copy full SHA for 7f6ef0b

• Version number adjustment.

  wintersteiger

  committed
  4e082ea

  Copy full SHA for 4e082ea

• Remove temporary files created during configuration tests.

  wintersteiger

  committed
  78cc1e0

  Copy full SHA for 78cc1e0

Commits on Apr 28, 2015

• Merge branch 'contrib' of https://github.com/wintersteiger/z3

  wintersteiger

  committed
  d1aef7f

  Copy full SHA for d1aef7f

• Merge branch 'unstable' of https://github.com/Z3Prover/z3 into contrib

  Show description for 1d49f61
  wintersteiger

  committed
  1d49f61

  Copy full SHA for 1d49f61

• Fixed python 3.x problems.

  Show description for 1abeb82
  wintersteiger

  committed
  1abeb82

  Copy full SHA for 1abeb82

Commits on Apr 27, 2015

• type check distinct operator. fixes #62

  Show description for 620c119
  

  Nikolaj Bjorner

  committed
  620c119

  Copy full SHA for 620c119

• add failing test for issue #62 (mk_distinct doesnt type check)

  Show description for f7d9438
  nunoplopes

  committed
  f7d9438

  Copy full SHA for f7d9438

Commits on Apr 25, 2015

• FP: bugfix for get_some_value which couldn't produce rounding-mode values.

  wintersteiger

  committed
  abe73db

  Copy full SHA for abe73db

• FP: Fix for conversion functions from non-FP 0 to +0.0 even when the rounding mode is ToNegative.

  wintersteiger

  committed
  4768a36

  Copy full SHA for 4768a36

• Bugfix for MPF unpacking

  wintersteiger

  committed
  b58d3f4

  Copy full SHA for b58d3f4

Commits on Apr 24, 2015

• comments fix

  wintersteiger

  committed
  8c3fc57

  Copy full SHA for 8c3fc57

Commits on Apr 20, 2015

• merging into unstable

  kenmcmil

  committed
  9bff932

  Copy full SHA for 9bff932

• fixed interp api bug (github issue #47)

  kenmcmil

  committed
  5f37b1d

  Copy full SHA for 5f37b1d

• fix big-int bug for shift amounts, github issue 44, reported by Dejan

  Show description for 6c1a539
  NikolajBjorner

  committed
  6c1a539

  Copy full SHA for 6c1a539

Commits on Apr 19, 2015

• fix crash reported by Jojanovich, github issue 45'

  Show description for 7d88d04
  NikolajBjorner

  committed
  7d88d04

  Copy full SHA for 7d88d04

Commits on Apr 17, 2015

• Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable

  wintersteiger

  committed
  7e6ab73

  Copy full SHA for 7e6ab73

• Added missing notes on fpToIEEEBV in Python.

  wintersteiger

  committed
  f1a1267

  Copy full SHA for f1a1267

Commits on Apr 15, 2015

• re-indenting interp and duality

  kenmcmil

  committed
  af444be

  Copy full SHA for af444be

• Python API: Fixed expression types for floating point conversion functions.

  Show description for e1303e1
  wintersteiger

  committed
  e1303e1

  Copy full SHA for e1303e1

• fix race condition from cancellation exposed by build regression tests

  Show description for 80a1397
  NikolajBjorner

  committed
  80a1397

  Copy full SHA for 80a1397

Commits on Apr 13, 2015

• ML API doc fix

  wintersteiger

  committed
  a503676

  Copy full SHA for a503676

• Java API doc fix

  wintersteiger

  committed
  2948e47

  Copy full SHA for 2948e47

• Updated links in the documentation

  wintersteiger

  committed
  bf00723

  Copy full SHA for bf00723

• Documentation generator bugfixes and updates.

  wintersteiger

  committed
  f993d3d

  Copy full SHA for f993d3d

Commits on Apr 9, 2015

• Merge branch 'unstable' of https://github.com/wintersteiger/z3 into unstable

  wintersteiger

  committed
  dd0d0a9

  Copy full SHA for dd0d0a9

• Java example: Removed throws declarations for Z3Exception.

  wintersteiger

  committed
  8862cb4

  Copy full SHA for 8862cb4

• Java API: Removed throws declarations for Z3Exception.

  wintersteiger

  committed
  3cd018b

  Copy full SHA for 3cd018b

Commits on Apr 8, 2015

• Turned Z3Exception into a RuntimeException such that throws declarations are not needed anymore. Thanks to codeplex user steimann for this suggestion.

  wintersteiger

  committed
  b7bb534

  Copy full SHA for b7bb534

• Bugfix; InterpolationContext deleted Z3_config objects (inconsistent with non-Interpolation mk_context).

  Show description for 2f4c923
  wintersteiger

  committed
  2f4c923

  Copy full SHA for 2f4c923

• Build system bugfixes.

  Show description for 03020b9
  wintersteiger

  committed
  03020b9

  Copy full SHA for 03020b9

• Bugfix for build scripts.

  Show description for ba066ff
  wintersteiger

  committed
  ba066ff

  Copy full SHA for ba066ff

• Fixed Java API installation targets. Fixes #28

  wintersteiger

  committed
  0e8d314

  Copy full SHA for 0e8d314

Pagination

Previous

Next