Code

Add class ClaimLoader#4511

Code

Merged

rv-jenkins merged 9 commits intodevelopruntimeverification/k:developfrom claim-loaderruntimeverification/k:claim-loaderCopy head branch name to clipboardJul 16, 2024

+172-3

Commits

Commits on Jul 16, 2024

• Add class _ClaimModuleList

  tothtamas28

  committed
  5cd6c9a

  Copy full SHA for 5cd6c9a

• Add class ClaimLoader

  tothtamas28

  committed
  7ddcb69

  Copy full SHA for 7ddcb69

• Add builtins to includes

  tothtamas28

  committed
  dbba273

  Copy full SHA for dbba273

• Admit - in info tags

  tothtamas28

  committed
  04e9edc

  Copy full SHA for 04e9edc

• Rename variable

  tothtamas28

  committed
  ce489a1

  Copy full SHA for ce489a1

• Add docstrings

  tothtamas28

  committed
  1495b5c

  Copy full SHA for 1495b5c

• Add docstrings

  tothtamas28

  committed
  e8c1786

  Copy full SHA for e8c1786

• Add logging

  tothtamas28

  committed
  1a1302a

  Copy full SHA for 1a1302a

• Merge branch 'develop' into claim-loader

  F-WRunTime

  authored
  8f7d9cc

  Copy full SHA for 8f7d9cc