Code

Improved Java phantom references#7131

Code

Merged

NikolajBjorner merged 7 commits intoZ3Prover:masterZ3Prover/z3:masterfrom ThomasHaas:java_phantom_referencesThomasHaas/z3:java_phantom_referencesCopy head branch name to clipboardFeb 21, 2024

+448-805

Commits

Commits on Feb 17, 2024

• Reworked phantom reference handling.

  Show description for 862dd9b
  ThomasHaas

  committed
  862dd9b

  Copy full SHA for 862dd9b

• Made Statistics.Entry a static subclass

  ThomasHaas

  committed
  727643c

  Copy full SHA for 727643c

• Made Context.close idempotent (as recommended)

  ThomasHaas

  committed
  a1528aa

  Copy full SHA for a1528aa

• Update CMakeLists.txt for building the Java API.

  ThomasHaas

  committed
  d8930e7

  Copy full SHA for d8930e7

• Updated CMakeLists.txt again.

  ThomasHaas

  committed
  323b70a

  Copy full SHA for 323b70a

• Use correct SuppressWarning annotation to silence the compiler

  ThomasHaas

  committed
  9fbd790

  Copy full SHA for 9fbd790

• Formatting

  ThomasHaas

  committed
  e69767b

  Copy full SHA for e69767b