Code

Add a bunch of features and fixes#202

Code

Open

misonijnik wants to merge 22 commits intomainUnitTestBot/klee:mainfrom misonijnik/bunch-of-featuresUnitTestBot/klee:misonijnik/bunch-of-featuresCopy head branch name to clipboard

+54,886-432

Commits

Commits on Nov 16, 2024

• fix: Terminate only not CoveredNew states

  

  dim8art

  authored and

  misonijnik

  committed
  81ebffa

• fix: Do not cache ConstantExpr's

  misonijnik

  committed
  685dd82

• chore(kleef): Add debug option to kleef

  misonijnik

  committed
  61c6c52

• fix: Fix the cover-error-call tests

  misonijnik

  committed
  1b589e1

• feat: Add FreezeLower

  misonijnik

  committed
  2438382

• chore: Update constructSolverChain

  misonijnik

  committed
  0d4679c

• feat: Cache LocationInfo

  misonijnik

  committed
  53e50b2

• fix: Rewrite equalities intermittently

  misonijnik

  committed
  98fe275

Commits on Nov 17, 2024

• chore: Bump Bitwuzla version up to 0.6.0

  misonijnik

  committed
  680cd90

• fix: Fix eqExpr in BitwuzlaBuilder

  misonijnik

  committed
  f058168

Commits on Nov 19, 2024

• fix(kleef): Use batching search in kleef script.

  Show description for d347369
  misonijnik

  committed
  d347369

• chore: Get gid of unnecessary constraints

  misonijnik

  committed
  ae7b12f

• chore(module): Intern LocationInfo

  misonijnik

  committed
  e0165af

• fix: Fix SubExpr simplify

  misonijnik

  committed
  dbc64de

• feat: Add MaxCoreSolverMemory (only for Bitwuzla)

  misonijnik

  committed
  9ff07b8

• test: Update tests

  misonijnik

  committed
  213540d

• fix(freeze): Add include

  misonijnik

  committed
  cf0a885

• fix(floats): Fix FPToI encoding, restrict on domain of definition

  misonijnik

  committed
  f2c5f68

• test(options): Use --debug option in kleef

  misonijnik

  committed
  f8881d4

• test: Update

  misonijnik

  committed
  a9765e9

• chore(floats): Add description fo FPToI workaround

  misonijnik

  committed
  5828c5b

• chore(bitwuzla): Bump version

  misonijnik

  committed
  fc15d93