Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 29, 2016

• Merge pull request Z3Prover#750 from angr/fix/python-global-load

  Show description for f00d5b8
  NikolajBjorner

  authored
  f00d5b8

  Copy full SHA for f00d5b8

• allow python to load libz3 using loader's default search

  rhelmot

  committed
  7816c53

  Copy full SHA for 7816c53

Commits on Sep 28, 2016

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

  NikolajBjorner

  committed
  ab3b362

  Copy full SHA for ab3b362

• fix compiler warnings, gcc

  Show description for 476b06f
  NikolajBjorner

  committed
  476b06f

  Copy full SHA for 476b06f

• Merge pull request Z3Prover#747 from LocutusOfBorg/patch-2

  Show description for 9fa7cd4
  NikolajBjorner

  authored
  9fa7cd4

  Copy full SHA for 9fa7cd4

Commits on Sep 26, 2016

• Merge pull request Z3Prover#746 from LocutusOfBorg/patch-1

  Show description for 6f4c139
  NikolajBjorner

  authored
  6f4c139

  Copy full SHA for 6f4c139

• fix build with new gcc and clang compilers

  LocutusOfBorg

  authored
  4817b87

  Copy full SHA for 4817b87

• Update mpff.cpp to fix build with clang and new gcc

  LocutusOfBorg

  authored
  9c48fbb

  Copy full SHA for 9c48fbb

Commits on Sep 23, 2016

• fix python for 3.x

  Show description for 8cf3562
  NikolajBjorner

  committed
  8cf3562

  Copy full SHA for 8cf3562

• disable smt-lib success printing when locally parsing database of common pattern rules. Issue Z3Prover#743

  Show description for b758a7a
  NikolajBjorner

  committed
  b758a7a

  Copy full SHA for b758a7a

• fix for package directory. issue Z3Prover#744

  Show description for 092c52e
  NikolajBjorner

  committed
  092c52e

  Copy full SHA for 092c52e

Commits on Sep 22, 2016

• Merge pull request Z3Prover#742 from angr/fix-tests

  Show description for 9746794
  NikolajBjorner

  authored
  9746794

  Copy full SHA for 9746794

• Fix up z3test to a) exist and b) work

  rhelmot

  committed
  4801a27

  Copy full SHA for 4801a27

Commits on Sep 21, 2016

• add z3test to cmakelists.txt

  Show description for cf56da8
  NikolajBjorner

  committed
  cf56da8

  Copy full SHA for cf56da8

• try copy instead of cp

  Show description for ef0dd74
  NikolajBjorner

  committed
  ef0dd74

  Copy full SHA for ef0dd74

• Merge pull request Z3Prover#735 from angr/new-build

  Show description for 14668b4
  NikolajBjorner

  authored
  14668b4

  Copy full SHA for 14668b4

• use copy instead of create_symlink when not on unix

  rhelmot

  committed
  f451363

  Copy full SHA for f451363

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

  NikolajBjorner

  committed
  516dba5

  Copy full SHA for 516dba5

• Add C++ functions for set operations per stackoverflow post, set relevancy = 2 for quantified maxsmt per example from Aaron Gember, fix conversion of default weights based on bug report from Patric…

  Show description for 527c519
  NikolajBjorner

  committed
  527c519

  Copy full SHA for 527c519

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 Z3Prover#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 Z3Prover#738

  Show description for 7f29674
  NikolajBjorner

  committed
  7f29674

  Copy full SHA for 7f29674

• Merge pull request Z3Prover#722 from wintersteiger/i715

  Show description for 7a33081
  

  Christoph M. Wintersteiger

  authored
  7a33081

  Copy full SHA for 7a33081

• Merge pull request Z3Prover#741 from wintersteiger/master

  Show description for d922ee6
  

  Christoph M. Wintersteiger

  authored
  d922ee6

  Copy full SHA for d922ee6

• Removing an unused method from bv_rewriter.

  

  MikolasJanota

  authored and

  Christoph M. Wintersteiger

  committed
  147c0f8

  Copy full SHA for 147c0f8

• Adding bv preprocessing techniques.

  

  MikolasJanota

  authored and

  Christoph M. Wintersteiger

  committed
  ec47a1d

  Copy full SHA for ec47a1d

• style/formatting

  

  Christoph M. Wintersteiger

  committed
  27ea7d8

  Copy full SHA for 27ea7d8

• x64 clause allocator fix for del_clause

  

  Christoph M. Wintersteiger

  committed
  b70cc47

  Copy full SHA for b70cc47

• x64 clause allocator bug fix

  

  Christoph M. Wintersteiger

  committed
  5b1cb49

  Copy full SHA for 5b1cb49

Commits on Sep 15, 2016

• Fix cmake build to work with the new system

  rhelmot

  committed
  9e49853

  Copy full SHA for 9e49853

Commits on Sep 14, 2016

• replace all non-portable filepath slashes with os.path.join

  rhelmot

  committed
  02217d0

  Copy full SHA for 02217d0

• Merge pull request Z3Prover#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

Pagination

Previous

Next