Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2013

• Fix compilation errors/warnings when using GCC

  Show description for a60b53b
  leodemoura

  committed
  a60b53b

  Copy full SHA for a60b53b

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  leodemoura

  committed
  f5f04e5

  Copy full SHA for f5f04e5

• Fix problem reported at http://stackoverflow.com/questions/17215640/getting-concrete-values-from-a-model-containing-array-ext

  Show description for 185f125
  leodemoura

  committed
  185f125

  Copy full SHA for 185f125

• Add trace msg

  Show description for cd485f0
  leodemoura

  committed
  cd485f0

  Copy full SHA for cd485f0

Commits on Jun 14, 2013

• FPA: debug output disabled.

  Show description for ecceb0a
  wintersteiger

  committed
  ecceb0a

  Copy full SHA for ecceb0a

• FPA: bugfix for float to float conversion (subnormal numbers).

  Show description for 92c1b25
  wintersteiger

  committed
  92c1b25

  Copy full SHA for 92c1b25

• MPF conversion bugfix.

  Show description for 76c59cb
  wintersteiger

  committed
  76c59cb

  Copy full SHA for 76c59cb

• .NET API: bugfix

  Show description for 1a26c97
  wintersteiger

  committed
  1a26c97

  Copy full SHA for 1a26c97

Commits on Jun 13, 2013

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  leodemoura

  committed
  894fd8b

  Copy full SHA for 894fd8b

• Fix issue https://z3.codeplex.com/workitem/47

  Show description for 40b1137
  leodemoura

  committed
  40b1137

  Copy full SHA for 40b1137

• Fix issue https://z3.codeplex.com/workitem/48

  Show description for 2c8b314
  leodemoura

  committed
  2c8b314

  Copy full SHA for 2c8b314

Commits on Jun 11, 2013

• reorder attibutes to match initialization order

  Show description for 6184c5f
  NikolajBjorner

  committed
  6184c5f

  Copy full SHA for 6184c5f

Commits on Jun 10, 2013

• add convex interior generalizer

  Show description for 0210156
  NikolajBjorner

  committed
  0210156

  Copy full SHA for 0210156

Commits on Jun 7, 2013

• FPA: added is_nan

  Show description for 455618b
  wintersteiger

  committed
  455618b

  Copy full SHA for 455618b

• FPA: added rewriting and fpa2bv conversion rules for new operations.

  Show description for d763955
  wintersteiger

  committed
  d763955

  Copy full SHA for d763955

• New FPA operators added.

  Show description for 123d3ec
  wintersteiger

  committed
  123d3ec

  Copy full SHA for 123d3ec

• FPA: bugfix for abs

  Show description for e5c720d
  wintersteiger

  committed
  e5c720d

  Copy full SHA for e5c720d

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  wintersteiger

  committed
  724f2af

  Copy full SHA for 724f2af

• Fix issue https://z3.codeplex.com/workitem/37

  Show description for 2b59f2e
  leodemoura

  committed
  2b59f2e

  Copy full SHA for 2b59f2e

Commits on Jun 6, 2013

• Fix issue https://z3.codeplex.com/workitem/38

  Show description for f4f1c63
  leodemoura

  committed
  f4f1c63

  Copy full SHA for f4f1c63

Commits on Jun 5, 2013

• Fix issue http://z3.codeplex.com/workitem/45

  Show description for 110fa0b
  leodemoura

  committed
  110fa0b

  Copy full SHA for 110fa0b

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  wintersteiger

  committed
  d301bd3

  Copy full SHA for d301bd3

Commits on Jun 4, 2013

• fix bugs reported by Nuno Lopes

  Show description for b6d9d8a
  NikolajBjorner

  committed
  b6d9d8a

  Copy full SHA for b6d9d8a

Commits on Jun 3, 2013

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  NikolajBjorner

  committed
  aa0d921

  Copy full SHA for aa0d921

• enable UTVPI by default

  Show description for bd064bf
  NikolajBjorner

  committed
  bd064bf

  Copy full SHA for bd064bf

• FPA: min/max/fma bugfixes + partial quantifier support

  Show description for 093fe94
  wintersteiger

  committed
  093fe94

  Copy full SHA for 093fe94

• SLS tactic: compilation fixes

  Show description for 7c32df9
  wintersteiger

  committed
  7c32df9

  Copy full SHA for 7c32df9

• fix reference count bugs in overflow/underflow APIs for bit-vectors

  Show description for 56bfc06
  NikolajBjorner

  committed
  56bfc06

  Copy full SHA for 56bfc06

• fix reference count bugs in overflow/underflow APIs for bit-vectors

  Show description for d569027
  NikolajBjorner

  committed
  d569027

  Copy full SHA for d569027

Commits on Jun 2, 2013

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  NikolajBjorner

  committed
  89d8970

  Copy full SHA for 89d8970

• addressing race condition on interrupts

  Show description for ec121db
  NikolajBjorner

  committed
  ec121db

  Copy full SHA for ec121db

• clean up parity computation

  Show description for 76a269c
  NikolajBjorner

  committed
  76a269c

  Copy full SHA for 76a269c

Commits on Jun 1, 2013

• remove hassel table from unstable: does not compile under other plantforms

  Show description for c0895e5
  NikolajBjorner

  committed
  c0895e5

  Copy full SHA for c0895e5

Commits on May 30, 2013

• Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  leodemoura

  committed
  b670f0b

  Copy full SHA for b670f0b

• Remove redundant register_on_timeout_proc

  Show description for 37215b0
  leodemoura

  committed
  37215b0

  Copy full SHA for 37215b0

Pagination

Previous

Next