Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 1, 2022

• Fix clang build (#6378)

  Naxaes

  authored
  49ebca6

  Copy full SHA for 49ebca6

• fix build

  nunoplopes

  committed
  47e44c5

  Copy full SHA for 47e44c5

Commits on Sep 30, 2022

• fix build

  Show description for 903cddc
  NikolajBjorner

  committed
  903cddc

  Copy full SHA for 903cddc

• fix build

  Show description for ab045f0
  NikolajBjorner

  committed
  ab045f0

  Copy full SHA for ab045f0

• fix #6371

  NikolajBjorner

  committed
  876ca2f

  Copy full SHA for 876ca2f

• work on proof checking

  Show description for b9cba82
  NikolajBjorner

  committed
  b9cba82

  Copy full SHA for b9cba82

• fix #6376

  Show description for ccda49b
  NikolajBjorner

  committed
  ccda49b

  Copy full SHA for ccda49b

Commits on Sep 28, 2022

• update dependencies for build

  Show description for 6eb2d2a
  NikolajBjorner

  committed
  6eb2d2a

  Copy full SHA for 6eb2d2a

• update proof formats for new core

  Show description for 107981f
  NikolajBjorner

  committed
  107981f

  Copy full SHA for 107981f

Commits on Sep 26, 2022

• #5261

  Show description for 9782d4a
  NikolajBjorner

  committed
  9782d4a

  Copy full SHA for 9782d4a

• fix build

  Show description for 7b982a8
  NikolajBjorner

  committed
  7b982a8

  Copy full SHA for 7b982a8

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

  NikolajBjorner

  committed
  3df8b9c

  Copy full SHA for 3df8b9c

• smc

  Show description for d7b9cc7
  NikolajBjorner

  committed
  d7b9cc7

  Copy full SHA for d7b9cc7

Commits on Sep 25, 2022

• Add EUF (congruence closure) proof hints and checker to the new core

  Show description for 9be8fc7
  NikolajBjorner

  committed
  9be8fc7

  Copy full SHA for 9be8fc7

Commits on Sep 24, 2022

• move has-default up before merge of parents

  Show description for 6f2fde8
  NikolajBjorner

  committed
  6f2fde8

  Copy full SHA for 6f2fde8

• Update msvc-static-build.yml

  Show description for aadb1a2
  NikolajBjorner

  authored
  aadb1a2

  Copy full SHA for aadb1a2

• Update msvc-static-build.yml

  NikolajBjorner

  authored
  b3c2169

  Copy full SHA for b3c2169

• Throw an exception if the variable in decide-callback is already assigned (#6362)

  Show description for 5ca53f3
  CEisenhofer

  authored
  5ca53f3

  Copy full SHA for 5ca53f3

• tracing for fpa

  NikolajBjorner

  committed
  3dfff3d

  Copy full SHA for 3dfff3d

• #6319

  Show description for 1f150ec
  NikolajBjorner

  committed
  1f150ec

  Copy full SHA for 1f150ec

Commits on Sep 23, 2022

• fix regression with uninitialized variable

  NikolajBjorner

  committed
  6226875

  Copy full SHA for 6226875

• #6319

  Show description for c41b6da
  NikolajBjorner

  committed
  c41b6da

  Copy full SHA for c41b6da

• #6363

  NikolajBjorner

  committed
  79b4357

  Copy full SHA for 79b4357

• fix #6363

  NikolajBjorner

  committed
  3d9512b

  Copy full SHA for 3d9512b

• #5261

  NikolajBjorner

  authored
  de74e34

  Copy full SHA for de74e34

Commits on Sep 22, 2022

• extended debugging for sat.euf

  NikolajBjorner

  committed
  4c6d715

  Copy full SHA for 4c6d715

• fix #6355

  Show description for c24d445
  NikolajBjorner

  committed
  c24d445

  Copy full SHA for c24d445

• Add option 'MSVC_STATIC' (#6358)

  Show description for b0d0c36
  gmh5225

  authored
  b0d0c36

  Copy full SHA for b0d0c36

• GitHub Workflows security hardening (#6353)

  Show description for 00cf5ed
  sashashura

  authored
  00cf5ed

  Copy full SHA for 00cf5ed

• Memory leak in .NET user-propagator (#6360)

  Show description for a67fe05
  CEisenhofer

  authored
  a67fe05

  Copy full SHA for a67fe05

• Dotnet Api: Fix infinite finalization of Context (#6361)

  Show description for 58fad41
  ptr1120

  authored
  58fad41

  Copy full SHA for 58fad41

Commits on Sep 21, 2022

• #6319

  Show description for 42945de
  NikolajBjorner

  committed
  42945de

  Copy full SHA for 42945de

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

  NikolajBjorner

  committed
  eba5a5d

  Copy full SHA for eba5a5d

• fix #6352

  Show description for 4518f4f
  NikolajBjorner

  committed
  4518f4f

  Copy full SHA for 4518f4f

Commits on Sep 20, 2022

• #6319

  Show description for 20250b2
  NikolajBjorner

  committed
  20250b2

  Copy full SHA for 20250b2

Pagination

Previous

Next