Code

Example: Two-layered Cache#1549

Code

Open

mt40 wants to merge 2 commits intoinformalsystems:maininformalsystems/quint:mainfrom mt40:mainmt40/quint:mainCopy head branch name to clipboard

+185

Commits

Commits on Nov 11, 2024

• Create twolayeredcache

  mt40

  authored
  44efe35

  Copy full SHA for 44efe35

Commits on Dec 5, 2024

• simplify twolayeredcache spec

  mt40

  authored
  2329097

  Copy full SHA for 2329097