Code

Undefined and null values support#248

Code

Merged

CaelmBleidd merged 15 commits intomainUnitTestBot/usvm:mainfrom caelmbleidd/undefined_supportUnitTestBot/usvm:caelmbleidd/undefined_supportCopy head branch name to clipboardFeb 12, 2025

+220-19

Commits

Commits on Feb 7, 2025

• Add tests for undefined

  Lipen

  committed
  8561271

  Copy full SHA for 8561271

• Add undefined and null expression

  CaelmBleidd

  committed
  2d8bdfb

  Copy full SHA for 2d8bdfb

• Add draft StrictEq

  Lipen

  committed
  fa2dbd7

  Copy full SHA for fa2dbd7

• Fix unknown arg type

  Lipen

  committed
  2b74903

  Copy full SHA for 2b74903

• Map undefined type to address sort

  Lipen

  committed
  36e7333

  Copy full SHA for 36e7333

• Delegate '===' to '=='

  Lipen

  committed
  4dff96d

  Copy full SHA for 4dff96d

Commits on Feb 11, 2025

• Revert "Add undefined and null expression"

  Show description for 529ec3f
  CaelmBleidd

  committed
  529ec3f

  Copy full SHA for 529ec3f

• Add ts null reference

  CaelmBleidd

  committed
  a3b7fb8

  Copy full SHA for a3b7fb8

• Add undefined support in TSTestResolver

  CaelmBleidd

  committed
  0b407b9

  Copy full SHA for 0b407b9

• Add null support

  CaelmBleidd

  committed
  45f6239

  Copy full SHA for 45f6239

• Refactor mkTSNullValue to accept a null creator function

  CaelmBleidd

  committed
  b1a4816

  Copy full SHA for b1a4816

• Fix compilation

  CaelmBleidd

  committed
  8a4a71d

  Copy full SHA for 8a4a71d

• Add check for undefined and null values in field reading

  CaelmBleidd

  committed
  f3720f0

  Copy full SHA for f3720f0

• Fix missed type assertions for fake objects

  CaelmBleidd

  committed
  8acf1da

  Copy full SHA for 8acf1da

• Codestyle fixes

  CaelmBleidd

  committed
  d134a69

  Copy full SHA for d134a69