Commits

Breadcrumbs

History for

onv1.3.0

User selector

All users

Datepicker

All time

Commit History

Commits on May 22, 2024

• desc: update; readme update

  vhavlena

  committed
  fe04493

  Copy full SHA for fe04493

• description: missing last paragraph

  vhavlena

  committed
  6b110f2

  Copy full SHA for 6b110f2

• system description; dockerfile

  vhavlena

  committed
  5ea281d

  Copy full SHA for 5ea281d

Commits on Apr 10, 2024

• Merge branch 'master' into new-new-z3

  jurajsic

  committed
  9c54c84

  Copy full SHA for 9c54c84

Commits on Nov 27, 2023

• cmake: Use FindPython3. (Z3Prover#7019)

  Show description for 9d1ceab
  waywardmonkeys

  authored
  9d1ceab

  Copy full SHA for 9d1ceab

Commits on Sep 26, 2023

• Merge branch 'master' into update_z3

  jurajsic

  committed
  1ba1904

  Copy full SHA for 1ba1904

Commits on May 23, 2023

• Polish description

  Adda0

  committed
  550e862

  Copy full SHA for 550e862

Commits on Feb 28, 2023

• Use sys.getdefaultencoding() instead of sys.stdout.encoding (Z3Prover#6612)

  twizmwazin

  authored
  1a9990a

  Copy full SHA for 1a9990a

Commits on Jan 31, 2023

• remove empty file

  Show description for e6f8fe3
  NikolajBjorner

  committed
  e6f8fe3

  Copy full SHA for e6f8fe3

• update release notes

  Show description for d263b37
  NikolajBjorner

  committed
  d263b37

  Copy full SHA for d263b37

• fix Z3Prover#6564

  Show description for 971b9d4
  NikolajBjorner

  committed
  971b9d4

  Copy full SHA for 971b9d4

• android 16 byte alignment for stack allocated memory?

  Show description for 238d604
  NikolajBjorner

  committed
  238d604

  Copy full SHA for 238d604

• updated doc generation script

  Show description for 5794d08
  NikolajBjorner

  committed
  5794d08

  Copy full SHA for 5794d08

Commits on Jan 6, 2023

• more tactic descriptions

  NikolajBjorner

  committed
  c07b6ab

  Copy full SHA for c07b6ab

Commits on Dec 16, 2022

• tactic

  Show description for e423fab
  NikolajBjorner

  committed
  e423fab

  Copy full SHA for e423fab

Commits on Dec 11, 2022

• doc fixes

  NikolajBjorner

  committed
  a9f52b0

  Copy full SHA for a9f52b0

Commits on Dec 7, 2022

• distribute forall cpp code

  NikolajBjorner

  committed
  7e69dab

  Copy full SHA for 7e69dab

• cave in to supporting proofs (partially) in simplifiers, updated doc

  NikolajBjorner

  committed
  80033e8

  Copy full SHA for 80033e8

Commits on Dec 6, 2022

• add doc

  NikolajBjorner

  committed
  1e06c74

  Copy full SHA for 1e06c74

• add documentation to initial selection of tactics

  NikolajBjorner

  committed
  5a5758b

  Copy full SHA for 5a5758b

Commits on Aug 22, 2022

• include global parameters and fixup for HTML meta-characters

  NikolajBjorner

  committed
  0eea021

  Copy full SHA for 0eea021

Commits on Aug 16, 2022

• add parameter documentation to nightly

  NikolajBjorner

  committed
  2103379

  Copy full SHA for 2103379

• remove \r from output

  Show description for fe00e95
  NikolajBjorner

  committed
  fe00e95

  Copy full SHA for fe00e95

• finish parameter help

  Show description for 498b6de
  NikolajBjorner

  committed
  498b6de

  Copy full SHA for 498b6de

• add parameter descriptions

  Show description for b169292
  NikolajBjorner

  committed
  b169292

  Copy full SHA for b169292

Commits on Aug 2, 2022

• cmake: Cleanup remnants of workaround for USES_TERMINAL.

  Show description for 42f5047
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  42f5047

  Copy full SHA for 42f5047

Commits on Aug 1, 2022

• Fix warning about \ref when building website.dox

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  059b795

  Copy full SHA for 059b795

Commits on Jul 30, 2022

• Remove remaining references to Z3_bool_opt.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  c682ec1

  Copy full SHA for c682ec1

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

Pagination

Previous

Next