Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 12, 2016

• fix regressions exposed by build

  Show description for 22fbed1
  NikolajBjorner

  committed
  22fbed1

  Copy full SHA for 22fbed1

• Optimization for initialization of mpf's from tiny reals.

  

  Christoph M. Wintersteiger

  committed
  f093ebe

  Copy full SHA for f093ebe

• fix more unused variable warning messages

  Show description for db746e0
  NikolajBjorner

  committed
  db746e0

  Copy full SHA for db746e0

• breaking regression tests: ensure that model values are of the sort of the original expression.

  Show description for 985fc50
  NikolajBjorner

  committed
  985fc50

  Copy full SHA for 985fc50

• fix build compiler warnings on OSX

  Show description for db71563
  NikolajBjorner

  committed
  db71563

  Copy full SHA for db71563

• fix query for non-relational engines

  Show description for 01c3e02
  NikolajBjorner

  committed
  01c3e02

  Copy full SHA for 01c3e02

• Merge pull request Z3Prover#414 from delcypher/typo_readme

  Show description for 905fa56
  

  Christoph M. Wintersteiger

  committed
  905fa56

  Copy full SHA for 905fa56

• Fix minor typo in README.md

  

  Dan Liew

  committed
  55ea75d

  Copy full SHA for 55ea75d

• fix build with gcc

  nunoplopes

  committed
  08139d1

  Copy full SHA for 08139d1

• Merge pull request Z3Prover#413 from NikolajBjorner/master

  Show description for f16550c
  NikolajBjorner

  committed
  f16550c

  Copy full SHA for f16550c

• Merge pull request Z3Prover#412 from delcypher/more_tidy_up_readme

  Show description for 78b93a5
  NikolajBjorner

  committed
  78b93a5

  Copy full SHA for 78b93a5

• remove std::cout

  Show description for 3bf8b17
  NikolajBjorner

  committed
  3bf8b17

  Copy full SHA for 3bf8b17

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

  NikolajBjorner

  committed
  739c907

  Copy full SHA for 739c907

• add model construction for disequations

  Show description for e22ac71
  NikolajBjorner

  committed
  e22ac71

  Copy full SHA for e22ac71

Commits on Jan 11, 2016

• Update information in README.md on Python bindings. Since

  Show description for 7cc12bf
  

  Dan Liew

  committed
  7cc12bf

  Copy full SHA for 7cc12bf

• Update information in README.md on ".NET" bindings. Since

  Show description for 8ae60d3
  

  Dan Liew

  committed
  8ae60d3

  Copy full SHA for 8ae60d3

• Teach the OCaml bindings install rule to respect the DESTDIR makefile

  Show description for cb106d7
  

  Dan Liew

  committed
  cb106d7

  Copy full SHA for cb106d7

• Don't silently fail if ocamlfind cannot be found when building the Ocaml

  Show description for f038291
  

  Dan Liew

  committed
  f038291

  Copy full SHA for f038291

• fix debugging code in ast.cpp to take into account that literals may be repeated

  Show description for 79a5b13
  NikolajBjorner

  committed
  79a5b13

  Copy full SHA for 79a5b13

• Optimization for real to float conversion. Relates to Z3Prover#383.

  

  Christoph M. Wintersteiger

  committed
  d4efa37

  Copy full SHA for d4efa37

• pin expressions per Sarah Winkler's memory leak report

  Show description for a156028
  NikolajBjorner

  committed
  a156028

  Copy full SHA for a156028

• Corrected fix to Z3Prover#354: The parameters got shared between the MBQI checker and main context, overriding m_array_laziness to 0 which caused missing propagations

  Show description for d4c98c1
  NikolajBjorner

  committed
  d4c98c1

  Copy full SHA for d4c98c1

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

  NikolajBjorner

  committed
  e786d11

  Copy full SHA for e786d11

• change queries to take function names instead of arbitrary predicates. This allows to bypass issues with having arbitrary query expressions compiled in arbitrary ways to auxiliary predicates where …

  Show description for 131f9e2
  NikolajBjorner

  committed
  131f9e2

  Copy full SHA for 131f9e2

• Merge pull request Z3Prover#375 from delcypher/tidy_up_readme

  Show description for e88ac37
  NikolajBjorner

  committed
  e88ac37

  Copy full SHA for e88ac37

• Fix Issue Z3Prover#405: Horn normal form ignores implication

  Show description for 082dcda
  NikolajBjorner

  committed
  082dcda

  Copy full SHA for 082dcda

• Issue Z3Prover#354. Fix unsoundness in Array theory based on missing propagation of selects over ite expressions

  Show description for fce286d
  NikolajBjorner

  committed
  fce286d

  Copy full SHA for fce286d

Commits on Jan 9, 2016

• dealing with issue Z3Prover#402

  Show description for 0df4931
  NikolajBjorner

  committed
  0df4931

  Copy full SHA for 0df4931

• dealing with issues Z3Prover#402 Z3Prover#399 Z3Prover#258

  Show description for 20cfbcd
  NikolajBjorner

  committed
  20cfbcd

  Copy full SHA for 20cfbcd

• enable Horner evaluation also for mixed-integer constraints now that ast-manger inserts coercions on the fly. Avoids loop for issue Z3Prover#399, but with this alone results in unknown status

  Show description for fc4260e
  NikolajBjorner

  committed
  fc4260e

  Copy full SHA for fc4260e

• Merge pull request Z3Prover#408 from delcypher/optional_python_bindings

  Show description for aecab2b
  NikolajBjorner

  committed
  aecab2b

  Copy full SHA for aecab2b

• add some conveniences for expressing string constraints

  Show description for 03cef7b
  NikolajBjorner

  committed
  03cef7b

  Copy full SHA for 03cef7b

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

  NikolajBjorner

  committed
  e1ade25

  Copy full SHA for e1ade25

• check that disequations are solved

  Show description for 4939957
  NikolajBjorner

  committed
  4939957

  Copy full SHA for 4939957

Commits on Jan 8, 2016

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

  NikolajBjorner

  committed
  5228492

  Copy full SHA for 5228492

Pagination

Previous

Next