Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 17, 2024

• add variables from definitions

  Show description for a23a8cd
  NikolajBjorner

  committed
  a23a8cd

  Copy full SHA for a23a8cd

Commits on Oct 16, 2024

• better model replay for loose entries

  NikolajBjorner

  committed
  92376e6

  Copy full SHA for 92376e6

• fix incrementality bug for pre-processing: replay has to be invoked on every push regardless.

  NikolajBjorner

  committed
  5a5e39a

  Copy full SHA for 5a5e39a

• update unit_lim to the correct value (#7423)

  Show description for 8ff4036
  stormckey

  authored
  8ff4036

  Copy full SHA for 8ff4036

Commits on Oct 15, 2024

• fix the code to cube at the correct frequency (#7422)

  Show description for 3896e18
  stormckey

  authored
  3896e18

  Copy full SHA for 3896e18

Commits on Oct 14, 2024

• simplify string patterns into prefix/suffix constraints

  Show description for 5993735
  NikolajBjorner

  committed
  5993735

  Copy full SHA for 5993735

• Update docker-image.yml

  Show description for 62478db
  NikolajBjorner

  authored
  62478db

  Copy full SHA for 62478db

Commits on Oct 13, 2024

• fixes for #7420 #7405

  NikolajBjorner

  committed
  56b706a

  Copy full SHA for 56b706a

Commits on Oct 12, 2024

• #7419

  Show description for 3a8195b
  NikolajBjorner

  committed
  3a8195b

  Copy full SHA for 3a8195b

Commits on Oct 11, 2024

• increment minor version number

  Show description for 7a0b58b
  NikolajBjorner

  committed
  7a0b58b

  Copy full SHA for 7a0b58b

Commits on Oct 10, 2024

• fix recursive self call for slice_solver check-sat-cc method

  Show description for efde656
  NikolajBjorner

  committed
  efde656

  Copy full SHA for efde656

• add _0 to platform tag for pypi

  Show description for 54d30f2
  NikolajBjorner

  committed
  54d30f2

  Copy full SHA for 54d30f2

• downgrade to macos13 in builds until fully supported by pypi

  Show description for 6e3b99f
  NikolajBjorner

  committed
  6e3b99f

  Copy full SHA for 6e3b99f

• update release notes

  Show description for b268b56
  NikolajBjorner

  committed
  b268b56

  Copy full SHA for b268b56

Commits on Oct 9, 2024

• fix typo in setup.py

  Show description for 00f1f1b
  NikolajBjorner

  committed
  00f1f1b

  Copy full SHA for 00f1f1b

• remove : from setup.py

  Show description for fe71b75
  NikolajBjorner

  committed
  fe71b75

  Copy full SHA for fe71b75

• remove hard-wired osx=11.0

  Show description for 5dc1b1a
  NikolajBjorner

  committed
  5dc1b1a

  Copy full SHA for 5dc1b1a

• setup python dist to remove internal build suffix for macos

  NikolajBjorner

  committed
  48aa2f6

  Copy full SHA for 48aa2f6

• remove m_level attribute, use s->get_scope_level directly

  NikolajBjorner

  committed
  da614c6

  Copy full SHA for da614c6

• fix #7363. Replay relevancy on unit literals that are re-asserted during backtracking.

  Show description for 6bd46b0
  NikolajBjorner

  committed
  6bd46b0

  Copy full SHA for 6bd46b0

Commits on Oct 8, 2024

• add slice solver option to command context

  NikolajBjorner

  committed
  cfd00ad

  Copy full SHA for cfd00ad

• A slice solver option for interactive use case

  Show description for 8a95dd4
  NikolajBjorner

  committed
  8a95dd4

  Copy full SHA for 8a95dd4

• micro-tuning

  NikolajBjorner

  committed
  0fec7ef

  Copy full SHA for 0fec7ef

• mico-tuning

  NikolajBjorner

  committed
  c6cd25c

  Copy full SHA for c6cd25c

Commits on Oct 4, 2024

• refactor and optimize git operations for commit messages and failure analysis (#7412)

  pelikhan

  authored
  24d7b05

  Copy full SHA for 24d7b05

• fix build

  Show description for 2ae4ac8
  NikolajBjorner

  committed
  2ae4ac8

  Copy full SHA for 2ae4ac8

• fixup variables

  Show description for b60e1a2
  NikolajBjorner

  committed
  b60e1a2

  Copy full SHA for b60e1a2

• fixup std-order / inv-order

  Show description for 969511a
  NikolajBjorner

  committed
  969511a

  Copy full SHA for 969511a

• reset before manager is deallocated

  Show description for 66bb310
  NikolajBjorner

  committed
  66bb310

  Copy full SHA for 66bb310

• optimize var_subst

  NikolajBjorner

  committed
  a98c925

  Copy full SHA for a98c925

Commits on Oct 3, 2024

• install Julia for macos build

  Show description for f5db6bf
  NikolajBjorner

  committed
  f5db6bf

  Copy full SHA for f5db6bf

• fix indentation for mbp

  Show description for e58eb9f
  NikolajBjorner

  committed
  e58eb9f

  Copy full SHA for e58eb9f

Commits on Oct 2, 2024

• remove default destructors

  nunoplopes

  committed
  3586b61

  Copy full SHA for 3586b61

• reorder template definition

  Show description for b170f10
  NikolajBjorner

  committed
  b170f10

  Copy full SHA for b170f10

• Bump docker/build-push-action from 6.7.0 to 6.9.0 (#7408)

  Show description for 6dec943
  dependabot[bot]

  authored
  6dec943

  Copy full SHA for 6dec943

Pagination

Previous

Next