This repository was archived by the owner on Nov 3, 2021. It is now read-only.

This repository was archived by the owner on Nov 3, 2021. It is now read-only.

[spec] Make OOB spec changes to follow #123 and #126 #127

Closed

Assignees

opened

on Nov 21, 2019

Interpreter and tests have been adapted for new OOB early checking behaviour in #123 and #126, but the respective spec changes still have to be done.

Metadata

Assignees

rossberg

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests