search

runtimeverification / pyk

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

Attribute checking on node insertion #1075

Closed nwatson22 closed 6 months ago

Baltoli commented 6 months ago

https://github.com/runtimeverification/k/pull/4247