Code

Constraints for storage types#686

Code

Draft

nwatson22 wants to merge 18 commits intomasterruntimeverification/kontrol:masterfrom noah/storage-type-constraintsruntimeverification/kontrol:noah/storage-type-constraintsCopy head branch name to clipboard

+352-33

Commits

Commits on Jul 9, 2024

• Add test, add more advanced storage types system

  nwatson22

  committed
  6dafb51

  Copy full SHA for 6dafb51

• Set Version: 0.1.348

  

  devops

  committed
  e7bd8ea

  Copy full SHA for e7bd8ea

Commits on Jul 11, 2024

• Merge branch 'master' into noah/storage-type-constraints

  palinatolmach

  authored
  9f74562

  Copy full SHA for 9f74562

• Set Version: 0.1.349

  

  devops

  committed
  e06c75c

  Copy full SHA for e06c75c

• Merge branch 'master' into noah/storage-type-constraints

  nwatson22

  authored
  77ea753

  Copy full SHA for 77ea753

• Set Version: 0.1.350

  

  devops

  committed
  3f27004

  Copy full SHA for 3f27004

Commits on Jul 12, 2024

• Merge branch 'master' into noah/storage-type-constraints

  nwatson22

  authored
  528a2c6

  Copy full SHA for 528a2c6

• Set Version: 0.1.351

  

  devops

  committed
  0f12f21

  Copy full SHA for 0f12f21

• Fix constraint generation

  nwatson22

  committed
  f378be0

  Copy full SHA for f378be0

Commits on Jul 15, 2024

• Merge master into branch

  nwatson22

  committed
  1a1ac1b

  Copy full SHA for 1a1ac1b

• Set Version: 0.1.353

  

  devops

  committed
  8743729

  Copy full SHA for 8743729

Commits on Jul 17, 2024

• Add KontrolAPRProver

  nwatson22

  committed
  7ad2625

  Copy full SHA for 7ad2625

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

  nwatson22

  committed
  98c79e9

  Copy full SHA for 98c79e9

Commits on Jul 22, 2024

• Merge master into branch

  nwatson22

  committed
  6375ba1

  Copy full SHA for 6375ba1

• Generate invariant productions and add them to side conditions when generating symbolic storage

  nwatson22

  committed
  14feebc

  Copy full SHA for 14feebc

Commits on Jul 30, 2024

• Merge branch 'master' into noah/storage-type-constraints

  nwatson22

  authored
  4a252b9

  Copy full SHA for 4a252b9

• Test adding lemmas for simple types

  nwatson22

  committed
  d5f2048

  Copy full SHA for d5f2048

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

  nwatson22

  committed
  2f40ea1

  Copy full SHA for 2f40ea1