This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Update to latest K #38

Open

nishantjr opened this issue May 23, 2023 · 1 comment

Labels

large-task

Milestone

Contributor

nishantjr commented May 23, 2023 •

edited

Loading

Depends on: #40

This will involve handling the new axioms higher-level axioms. See runtimeverification/k#3306

nishantjr added this to the PoC-Track-1 milestone

Contributor Author

nishantjr commented May 24, 2023

The bulk of this work will be defining notation for the new kore axioms in terms of the old notation.
Any theorems we need may be assumed for the PoC

nishantjr added the large-task label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.