Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 8, 2022

• Delete wasm.yml

  chaosite

  authored
  0b8a206

  Copy full SHA for 0b8a206

• Delete wasm-release.yml

  chaosite

  authored
  b7bb331

  Copy full SHA for b7bb331

• Delete docker-image.yml

  chaosite

  authored
  5983abc

  Copy full SHA for 5983abc

• Delete cross-build.yml

  chaosite

  authored
  7df7405

  Copy full SHA for 7df7405

Commits on May 1, 2022

• Merge branch 'Z3Prover:master' into master

  chaosite

  authored
  695ac3a

  Copy full SHA for 695ac3a

Commits on Apr 27, 2022

• Z3str3 Debug (#6000)

  Show description for 5a9b0dd
  JohnLyu2

  authored
  5a9b0dd

  Copy full SHA for 5a9b0dd

• ocaml: fix is_arithmetic_numeral and is_bv_numeral (#6003)

  percontation

  authored
  99e299b

  Copy full SHA for 99e299b

• fix build for Z3_mk_datatype_sort

  Show description for 02d6f6a
  NikolajBjorner

  committed
  02d6f6a

  Copy full SHA for 02d6f6a

• enable nested ADT and sequences

  Show description for 81d97a8
  NikolajBjorner

  committed
  81d97a8

  Copy full SHA for 81d97a8

Commits on Apr 25, 2022

• #5778 - ensure arrays used inside of extensionality function are treated as shared

  Show description for 8e2f09b
  NikolajBjorner

  committed
  8e2f09b

  Copy full SHA for 8e2f09b

• #5778

  NikolajBjorner

  committed
  0a665b0

  Copy full SHA for 0a665b0

• #5778

  Show description for 489459a
  NikolajBjorner

  committed
  489459a

  Copy full SHA for 489459a

• set release version

  NikolajBjorner

  committed
  0b453a4

  Copy full SHA for 0b453a4

Commits on Apr 24, 2022

• automatically release wasm build (#5997)

  bakkot

  authored
  dc18b47

  Copy full SHA for dc18b47

• fix missing propagation on final

  NikolajBjorner

  committed
  24baf56

  Copy full SHA for 24baf56

• inc version number

  Show description for 33ffd46
  NikolajBjorner

  committed
  33ffd46

  Copy full SHA for 33ffd46

• wasm build: disable error handler (#5996)

  Show description for 312e037
  bakkot

  authored
  312e037

  Copy full SHA for 312e037

Commits on Apr 23, 2022

• update release notes

  Show description for 39f57fb
  NikolajBjorner

  committed
  39f57fb

  Copy full SHA for 39f57fb

• Document gotcha with z3-js (#5994)

  ViRb3

  authored
  bd6b302

  Copy full SHA for bd6b302

• enable pypi

  Show description for 0529e88
  NikolajBjorner

  committed
  0529e88

  Copy full SHA for 0529e88

• fix #5993

  Show description for 459cfc8
  NikolajBjorner

  committed
  459cfc8

  Copy full SHA for 459cfc8

• remove test

  Show description for 8e509d3
  NikolajBjorner

  committed
  8e509d3

  Copy full SHA for 8e509d3

• updated release script

  Show description for 8778f4d
  NikolajBjorner

  committed
  8778f4d

  Copy full SHA for 8778f4d

Commits on Apr 22, 2022

• format

  NikolajBjorner

  committed
  5a2c92f

  Copy full SHA for 5a2c92f

• Added bit2bool to the API (#5992)

  Show description for 81189d6
  CEisenhofer

  authored
  81189d6

  Copy full SHA for 81189d6

Commits on Apr 21, 2022

• remove buggy prototype

  Show description for 0dd0fd2
  NikolajBjorner

  committed
  0dd0fd2

  Copy full SHA for 0dd0fd2

• update nightly/release scripts to produce arm64 for what is tested

  Show description for e6e00d8
  NikolajBjorner

  committed
  e6e00d8

  Copy full SHA for e6e00d8

Commits on Apr 20, 2022

• change default output to print objective value

  Show description for d9f3625
  NikolajBjorner

  committed
  d9f3625

  Copy full SHA for d9f3625

• remove out

  Show description for e3c3584
  NikolajBjorner

  committed
  e3c3584

  Copy full SHA for e3c3584

Commits on Apr 19, 2022

• missing switch cases

  NikolajBjorner

  committed
  ec57d3b

  Copy full SHA for ec57d3b

• #5980

  NikolajBjorner

  committed
  5393f1d

  Copy full SHA for 5393f1d

• fix #5980

  NikolajBjorner

  committed
  a180254

  Copy full SHA for a180254

• fix #5985

  NikolajBjorner

  committed
  b7169e2

  Copy full SHA for b7169e2

• #5986

  Show description for a1ead5f
  NikolajBjorner

  committed
  a1ead5f

  Copy full SHA for a1ead5f

• add shortcut to serialize/deserialize based on question at FV hangout

  Show description for 9b66d86
  NikolajBjorner

  committed
  9b66d86

  Copy full SHA for 9b66d86

Pagination

Previous

Next