search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Generate attributes `priorities`, `left` and `right` #1010

Closed tothtamas28 closed 7 months ago

tothtamas28 commented 7 months ago

Blocked on: