Code

Update Bitwuzla code for new API#347

Code

Merged

yoni206 merged 49 commits intostanford-centaur:mainstanford-centaur/smt-switch:mainfrom samanthaarcher0:bitwuzla-updatesamanthaarcher0/smt-switch:bitwuzla-updateCopy head branch name to clipboardJun 18, 2024

+487-619

Commits

Commits on Nov 11, 2023

• Update Bitwuzla code for new API

  CyanoKobalamyne

  committed
  7e0e1fb

Commits on May 14, 2024

• update for bitwuzla API changes

  samanthaarcher0

  committed
  d91e86c

• update version for googletest

  samanthaarcher0

  committed
  eced881

Commits on May 15, 2024

• fix bitwuzla solver constructor and other fixes

  samanthaarcher0

  committed
  d35e95a

Commits on May 16, 2024

• update for Aron to try

  samanthaarcher0

  committed
  e59e28a

• Merge branch 'main' into bitwuzla-update

  CyanoKobalamyne

  committed
  5e2df20

• Newer bitwuzla

  CyanoKobalamyne

  committed
  33fcca0

• Simplify bitwuzla setup script

  CyanoKobalamyne

  committed
  8a60450

• Ignore some stuff

  CyanoKobalamyne

  committed
  b2a4936

Commits on May 17, 2024

• fix seg fault in check_sat_internal

  samanthaarcher0

  committed
  441cdda

• Update support for term substitution

  samanthaarcher0

  committed
  3e6357c

• Fix get_op()

  CyanoKobalamyne

  committed
  f8e9e58

Commits on May 20, 2024

• Update to return null operator for CONST_ARRAY terms

  samanthaarcher0

  committed
  20cfc12

• Fix use of uninitialized variable

  CyanoKobalamyne

  committed
  f5c5bda

• Use built-in time limit

  CyanoKobalamyne

  committed
  e9e2f56

Commits on May 21, 2024

• clean up code, remove old code

  samanthaarcher0

  committed
  8e1cb65

• Merge remote-tracking branch 'upstream/main' into bitwuzla-update

  CyanoKobalamyne

  committed
  ee1c053

• Add bitwuzla to CI matrix

  CyanoKobalamyne

  committed
  4d149a9

• Install meson in CI

  CyanoKobalamyne

  committed
  b91a621

Commits on May 22, 2024

• Install meson via pip

  CyanoKobalamyne

  committed
  1ad1f7f

• Fix ninja package name for Ubuntu

  CyanoKobalamyne

  committed
  5713894

Commits on May 28, 2024

• Remove obsolete check

  CyanoKobalamyne

  committed
  57cbae2

• Simplify constructor

  CyanoKobalamyne

  committed
  bc6a9e7

• Fix formatting

  CyanoKobalamyne

  committed
  ce13acf

Commits on Jun 12, 2024

• Use installed files from Bitwuzla

  CyanoKobalamyne

  committed
  c049f81

• Remove unused memstream include

  CyanoKobalamyne

  committed
  7969442

• Resolve dep dir path

  CyanoKobalamyne

  committed
  67dd772

• Remove unused code

  CyanoKobalamyne

  committed
  51f9063

Commits on Jun 13, 2024

• Fix header inclusion and namespaces

  CyanoKobalamyne

  committed
  40ca1d0

• Add comment to clarify empty conditional

  CyanoKobalamyne

  committed
  5c31d6f

• Rename get_bzla back to get_bitwuzla for backwards compatibility

  CyanoKobalamyne

  committed
  50f859b

• Remove unused time limit-related fields

  CyanoKobalamyne

  committed
  e011660

• Revert manual inlining

  CyanoKobalamyne

  committed
  789313a

• Put back method in sort API

  CyanoKobalamyne

  committed
  6ee4424

• Put back method in term API

  CyanoKobalamyne

  committed
  9380dd0

• Convert map with identical values to set

  CyanoKobalamyne

  committed
  7567f8c

• Check option values

  CyanoKobalamyne

  committed
  abd2e31

• Revert typo

  CyanoKobalamyne

  committed
  4f3381e

• Inline vector creation

  CyanoKobalamyne

  committed
  ab0afc9

• Do not unwrap C++ string

  CyanoKobalamyne

  committed
  fed3ee3

• Use our internal version of assert

  CyanoKobalamyne

  committed
  9e664a9

• Reserve map storage

  CyanoKobalamyne

  committed
  6b210cc

• Make range loop variables forwarding references

  CyanoKobalamyne

  committed
  c67a2f7

• Merge conditionals

  CyanoKobalamyne

  committed
  82432df

• Remove commented out code

  CyanoKobalamyne

  committed
  45c8f72

• Add missing const array check

  CyanoKobalamyne

  committed
  0166c83

• Implement dump_smt2

  CyanoKobalamyne

  committed
  ca776a3

Commits on Jun 14, 2024

• Revert "update version for googletest"

  Show description for 1770f09
  CyanoKobalamyne

  committed
  1770f09

• Wrap bitwuzla calls in try-catch

  CyanoKobalamyne

  committed
  d2cc1d8