Commits

Branch selector

 814fcd6

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 12, 2017

• [CMake] Remove documentation on "Bootstrapping". It is no longer

  Show description for 814fcd6
  

  Dan Liew

  committed
  814fcd6

  Copy full SHA for 814fcd6

• [CMake] Modify contrib/cmake/bootstrap.py to do nothing except

  Show description for 5c3b11f
  

  Dan Liew

  committed
  5c3b11f

  Copy full SHA for 5c3b11f

• [CMake] Remove bootstrap check. Now that the CMake files are in

  Show description for 5be5037
  

  Dan Liew

  committed
  5be5037

  Copy full SHA for 5be5037

• [CMake] Move CMake files into their intended location so the

  Show description for 4b517b9
  

  Dan Liew

  committed
  4b517b9

  Copy full SHA for 4b517b9

• escaping names in get-assignment Z3Prover#1061

  Show description for f0fa439
  NikolajBjorner

  committed
  f0fa439

  Copy full SHA for f0fa439

Commits on Jun 11, 2017

• apply correction by ddcc Z3Prover#1069

  Show description for f5b54f0
  NikolajBjorner

  committed
  f5b54f0

  Copy full SHA for f5b54f0

• Merge pull request Z3Prover#1069 from delcypher/doxygen_z3_mk_solver

  Show description for 0700413
  NikolajBjorner

  authored
  0700413

  Copy full SHA for 0700413

• [Doxygen] Rewrite documentation of Z3_mk_solver() and

  Show description for c629dcc
  

  Dan Liew

  committed
  c629dcc

  Copy full SHA for c629dcc

Commits on Jun 10, 2017

• print_core as a function

  Show description for f44a3e1
  NikolajBjorner

  committed
  f44a3e1

  Copy full SHA for f44a3e1

• revert change to 1065

  Show description for 8acb37e
  NikolajBjorner

  committed
  8acb37e

  Copy full SHA for 8acb37e

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

  NikolajBjorner

  committed
  582a069

  Copy full SHA for 582a069

• filter assumptions by membership in initial list Z3Prover#1065

  Show description for b8e8e09
  NikolajBjorner

  committed
  b8e8e09

  Copy full SHA for b8e8e09

• print success Z3Prover#1068

  Show description for d5f6469
  NikolajBjorner

  committed
  d5f6469

  Copy full SHA for d5f6469

Commits on Jun 8, 2017

• Merge pull request Z3Prover#1066 from delcypher/misc_doxygen_fixes

  Show description for ed0e06c
  NikolajBjorner

  authored
  ed0e06c

  Copy full SHA for ed0e06c

Commits on Jun 7, 2017

• [Doxygen] Fixed mismatched @{ and @} declaration which prevented

  Show description for bcb3981
  

  Dan Liew

  committed
  bcb3981

  Copy full SHA for bcb3981

• [Doxygen] Fix some Doxygen warnings for z3_optimization.h

  

  Dan Liew

  committed
  85c7f5d

  Copy full SHA for 85c7f5d

• [Doxygen] Fix bug where some header files were not being scanned.

  

  Dan Liew

  committed
  903709b

  Copy full SHA for 903709b

Commits on Jun 6, 2017

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

  

  Christoph M. Wintersteiger

  committed
  0137104

  Copy full SHA for 0137104

• Added __deepcopy__ operators to ref-counted objects in the Python API

  

  Christoph M. Wintersteiger

  committed
  83e9c40

  Copy full SHA for 83e9c40

Commits on Jun 5, 2017

• add documentation per Z3Prover#1058

  Show description for af285d0
  NikolajBjorner

  committed
  af285d0

  Copy full SHA for af285d0

• add documentation per Z3Prover#1058

  Show description for 4f04301
  NikolajBjorner

  committed
  4f04301

  Copy full SHA for 4f04301

Commits on Jun 4, 2017

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

  NikolajBjorner

  committed
  a8ff97c

  Copy full SHA for a8ff97c

• print success after reset assertions Z3Prover#1057

  Show description for 668bad6
  NikolajBjorner

  committed
  668bad6

  Copy full SHA for 668bad6

Commits on Jun 2, 2017

• add shorthand for enumerating constants in a model

  Show description for efd5727
  NikolajBjorner

  committed
  efd5727

  Copy full SHA for efd5727

Commits on Jun 1, 2017

• fix reference count issue with pinning to expr_ref

  Show description for 2908ab4
  NikolajBjorner

  committed
  2908ab4

  Copy full SHA for 2908ab4

• fix regression in str

  Show description for e9ed3af
  NikolajBjorner

  committed
  e9ed3af

  Copy full SHA for e9ed3af

• expose operator kinds for internal functions using their sequence variants. Issue Z3Prover#1051

  Show description for fda59f5
  NikolajBjorner

  committed
  fda59f5

  Copy full SHA for fda59f5

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

  NikolajBjorner

  committed
  1fa60f4

  Copy full SHA for 1fa60f4

• add string accessors to managed APIs Z3Prover#1051

  Show description for 52e0f3b
  NikolajBjorner

  committed
  52e0f3b

  Copy full SHA for 52e0f3b

Commits on May 31, 2017

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

  

  Christoph M. Wintersteiger

  committed
  596652e

  Copy full SHA for 596652e

• Fixed signed/unsigned comparison warnings

  

  Christoph M. Wintersteiger

  committed
  4f0a872

  Copy full SHA for 4f0a872

• Tabs

  

  Christoph M. Wintersteiger

  committed
  a7d5bb7

  Copy full SHA for a7d5bb7

Commits on May 30, 2017

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

  NikolajBjorner

  committed
  546d22e

  Copy full SHA for 546d22e

• put temporaries on trail

  Show description for 415824b
  NikolajBjorner

  committed
  415824b

  Copy full SHA for 415824b

• Merge pull request Z3Prover#1050 from pathawks/fix-markdown

  Show description for 2cfb9ee
  NikolajBjorner

  authored
  2cfb9ee

  Copy full SHA for 2cfb9ee

Pagination

Previous

Next