Code

Exposing type macro handling to API#546

Code

Open

cgjohannsen wants to merge 2 commits intoSRI-CSL:masterSRI-CSL/yices2:masterfrom cgjohannsen:type-macros-apicgjohannsen/yices2:type-macros-apiCopy head branch name to clipboard

+97-102

Commits

Commits on Jan 6, 2025

• Exposing type macro handling to API

  cgjohannsen

  committed
  49db5be

  Copy full SHA for 49db5be

Commits on Jan 7, 2025

• Adding __YICES_DLLSPEC__ to API functions

  cgjohannsen

  committed
  f0000c0

  Copy full SHA for f0000c0