Code

Pb 47r nested modal logic#81

Code

Merged

JacobTheisen merged 6 commits intomainblankoslo/Pizza.v3:mainfrom PB-47r-nested-modal-logicblankoslo/Pizza.v3:PB-47r-nested-modal-logicCopy head branch name to clipboardNov 10, 2023

+8-10

Commits

Commits on Nov 9, 2023

• PB-50: Refactor modal logic + remove unused files

  JacobTheisen

  committed
  50f5ab0

  Copy full SHA for 50f5ab0

• Merge branch 'main' into PB-50-Refactor-modal-logic

  JacobTheisen

  committed
  cef7ee3

  Copy full SHA for cef7ee3

Commits on Nov 10, 2023

• PB-50; More refactoring

  JacobTheisen

  committed
  fe7c669

  Copy full SHA for fe7c669

• PB-50; rename and fix imports

  JacobTheisen

  committed
  0651049

  Copy full SHA for 0651049

• PB-47r; added logic for nested modals

  JacobTheisen

  committed
  59c4024

  Copy full SHA for 59c4024

• Merge branch 'main' into PB-47r-nested-modal-logic

  JacobTheisen

  committed
  7446491

  Copy full SHA for 7446491