search

runtimeverification / mx-semantics

6 stars 1 forks source link

Simplify Int2Bytes and Bytes2Bytes #290

Open virgil-serbanuta opened 2 weeks ago