Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2016

• enable qe-lite for UFNIA benchmarks

  Show description for fd6fe87
  NikolajBjorner

  committed
  fd6fe87

  Copy full SHA for fd6fe87

• Merge pull request #526 from bpowers/_build

  Show description for 4badc52
  wintersteiger

  committed
  4badc52

  Copy full SHA for 4badc52

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

  Show description for 8bcac82
  wintersteiger

  committed
  8bcac82

  Copy full SHA for 8bcac82

• Merge branch 'delcypher-cmake_fix_enable_tracing_in_debug_mode'

  wintersteiger

  committed
  38fc49a

  Copy full SHA for 38fc49a

• build: allow overriding of 'ar' in mk_config

  Show description for 7bb085a
  bpowers

  committed
  7bb085a

  Copy full SHA for 7bb085a

Commits on Mar 21, 2016

• remove debug code

  Show description for 72ec6dc
  NikolajBjorner

  committed
  72ec6dc

  Copy full SHA for 72ec6dc

• remove qe-lite pass in quant_tatics

  Show description for 5e73764
  NikolajBjorner

  committed
  5e73764

  Copy full SHA for 5e73764

• hardening model checker code against cancellations'

  Show description for 701f324
  NikolajBjorner

  committed
  701f324

  Copy full SHA for 701f324

• [CMake] Fix issue #522

  Show description for d3afdc9
  

  Dan Liew

  committed
  d3afdc9

  Copy full SHA for d3afdc9

• adding min/max

  Show description for 3dc2028
  NikolajBjorner

  committed
  3dc2028

  Copy full SHA for 3dc2028

Commits on Mar 20, 2016

• remove nnf conversion which breaks NRA property

  Show description for 680c28d
  NikolajBjorner

  committed
  680c28d

  Copy full SHA for 680c28d

• enable new NRA solver for nra benchmarks

  Show description for 1a5449c
  NikolajBjorner

  committed
  1a5449c

  Copy full SHA for 1a5449c

• fix regression warning on invalid case split strategy

  Show description for 73e29c6
  NikolajBjorner

  committed
  73e29c6

  Copy full SHA for 73e29c6

• adjusting new tactics

  Show description for 92b5aac
  NikolajBjorner

  committed
  92b5aac

  Copy full SHA for 92b5aac

• Merge pull request #523 from delcypher/fix_no_kind_namespace

  Show description for b66fc4e
  NikolajBjorner

  committed
  b66fc4e

  Copy full SHA for b66fc4e

• Fix gcc build broken by f175f864ec7ac91fd89c6b1fb3914d4b752faa71.

  Show description for 971fd59
  

  Dan Liew

  committed
  971fd59

  Copy full SHA for 971fd59

• expose qsat tactic to default tactics

  Show description for f0bdcbb
  NikolajBjorner

  committed
  f0bdcbb

  Copy full SHA for f0bdcbb

• Merge pull request #521 from delcypher/cmake_python_custom_install_location

  Show description for fe20101
  wintersteiger

  committed
  fe20101

  Copy full SHA for fe20101

Commits on Mar 19, 2016

• fix cmake issues

  Show description for 67dc5ce
  NikolajBjorner

  committed
  67dc5ce

  Copy full SHA for 67dc5ce

• moving remaining qsat functionality over

  Show description for 20bbdfe
  NikolajBjorner

  committed
  20bbdfe

  Copy full SHA for 20bbdfe

• add new files to cmakelists

  Show description for 296addf
  NikolajBjorner

  committed
  296addf

  Copy full SHA for 296addf

• more merges with qsat

  Show description for d614fed
  NikolajBjorner

  committed
  d614fed

  Copy full SHA for d614fed

• include more qsat features

  Show description for 76d6376
  NikolajBjorner

  committed
  76d6376

  Copy full SHA for 76d6376

• include more qsat features

  Show description for c4472ce
  NikolajBjorner

  committed
  c4472ce

  Copy full SHA for c4472ce

• merge useful utilities from qsat

  Show description for f175f86
  NikolajBjorner

  committed
  f175f86

  Copy full SHA for f175f86

Commits on Mar 18, 2016

• [CMake] Add CMAKE_INSTALL_PYTHON_PKG_DIR option to control where python

  Show description for 8746cc4
  

  Dan Liew

  committed
  8746cc4

  Copy full SHA for 8746cc4

• fix regression in internalizing bit-vectors, reported by Mikolas Janota

  Show description for f951372
  NikolajBjorner

  committed
  f951372

  Copy full SHA for f951372

Commits on Mar 17, 2016

• update copyright year

  Show description for b0f6533
  NikolajBjorner

  committed
  b0f6533

  Copy full SHA for b0f6533

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

  NikolajBjorner

  committed
  ab82fee

  Copy full SHA for ab82fee

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

  wintersteiger

  committed
  9405459

  Copy full SHA for 9405459

• Added eager ackermannization to QF_FP, so that small numbers of unspecified operators are eliminated upfront.

  wintersteiger

  committed
  cc04fdb

  Copy full SHA for cc04fdb

• reduce-args: last fix for may_be_unique to support quantified variables in arbitrary exprs

  nunoplopes

  committed
  f5c4800

  Copy full SHA for f5c4800

• reduce-args: fix unsoundness 2: f(v + 2), where b is quantified

  nunoplopes

  committed
  facb421

  Copy full SHA for facb421

• reduce-args: fixed unsoundness introduced in my previous commit

  Show description for aed4619
  nunoplopes

  committed
  aed4619

  Copy full SHA for aed4619

• Bugfix for bvurem0 model evaluation (+1 rewriting step)

  wintersteiger

  committed
  c8af48d

  Copy full SHA for c8af48d

Pagination

Previous

Next