Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 23, 2016

• fix unused variable warnings

  Show description for 882c3bd
  NikolajBjorner

  committed
  882c3bd

  Copy full SHA for 882c3bd

• fix to #717. The bottom-up COI filter can only use positive facts for filtering

  Show description for 510231d
  NikolajBjorner

  committed
  510231d

  Copy full SHA for 510231d

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

  NikolajBjorner

  committed
  b5c521e

  Copy full SHA for b5c521e

• check for non-nullness when handling optional info fields for marking. Fixes issue #719

  Show description for 0a09d5f
  NikolajBjorner

  committed
  0a09d5f

  Copy full SHA for 0a09d5f

Commits on Aug 20, 2016

• fixed memory leaks

  wintersteiger

  committed
  b03dc0a

  Copy full SHA for b03dc0a

• Fixed binding substitution in macro_util

  wintersteiger

  committed
  47e95f8

  Copy full SHA for 47e95f8

• fix axiomatization of str.replace. Fixes issue #703

  Show description for 879f792
  NikolajBjorner

  committed
  879f792

  Copy full SHA for 879f792

• fix axiomatization of str.replace. Fixes issue #703

  Show description for 2d8325e
  NikolajBjorner

  committed
  2d8325e

  Copy full SHA for 2d8325e

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

  NikolajBjorner

  committed
  439e8e6

  Copy full SHA for 439e8e6

• add option for prettier proof printing, Issue #706

  Show description for f2b5c11
  NikolajBjorner

  committed
  f2b5c11

  Copy full SHA for f2b5c11

Commits on Aug 12, 2016

• debug fixes

  wintersteiger

  committed
  e8141aa

  Copy full SHA for e8141aa

• debug check fix

  wintersteiger

  committed
  244c641

  Copy full SHA for 244c641

Commits on Aug 10, 2016

• logic detection fix

  wintersteiger

  committed
  b74bff7

  Copy full SHA for b74bff7

Commits on Aug 9, 2016

• Added debug traces.

  wintersteiger

  committed
  f54a7db

  Copy full SHA for f54a7db

• .NET API: Added MkMul from IEnumerable.

  wintersteiger

  committed
  ff3c630

  Copy full SHA for ff3c630

• Fixed sub-logic detection for the ALL logic.

  wintersteiger

  committed
  03aa691

  Copy full SHA for 03aa691

Commits on Aug 6, 2016

• Merge pull request #708 from dstaple/master

  Show description for aee6a7f
  NikolajBjorner

  authored
  aee6a7f

  Copy full SHA for aee6a7f

Commits on Aug 5, 2016

• wrapping interruptable with solver consequence call

  Show description for 14e8126
  NikolajBjorner

  committed
  14e8126

  Copy full SHA for 14e8126

• Removed complete() from handling of y.is_zero() in process_power

  

  Douglas B. Staple

  committed
  87b7674

  Copy full SHA for 87b7674

Commits on Aug 4, 2016

• fix scanner bug at EOF

  Show description for f3ef59b
  NikolajBjorner

  committed
  f3ef59b

  Copy full SHA for f3ef59b

Commits on Aug 3, 2016

• merge

  Show description for 6582330
  NikolajBjorner

  committed
  6582330

  Copy full SHA for 6582330

• modulating data-type solver

  Show description for bbfe02b
  NikolajBjorner

  committed
  bbfe02b

  Copy full SHA for bbfe02b

• tune consequence finding. Factor solver pretty-printing as SMT-LIB into top-level

  Show description for 491b3b3
  NikolajBjorner

  committed
  491b3b3

  Copy full SHA for 491b3b3

Commits on Jul 31, 2016

• add detection of non-fixed variables to consequence finding

  Show description for cb2d8d2
  NikolajBjorner

  committed
  cb2d8d2

  Copy full SHA for cb2d8d2

Commits on Jul 30, 2016

• add consequence command

  Show description for 7562efb
  NikolajBjorner

  committed
  7562efb

  Copy full SHA for 7562efb

• fix unsat core extraction code in smt_context

  Show description for 7346098
  NikolajBjorner

  committed
  7346098

  Copy full SHA for 7346098

• fix consequence tracking for negated assumptions

  Show description for d32019f
  NikolajBjorner

  committed
  d32019f

  Copy full SHA for d32019f

• switch to specialized consequence generator in combined_solver

  Show description for 7d545d9
  NikolajBjorner

  committed
  7d545d9

  Copy full SHA for 7d545d9

• adding consequence examples

  Show description for 2263be1
  NikolajBjorner

  committed
  2263be1

  Copy full SHA for 2263be1

Commits on Jul 29, 2016

• remove repeated default argument, remove tabs

  Show description for 82d0310
  NikolajBjorner

  committed
  82d0310

  Copy full SHA for 82d0310

• finish consequence fast path code

  Show description for 5c99405
  NikolajBjorner

  committed
  5c99405

  Copy full SHA for 5c99405

• fix build

  Show description for 4958ede
  NikolajBjorner

  committed
  4958ede

  Copy full SHA for 4958ede

• fix build for non C++11

  Show description for fa48703
  NikolajBjorner

  committed
  fa48703

  Copy full SHA for fa48703

• fix build for non C++11

  Show description for 0055254
  NikolajBjorner

  committed
  0055254

  Copy full SHA for 0055254

• build fix

  wintersteiger

  committed
  2e362aa

  Copy full SHA for 2e362aa

Pagination

Previous

Next