Code

Constraints for storage types#633

Code

Closed

nwatson22 wants to merge 8 commits intomasterruntimeverification/kontrol:masterfrom noah/mapping-constraintsruntimeverification/kontrol:noah/mapping-constraintsCopy head branch name to clipboard

+184-28

Commits

Commits on Jun 19, 2024

• Add test for mapping constraints, add more detail to StorageField to accommodate generating constraints for nested types

  nwatson22

  committed
  35e0881

  Copy full SHA for 35e0881

• Set Version: 0.1.316

  

  devops

  committed
  c02617e

  Copy full SHA for c02617e

Commits on Jun 20, 2024

• Generate constraints for nested maps

  nwatson22

  committed
  ecf1d55

  Copy full SHA for ecf1d55

• Merge branch 'noah/mapping-constraints' of https://github.com/runtimeverification/kontrol into noah/mapping-constraints

  nwatson22

  committed
  a8b9a00

  Copy full SHA for a8b9a00

Commits on Jun 25, 2024

• Add checking for enum length

  nwatson22

  committed
  c38b69e

  Copy full SHA for c38b69e

Commits on Jun 26, 2024

• Clean up

  nwatson22

  committed
  2fe9eed

  Copy full SHA for 2fe9eed

• Clean up

  nwatson22

  committed
  4d34df5

  Copy full SHA for 4d34df5

• Clean up

  nwatson22

  committed
  ed4aedb

  Copy full SHA for ed4aedb