Code

Refactor datatypes#338

Code

Closed

janvrany wants to merge 6 commits intoshingarov:pure-z3shingarov/MachineArithmetic:pure-z3from janvrany:pr/refactor-datatypesjanvrany/MachineArithmetic:pr/refactor-datatypesCopy head branch name to clipboard

+199-74

Commits

Commits on Aug 1, 2024

• [Z3] Remove unused ctx instvar from Z3Datatype

  janvrany

  committed
  c0f3e47

  Copy full SHA for c0f3e47

• [Z3]: Refactor Z3Datatype class >> createDatatypes:

  Show description for ca52a53
  janvrany

  committed
  ca52a53

  Copy full SHA for ca52a53

• [Z3] Implement Object >> toDatatype:

  janvrany

  committed
  a126fe3

  Copy full SHA for a126fe3

Commits on Aug 7, 2024

• [Z3] Add Z3DatatypeComponent

  Show description for d981f77
  janvrany

  committed
  d981f77

  Copy full SHA for d981f77

• [Z3] Add "instance creation API" to Z3DatatypeComponent

  Show description for c42d3c7
  janvrany

  committed
  c42d3c7

  Copy full SHA for c42d3c7

• [Z3] Implement Datatype >> is:

  Show description for e91e630
  janvrany

  committed
  e91e630

  Copy full SHA for e91e630