Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2016

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

  NikolajBjorner

  committed
  e8f4dd7

  Copy full SHA for e8f4dd7

• fix proof production to avoid crash. Issue #733

  Show description for 77b245b
  NikolajBjorner

  committed
  77b245b

  Copy full SHA for 77b245b

Commits on Sep 16, 2016

• guard verbose output by verbosity level for datalog command-line tool

  Show description for cda967e
  NikolajBjorner

  committed
  cda967e

  Copy full SHA for cda967e

• add option to bypass compression of unbound tails, issue #738

  Show description for 7f29674
  NikolajBjorner

  committed
  7f29674

  Copy full SHA for 7f29674

• Merge pull request #722 from wintersteiger/i715

  Show description for 7a33081
  wintersteiger

  authored
  7a33081

  Copy full SHA for 7a33081

• Merge pull request #741 from wintersteiger/master

  Show description for d922ee6
  wintersteiger

  authored
  d922ee6

  Copy full SHA for d922ee6

• Removing an unused method from bv_rewriter.

  

  MikolasJanota

  authored and

  wintersteiger

  committed
  147c0f8

  Copy full SHA for 147c0f8

• Adding bv preprocessing techniques.

  

  MikolasJanota

  authored and

  wintersteiger

  committed
  ec47a1d

  Copy full SHA for ec47a1d

• style/formatting

  wintersteiger

  committed
  27ea7d8

  Copy full SHA for 27ea7d8

• x64 clause allocator fix for del_clause

  wintersteiger

  committed
  b70cc47

  Copy full SHA for b70cc47

• x64 clause allocator bug fix

  wintersteiger

  committed
  5b1cb49

  Copy full SHA for 5b1cb49

Commits on Sep 14, 2016

• Merge pull request #737 from MathieuRoger/patch-1

  Show description for 5290cd1
  NikolajBjorner

  authored
  5290cd1

  Copy full SHA for 5290cd1

• Update socrates.py

  MathieuRoger

  authored
  9245e61

  Copy full SHA for 9245e61

• remove special characters

  Show description for e7f36a2
  NikolajBjorner

  committed
  e7f36a2

  Copy full SHA for e7f36a2

• Merge pull request #736 from MathieuRoger/patch-1

  Show description for 01eafdf
  NikolajBjorner

  authored
  01eafdf

  Copy full SHA for 01eafdf

• Create socrates.py

  Show description for a7e3a9d
  MathieuRoger

  authored
  a7e3a9d

  Copy full SHA for a7e3a9d

Commits on Sep 13, 2016

• ensure that status is displayed in SMT-LIB2 compliant way. Issue #734

  Show description for 9f77759
  NikolajBjorner

  committed
  9f77759

  Copy full SHA for 9f77759

Commits on Sep 11, 2016

• fix regression in seq-replace rewriting

  Show description for 5a86815
  NikolajBjorner

  committed
  5a86815

  Copy full SHA for 5a86815

Commits on Sep 10, 2016

• add patch to deal with bug exposed in issue #721

  Show description for 1450594
  NikolajBjorner

  committed
  1450594

  Copy full SHA for 1450594

• fix heisenbug, unintialized variable, issue #720

  Show description for 0b57829
  NikolajBjorner

  committed
  0b57829

  Copy full SHA for 0b57829

• add missing rewrite rule. Issue #731

  Show description for cb14001
  NikolajBjorner

  committed
  cb14001

  Copy full SHA for cb14001

• ensure stoi axiom even when no value is present for argument. Issue #731

  Show description for 2f67665
  NikolajBjorner

  committed
  2f67665

  Copy full SHA for 2f67665

Commits on Sep 8, 2016

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

  NikolajBjorner

  committed
  d74e618

  Copy full SHA for d74e618

• update replace semantics

  Show description for e485d18
  NikolajBjorner

  committed
  e485d18

  Copy full SHA for e485d18

• move from uint_set to hashtable over unsigned to save memory overhead in consequence generation

  Show description for 76cf28d
  NikolajBjorner

  committed
  76cf28d

  Copy full SHA for 76cf28d

Commits on Sep 7, 2016

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

  NikolajBjorner

  committed
  94b6741

  Copy full SHA for 94b6741

• fixes to consequence generation and cancellation

  Show description for c5dd441
  NikolajBjorner

  committed
  c5dd441

  Copy full SHA for c5dd441

• fix spacing, cast to Bool

  Show description for 2d9dced
  NikolajBjorner

  committed
  2d9dced

  Copy full SHA for 2d9dced

• Merge pull request #730 from cttghc/patch-1

  Show description for 520f8fc
  NikolajBjorner

  authored
  520f8fc

  Copy full SHA for 520f8fc

Commits on Sep 6, 2016

• Fix omission of Z3_model_has_interp in z3++.h

  cttghc

  authored
  758266b

  Copy full SHA for 758266b

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

  NikolajBjorner

  committed
  0e9758a

  Copy full SHA for 0e9758a

• tuning by using get_consequences2

  Show description for 3b70dd6
  NikolajBjorner

  committed
  3b70dd6

  Copy full SHA for 3b70dd6

Commits on Sep 5, 2016

• Merge pull request #728 from AlexVonB/patch-1

  Show description for e7ae608
  wintersteiger

  authored
  e7ae608

  Copy full SHA for e7ae608

• Fix VisualStudio 2010 compiler warning C4100

  Show description for c6b0fc4
  AlexVonB

  authored
  c6b0fc4

  Copy full SHA for c6b0fc4

Commits on Sep 2, 2016

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

  NikolajBjorner

  committed
  424a8c6

  Copy full SHA for 424a8c6

Pagination

Previous

Next