Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Nov 19, 2019

• rename additional build options #2709

  Show description for e9d9792
  NikolajBjorner

  committed
  e9d9792

  Copy full SHA for e9d9792

• remove deprecated USE_OPENMP, rename API_LOG_SYNC to Z3_API_LOG_SYNC (tiny part of #2709)

  Show description for 3ab9a1c
  NikolajBjorner

  committed
  3ab9a1c

  Copy full SHA for 3ab9a1c

• enable pypi

  Show description for 3729458
  NikolajBjorner

  committed
  3729458

  Copy full SHA for 3729458

Commits on Nov 18, 2019

• fix bug introduced when fixing #2721

  Show description for dde8da8
  NikolajBjorner

  committed
  dde8da8

  Copy full SHA for dde8da8

• block unsound itos solutions. #2721

  Show description for 9b72b60
  NikolajBjorner

  committed
  9b72b60

  Copy full SHA for 9b72b60

• fix #2720, unsound preprocessing in elim_uncnstr_tactic where datatype properties of eliminated subterms is forgotten

  Show description for 29e1fb6
  NikolajBjorner

  committed
  29e1fb6

  Copy full SHA for 29e1fb6

• fix for null symbol #2712

  Show description for 05ad90c
  NikolajBjorner

  committed
  05ad90c

  Copy full SHA for 05ad90c

• Updated references to Z3 icon

  

  Andrew Helwer

  authored and

  NikolajBjorner

  committed
  37382d2

  Copy full SHA for 37382d2

• Publishing SNK file private key for reproducible builds

  

  Andrew Helwer

  authored and

  NikolajBjorner

  committed
  dd4905e

  Copy full SHA for dd4905e

• fix; disable rewrite. fix #2715

  Show description for 215edcf
  NikolajBjorner

  committed
  215edcf

  Copy full SHA for 215edcf

• na

  Show description for fe0b3d6
  NikolajBjorner

  committed
  fe0b3d6

  Copy full SHA for fe0b3d6

• fix #2717

  Show description for 3c6dcea
  NikolajBjorner

  committed
  3c6dcea

  Copy full SHA for 3c6dcea

Commits on Nov 17, 2019

• fix #2707

  Show description for d95b549
  NikolajBjorner

  committed
  d95b549

  Copy full SHA for d95b549

Commits on Nov 16, 2019

• typo

  nunoplopes

  committed
  f0b8da4

  Copy full SHA for f0b8da4

• update release notes

  Show description for 2bf595c
  NikolajBjorner

  committed
  2bf595c

  Copy full SHA for 2bf595c

• fix #2706

  Show description for cbac860
  NikolajBjorner

  committed
  cbac860

  Copy full SHA for cbac860

• fix crash in BV internalizer due to unknown bv_neg symbol

  nunoplopes

  committed
  b9bc697

  Copy full SHA for b9bc697

Commits on Nov 15, 2019

• consolidate model.compact and model_compress #2704

  Show description for cb600a9
  NikolajBjorner

  committed
  cb600a9

  Copy full SHA for cb600a9

Commits on Nov 14, 2019

• inherit weights

  Show description for 1a9dfc5
  NikolajBjorner

  committed
  1a9dfc5

  Copy full SHA for 1a9dfc5

• print weight if it is different from default #2667

  Show description for 784e272
  NikolajBjorner

  committed
  784e272

  Copy full SHA for 784e272

• ensure generation is increased #2667

  Show description for 5f90e72
  NikolajBjorner

  committed
  5f90e72

  Copy full SHA for 5f90e72

Commits on Nov 12, 2019

• fix E instantiation

  Show description for 1281964
  NikolajBjorner

  committed
  1281964

  Copy full SHA for 1281964

Commits on Nov 11, 2019

• clang warnings

  Show description for 74cfcc4
  NikolajBjorner

  committed
  74cfcc4

  Copy full SHA for 74cfcc4

• address clang warnings

  Show description for 20598e3
  NikolajBjorner

  committed
  20598e3

  Copy full SHA for 20598e3

• remove unused variable

  Show description for 0c1b68b
  NikolajBjorner

  committed
  0c1b68b

  Copy full SHA for 0c1b68b

• remove assert

  Show description for c73a87c
  NikolajBjorner

  committed
  c73a87c

  Copy full SHA for c73a87c

• fixing smtfd

  Show description for 779183d
  NikolajBjorner

  committed
  779183d

  Copy full SHA for 779183d

• fix declaration sorts of auxiliary functions

  Show description for d23230e
  NikolajBjorner

  committed
  d23230e

  Copy full SHA for d23230e

Commits on Nov 8, 2019

• remove IS_GNU

  Show description for dd827ca
  NikolajBjorner

  committed
  dd827ca

  Copy full SHA for dd827ca

• remove deprecated and bind1st and unused warnings

  Show description for 4fabaf9
  NikolajBjorner

  committed
  4fabaf9

  Copy full SHA for 4fabaf9

• deal with warnings

  Show description for 984db30
  NikolajBjorner

  committed
  984db30

  Copy full SHA for 984db30

• fix #2675

  Show description for 4527a99
  NikolajBjorner

  committed
  4527a99

  Copy full SHA for 4527a99

Commits on Nov 7, 2019

• fix output

  Show description for 1fec4bb
  NikolajBjorner

  committed
  1fec4bb

  Copy full SHA for 1fec4bb

• remove print

  Show description for 0a8b924
  NikolajBjorner

  committed
  0a8b924

  Copy full SHA for 0a8b924

Commits on Nov 6, 2019

• na

  Show description for b76dee7
  NikolajBjorner

  committed
  b76dee7

  Copy full SHA for b76dee7

Pagination

Previous

Next