Code

Better property handling#10

Code

Merged

zafer-esen merged 15 commits intomasteruuverifiers/tricera:masterfrom propertiesuuverifiers/tricera:propertiesCopy head branch name to clipboardJan 29, 2024

+2,310-1,316

Commits

Commits on Jan 17, 2024

• Start properties refactor.

  Show description for c630ad4
  zafer-esen

  committed
  c630ad4

  Copy full SHA for c630ad4

Commits on Jan 18, 2024

• Merge branch 'master' into properties

  zafer-esen

  committed
  351b7d2

  Copy full SHA for 351b7d2

Commits on Jan 19, 2024

• More work on memvalid-free.

  Show description for 8497919
  zafer-esen

  committed
  8497919

  Copy full SHA for 8497919

Commits on Jan 22, 2024

• Merge branch 'master' into properties

  zafer-esen

  committed
  bf9e187

  Copy full SHA for bf9e187

Commits on Jan 23, 2024

• Adds valid-deref tests.

  zafer-esen

  committed
  2323d1f

  Copy full SHA for 2323d1f

• Properties - naming and documentation

  zafer-esen

  committed
  dfe2106

  Copy full SHA for dfe2106

• Adds support for memcleanup property.

  zafer-esen

  committed
  5c1e1c3

  Copy full SHA for 5c1e1c3

• Adds memcleanup regression tests.

  zafer-esen

  committed
  33c18d0

  Copy full SHA for 33c18d0

Commits on Jan 27, 2024

• More property related improvements.

  Show description for 8a260e0
  zafer-esen

  committed
  8a260e0

  Copy full SHA for 8a260e0

• Bug fixes in properties and solution printing, updates regression tests.

  Show description for 1c8dfb9
  zafer-esen

  committed
  1c8dfb9

  Copy full SHA for 1c8dfb9

Commits on Jan 28, 2024

• Refactor YAML parser to its own class.

  zafer-esen

  committed
  9f78f4a

  Copy full SHA for 9f78f4a

• Warning message when parsing fails.

  zafer-esen

  committed
  06dc7d1

  Copy full SHA for 06dc7d1

Commits on Jan 29, 2024

• Adds support for splitting properties, and many other changes.

  Show description for 6b62ac9
  zafer-esen

  committed
  6b62ac9

  Copy full SHA for 6b62ac9

• Add missing regression test.

  zafer-esen

  committed
  ff63052

  Copy full SHA for ff63052

• Minor change in error output, regression tests

  zafer-esen

  committed
  4684d61

  Copy full SHA for 4684d61