Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 19, 2024

• use fold_left instead of filteri because it is not available on old

  Show description for 2c89a49
  redianthus

  committed
  2c89a49

  Copy full SHA for 2c89a49

• explicit some parameters to make working without LSP/Merlin easier

  redianthus

  committed
  b1b61c9

  Copy full SHA for b1b61c9

• use List.init, fix complexity of a few operations and make some code

  Show description for f8be076
  redianthus

  committed
  f8be076

  Copy full SHA for f8be076

• do not use `and` for non mutually recursive types

  redianthus

  committed
  78275d2

  Copy full SHA for 78275d2

Commits on Feb 18, 2024

• conditionally depend on importlib_resources (#7116)

  Show description for 199ef30
  cj81499

  authored
  199ef30

  Copy full SHA for 199ef30

Commits on Feb 16, 2024

• fix #7121

  Show description for 84d592c
  NikolajBjorner

  committed
  84d592c

  Copy full SHA for 84d592c

Commits on Feb 14, 2024

• #7117

  Show description for 2b14793
  NikolajBjorner

  committed
  2b14793

  Copy full SHA for 2b14793

• Fix some typos in identifiers. (#7118)

  waywardmonkeys

  authored
  155dfb1

  Copy full SHA for 155dfb1

• ci: Update `microsoft/setup-msbuild` to `v2` from `v1.3`. (#7119)

  Show description for dba2f78
  waywardmonkeys

  authored
  dba2f78

  Copy full SHA for dba2f78

Commits on Feb 13, 2024

• replace DEBUG_CODE by #ifdef Z3DEBUG in nlsat

  Show description for 4d06c39
  levnach

  committed
  4d06c39

  Copy full SHA for 4d06c39

• allow callbacks to be nested

  NikolajBjorner

  committed
  f1d97c7

  Copy full SHA for f1d97c7

Commits on Feb 8, 2024

• Fix some typos. (#7115)

  waywardmonkeys

  authored
  53f89a8

  Copy full SHA for 53f89a8

Commits on Feb 6, 2024

• move files from lib and java directory to bin

  Show description for 937d4aa
  NikolajBjorner

  committed
  937d4aa

  Copy full SHA for 937d4aa

Commits on Feb 5, 2024

• include debug output

  NikolajBjorner

  committed
  c40e72a

  Copy full SHA for c40e72a

• improve logging

  Show description for f4eaa6f
  NikolajBjorner

  committed
  f4eaa6f

  Copy full SHA for f4eaa6f

• finish encoding of n'th root

  Show description for 683070a
  NikolajBjorner

  committed
  683070a

  Copy full SHA for 683070a

• add todo note, and log more lemmas

  Show description for 8555f25
  NikolajBjorner

  committed
  8555f25

  Copy full SHA for 8555f25

• typo

  Show description for f4474a3
  NikolajBjorner

  committed
  f4474a3

  Copy full SHA for f4474a3

• distinguish vs-arch from arch identifier

  Show description for 446a9de
  NikolajBjorner

  committed
  446a9de

  Copy full SHA for 446a9de

• add note that the encoding is a first approximation

  Show description for d743e1b
  NikolajBjorner

  committed
  d743e1b

  Copy full SHA for d743e1b

• update self-validator to handle root expressions

  Show description for b9528b1
  NikolajBjorner

  committed
  b9528b1

  Copy full SHA for b9528b1

• move libz3.so from lib to bin, remove lib from distribution

  Show description for 548b9d0
  NikolajBjorner

  committed
  548b9d0

  Copy full SHA for 548b9d0

• add clause persistence to sat/smt solver

  Show description for 7970e4f
  NikolajBjorner

  committed
  7970e4f

  Copy full SHA for 7970e4f

Commits on Feb 4, 2024

• bypass replaying new clause within propagation

  Show description for 3cec3fc
  NikolajBjorner

  committed
  3cec3fc

  Copy full SHA for 3cec3fc

• add option to persist clauses #7109

  Show description for 3b90816
  NikolajBjorner

  committed
  3b90816

  Copy full SHA for 3b90816

• update assembly names

  Show description for a2fa4ff
  NikolajBjorner

  committed
  a2fa4ff

  Copy full SHA for a2fa4ff

• update assembly names

  Show description for c926705
  NikolajBjorner

  committed
  c926705

  Copy full SHA for c926705

• copy over dotnet files

  Show description for b9bec18
  NikolajBjorner

  committed
  b9bec18

  Copy full SHA for b9bec18

Commits on Feb 3, 2024

• mute some compiler warnings

  Show description for bc70282
  NikolajBjorner

  committed
  bc70282

  Copy full SHA for bc70282

• port remaining egraph update

  Show description for 9425c41
  NikolajBjorner

  committed
  9425c41

  Copy full SHA for 9425c41

• port updates to egraph from poly

  Show description for a5a819c
  NikolajBjorner

  committed
  a5a819c

  Copy full SHA for a5a819c

• fix typo

  Show description for 24ffef8
  NikolajBjorner

  committed
  24ffef8

  Copy full SHA for 24ffef8

• update build-win-signed-cmake

  Show description for e295ac9
  NikolajBjorner

  committed
  e295ac9

  Copy full SHA for e295ac9

• update build-win-signed-cmake

  Show description for e398f84
  NikolajBjorner

  committed
  e398f84

  Copy full SHA for e398f84

• update mk-win-dist-cmake

  Show description for bd082ab
  NikolajBjorner

  committed
  bd082ab

  Copy full SHA for bd082ab

Pagination

Previous

Next