Commits

Branch selector

 master

User selector

NikolajBjorner

Datepicker

All time

Commit History

Commits on Jul 30, 2022

• update versions

  Show description for 591d485
  NikolajBjorner

  committed
  591d485

  Copy full SHA for 591d485

• Update release.yml for Azure Pipelines

  Show description for a2d4419
  NikolajBjorner

  committed
  a2d4419

  Copy full SHA for a2d4419

Commits on Jul 29, 2022

• inc release number

  Show description for 69b1337
  NikolajBjorner

  committed
  69b1337

  Copy full SHA for 69b1337

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

  NikolajBjorner

  committed
  2a8e73f

  Copy full SHA for 2a8e73f

• update coding style to C++11

  Show description for 6d71d9e
  NikolajBjorner

  committed
  6d71d9e

  Copy full SHA for 6d71d9e

Commits on Jul 27, 2022

• sketch initial for mpz/mpq numeral creation

  NikolajBjorner

  committed
  ee80414

  Copy full SHA for ee80414

• Update RELEASE_NOTES.md

  Show description for 9c35971
  NikolajBjorner

  committed
  9c35971

  Copy full SHA for 9c35971

• fix Z3Prover#6194

  NikolajBjorner

  committed
  8551b21

  Copy full SHA for 8551b21

• fix Z3Prover#6193

  NikolajBjorner

  committed
  b6c80e8

  Copy full SHA for b6c80e8

• add decide callbacks to propagator API

  Show description for cd7ef11
  NikolajBjorner

  committed
  cd7ef11

  Copy full SHA for cd7ef11

Commits on Jul 25, 2022

• fix typo

  Show description for 43f2b84
  NikolajBjorner

  committed
  43f2b84

  Copy full SHA for 43f2b84

• force-push on new_eq, new_diseq in user propagator, other fixes to Python bindings for user propagator

  Show description for 5c2c0ae
  NikolajBjorner

  committed
  5c2c0ae

  Copy full SHA for 5c2c0ae

Commits on Jul 22, 2022

• increase version number

  Show description for 3a8eb1e
  NikolajBjorner

  committed
  3a8eb1e

  Copy full SHA for 3a8eb1e

• add await

  Show description for 1155ea6
  NikolajBjorner

  committed
  1155ea6

  Copy full SHA for 1155ea6

• try .ast

  Show description for 212a065
  NikolajBjorner

  committed
  212a065

  Copy full SHA for 212a065

• try to add basic expression simplification

  Show description for 7c0ec21
  NikolajBjorner

  committed
  7c0ec21

  Copy full SHA for 7c0ec21

• startswith

  Show description for 4368ec9
  NikolajBjorner

  committed
  4368ec9

  Copy full SHA for 4368ec9

• increment to include python fixes

  Show description for 845e852
  NikolajBjorner

  committed
  845e852

  Copy full SHA for 845e852

• Update release.yml for Azure Pipelines

  Show description for c6dad4a
  NikolajBjorner

  committed
  c6dad4a

  Copy full SHA for c6dad4a

• add way to access range bounds directly Z3Prover#6186

  Show description for 1e0f71c
  NikolajBjorner

  committed
  1e0f71c

  Copy full SHA for 1e0f71c

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

  NikolajBjorner

  committed
  87dd837

  Copy full SHA for 87dd837

• add IEnumerable for distinct

  Show description for 89af9df
  NikolajBjorner

  committed
  89af9df

  Copy full SHA for 89af9df

• make fresh_eh() work for Python bindings of user-propagator

  NikolajBjorner

  committed
  0f9684e

  Copy full SHA for 0f9684e

• adding toString() to model object

  Show description for 907dc2c
  NikolajBjorner

  committed
  907dc2c

  Copy full SHA for 907dc2c

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

  NikolajBjorner

  committed
  9cd3b9c

  Copy full SHA for 9cd3b9c

• set version number

  Show description for adcb3e8
  NikolajBjorner

  committed
  adcb3e8

  Copy full SHA for adcb3e8

Commits on Jul 21, 2022

• don't publish pypi yet

  Show description for 59d47e3
  NikolajBjorner

  committed
  59d47e3

  Copy full SHA for 59d47e3

• fix Z3Prover#6180

  Show description for efa74fe
  NikolajBjorner

  committed
  efa74fe

  Copy full SHA for efa74fe

• fix validation code for pb

  Show description for cf5a8fd
  NikolajBjorner

  committed
  cf5a8fd

  Copy full SHA for cf5a8fd

• fix the path to ../build/z3-built

  Show description for a66095b
  NikolajBjorner

  committed
  a66095b

  Copy full SHA for a66095b

• did I mess up wasm paths in jest - or not?

  Show description for dc95659
  NikolajBjorner

  committed
  dc95659

  Copy full SHA for dc95659

• did I mess up wasm paths in jest?

  Show description for 3700822
  NikolajBjorner

  committed
  3700822

  Copy full SHA for 3700822

• fix Z3Prover#6168

  NikolajBjorner

  committed
  32c0d1f

  Copy full SHA for 32c0d1f

• fix Z3Prover#6174

  Show description for 7f983e7
  NikolajBjorner

  committed
  7f983e7

  Copy full SHA for 7f983e7

• fix Z3Prover#6176

  Show description for 3261472
  NikolajBjorner

  committed
  3261472

  Copy full SHA for 3261472

Pagination

Previous

Next