Code

Fix data type hashing; fix 253#254

Code

Merged

FedericoAureliano merged 5 commits intomasteruclid-org/uclid:masterfrom fix-253uclid-org/uclid:fix-253Copy head branch name to clipboardJul 17, 2024

+24-4

Commits

Commits on Jul 4, 2024

• fix data type hashing

  FedericoAureliano

  committed
  512a640

  Copy full SHA for 512a640

• add test case to CI

  FedericoAureliano

  committed
  97540fe

  Copy full SHA for 97540fe

• fix buggy test: we actually expect issue-253 to fail two assertions

  FedericoAureliano

  committed
  cd28903

  Copy full SHA for cd28903

Commits on Jul 17, 2024

• Merge branch 'master' into fix-253

  FedericoAureliano

  authored
  aa6716e

  Copy full SHA for aa6716e

• fix missing paren introduced by trying to use github's conflict resolution

  FedericoAureliano

  committed
  a063957

  Copy full SHA for a063957