Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 17, 2022

• add missing generation of z3.z3 for pydoc and add some explanations to logging function declaration

  NikolajBjorner

  committed
  b5a89eb

  Copy full SHA for b5a89eb

Commits on Jul 12, 2022

• remove space

  Show description for 2e79704
  NikolajBjorner

  committed
  2e79704

  Copy full SHA for 2e79704

Commits on Jul 1, 2022

• fix doc errors

  Show description for 3c94083
  NikolajBjorner

  committed
  3c94083

  Copy full SHA for 3c94083

Commits on Jun 14, 2022

• Add high level bindings for js (Z3Prover#6048)

  Show description for 7fdcbba
  ritave

  authored
  7fdcbba

  Copy full SHA for 7fdcbba

Commits on May 28, 2022

• cleanup pre-processor for z3_api.h

  Show description for 4953b95
  NikolajBjorner

  committed
  4953b95

  Copy full SHA for 4953b95

• remove internal configuration

  Show description for 8d980ea
  NikolajBjorner

  committed
  8d980ea

  Copy full SHA for 8d980ea

Commits on Apr 11, 2022

• fix a tiny typo (Z3Prover#5960)

  Show description for 4f4e9a9
  andHW

  authored
  4f4e9a9

  Copy full SHA for 4f4e9a9

Commits on Mar 3, 2022

• doc macros

  NikolajBjorner

  committed
  2b71d8b

  Copy full SHA for 2b71d8b

Commits on Jan 30, 2021

• mld

  Show description for c99b805
  NikolajBjorner

  committed
  c99b805

  Copy full SHA for c99b805

• one more nightly

  Show description for 34c34b6
  NikolajBjorner

  committed
  34c34b6

  Copy full SHA for 34c34b6

Commits on Jan 11, 2021

• indentation and updated links to default landing pages

  NikolajBjorner

  committed
  2ead209

  Copy full SHA for 2ead209

• updates to doc

  NikolajBjorner

  committed
  bcbda45

  Copy full SHA for bcbda45

Commits on Nov 23, 2019

• align readme-cmake and cmakelists.txt according to current state Z3Prover#2732

  Show description for 5cbabb2
  NikolajBjorner

  committed
  5cbabb2

  Copy full SHA for 5cbabb2

Commits on Nov 22, 2019

• Fix "Unbound module Z" error when invoking ocamldoc.

  

  jamesjer

  authored and

  NikolajBjorner

  committed
  8db0429

  Copy full SHA for 8db0429

Commits on Nov 19, 2019

• rename additional build options Z3Prover#2709

  Show description for b50f850
  NikolajBjorner

  committed
  b50f850

  Copy full SHA for b50f850

• rename additional build options Z3Prover#2709

  Show description for e9d9792
  NikolajBjorner

  committed
  e9d9792

  Copy full SHA for e9d9792

Commits on Oct 11, 2019

• add build step to generate doc

  Show description for 8c8a8ce
  NikolajBjorner

  committed
  8c8a8ce

  Copy full SHA for 8c8a8ce

Commits on May 15, 2019

• Change from BINARY_DIR to PROJECT_BINARY_DIR

  barcharcraz

  committed
  167f968

  Copy full SHA for 167f968

Commits on Oct 21, 2018

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

  NikolajBjorner

  committed
  ccca063

  Copy full SHA for ccca063

Commits on Oct 20, 2018

• Fix some spelling errors (mostly in comments).

  flopp

  committed
  326bf40

  Copy full SHA for 326bf40

Commits on Oct 17, 2018

• add c-cube's recursive function theory

  Show description for c7d0d4e
  NikolajBjorner

  committed
  c7d0d4e

  Copy full SHA for c7d0d4e

Commits on May 25, 2018

• remove interp from documentation

  Show description for 8eeaa27
  NikolajBjorner

  committed
  8eeaa27

  Copy full SHA for 8eeaa27

Commits on Dec 25, 2017

• wip: add recursive functions

  c-cube

  committed
  d5e134d

  Copy full SHA for d5e134d

• design document for handling recursive functions

  c-cube

  committed
  fba22d2

  Copy full SHA for fba22d2

Commits on Dec 18, 2017

• Documentation fixes.

  

  Christoph M. Wintersteiger

  committed
  c3c06d7

  Copy full SHA for c3c06d7

Commits on Nov 13, 2017

• [CMake] When invoking mk_api_doc.py pass the build directory.

  Show description for 1a0bff7
  

  Dan Liew

  committed
  1a0bff7

  Copy full SHA for 1a0bff7

Commits on Nov 11, 2017

• API doc build fix. Related to Z3Prover#1350.

  

  Christoph M. Wintersteiger

  committed
  d44d918

  Copy full SHA for d44d918

Commits on Nov 9, 2017

• Fixed API doc build

  

  Christoph M. Wintersteiger

  committed
  a173b0f

  Copy full SHA for a173b0f

Commits on Sep 27, 2017

• fix Python API doxygen (make api_docs)

  ulidtko

  committed
  ce6e260

  Copy full SHA for ce6e260

• fix pydoc part of make api_docs

  ulidtko

  committed
  f07b89d

  Copy full SHA for f07b89d

Commits on Jul 9, 2017

• doc fixes

  Show description for 2b0106c
  NikolajBjorner

  committed
  2b0106c

  Copy full SHA for 2b0106c

Commits on Jun 12, 2017

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

  Show description for 4b517b9
  

  Dan Liew

  committed
  4b517b9

  Copy full SHA for 4b517b9

Commits on Jun 7, 2017

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

  

  Dan Liew

  committed
  903709b

  Copy full SHA for 903709b

Commits on May 4, 2017

• Fix bug in mk_api_doc.py where the Z3 python package path would be

  Show description for 6261a5c
  

  Dan Liew

  committed
  6261a5c

  Copy full SHA for 6261a5c

Commits on Apr 26, 2017

• [Doxygen] Fix link to ".NET" documentation it should point to the

  Show description for a6a6a9c
  

  Dan Liew

  committed
  a6a6a9c

  Copy full SHA for a6a6a9c

Pagination

Previous

Next