Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 3, 2021

• adding checks

  Show description for 1618c97
  NikolajBjorner

  committed
  1618c97

  Copy full SHA for 1618c97

• infeas

  Show description for 970347e
  NikolajBjorner

  committed
  970347e

  Copy full SHA for 970347e

• try delay init for user propagator in smt_tactic

  Show description for 0077ddf
  NikolajBjorner

  committed
  0077ddf

  Copy full SHA for 0077ddf

Commits on Dec 2, 2021

• stack

  Show description for 41aa7d7
  NikolajBjorner

  committed
  41aa7d7

  Copy full SHA for 41aa7d7

• enable user propagation on tactics

  Show description for bfd61fe
  NikolajBjorner

  committed
  bfd61fe

  Copy full SHA for bfd61fe

• three smt2 examples added and one python example updated (#5690)

  aestriplex

  authored
  cbdd7b0

  Copy full SHA for cbdd7b0

Commits on Dec 1, 2021

• fix regression from today, see #5676

  Show description for 71cbb16
  NikolajBjorner

  committed
  71cbb16

  Copy full SHA for 71cbb16

• fix #5687

  Show description for 87aec88
  NikolajBjorner

  committed
  87aec88

  Copy full SHA for 87aec88

• try th_lemma, update documentation of api functions for creating strings

  Show description for c6a5aa0
  NikolajBjorner

  committed
  c6a5aa0

  Copy full SHA for c6a5aa0

• na

  Show description for 3b4f976
  NikolajBjorner

  committed
  3b4f976

  Copy full SHA for 3b4f976

• change user propagation to apply scheme similar to theory_recfun

  Show description for 4daba29
  NikolajBjorner

  committed
  4daba29

  Copy full SHA for 4daba29

• fixing #5473

  Show description for 3c1aedf
  NikolajBjorner

  committed
  3c1aedf

  Copy full SHA for 3c1aedf

Commits on Nov 30, 2021

• add virtual destructor

  Show description for 9e51691
  NikolajBjorner

  committed
  9e51691

  Copy full SHA for 9e51691

• base -> core

  NikolajBjorner

  committed
  b5efb87

  Copy full SHA for b5efb87

• rename files to theory_user_propagator

  NikolajBjorner

  committed
  959f4c9

  Copy full SHA for 959f4c9

• introducing base namespace for user propagator

  NikolajBjorner

  committed
  5857236

  Copy full SHA for 5857236

Commits on Nov 29, 2021

• add debug information in user-propagate #5687

  Show description for c083aa8
  NikolajBjorner

  committed
  c083aa8

  Copy full SHA for c083aa8

• #5641

  NikolajBjorner

  committed
  1e9e52a

  Copy full SHA for 1e9e52a

Commits on Nov 28, 2021

• remove an unused var

  Show description for d50c4bf
  levnach

  committed
  d50c4bf

  Copy full SHA for d50c4bf

Commits on Nov 25, 2021

• #5641

  NikolajBjorner

  committed
  d50bfc6

  Copy full SHA for d50bfc6

Commits on Nov 24, 2021

• fix #5681

  NikolajBjorner

  committed
  833dd62

  Copy full SHA for 833dd62

Commits on Nov 22, 2021

• fix #5679

  Show description for e8f5a29
  NikolajBjorner

  committed
  e8f5a29

  Copy full SHA for e8f5a29

Commits on Nov 19, 2021

• include thread

  Show description for fee4821
  NikolajBjorner

  committed
  fee4821

  Copy full SHA for fee4821

• wasm build issue

  Show description for a7d2478
  NikolajBjorner

  committed
  a7d2478

  Copy full SHA for a7d2478

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

  NikolajBjorner

  committed
  741c5f4

  Copy full SHA for 741c5f4

• ensure smt2log works with multi-threaded consumers, ease scenarios around #5655

  Show description for ca2c2bb
  NikolajBjorner

  committed
  ca2c2bb

  Copy full SHA for ca2c2bb

• fix #5675

  Show description for 4928c28
  NikolajBjorner

  committed
  4928c28

  Copy full SHA for 4928c28

• revert use of f format

  Show description for 99d5215
  NikolajBjorner

  committed
  99d5215

  Copy full SHA for 99d5215

• mac builds

  Show description for f83367a
  NikolajBjorner

  committed
  f83367a

  Copy full SHA for f83367a

• fix #5674

  Show description for 518ef9f
  NikolajBjorner

  committed
  518ef9f

  Copy full SHA for 518ef9f

• if you read this commit message you probably are a programmer who has no life

  Show description for 4587575
  NikolajBjorner

  committed
  4587575

  Copy full SHA for 4587575

• Update release.yml for Azure Pipelines

  NikolajBjorner

  committed
  43a827c

  Copy full SHA for 43a827c

Commits on Nov 18, 2021

• Update release.yml for Azure Pipelines

  NikolajBjorner

  committed
  71d5d24

  Copy full SHA for 71d5d24

• Update release.yml for Azure Pipelines

  NikolajBjorner

  committed
  72f28f0

  Copy full SHA for 72f28f0

• update release pipeline

  Show description for b95ba89
  NikolajBjorner

  committed
  b95ba89

  Copy full SHA for b95ba89

Pagination

Previous

Next