search

leonardt / hwtypes

Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
BSD 3-Clause "New" or "Revised" License
18 stars 4 forks source link

add protocol #130

Closed cdonovick closed 4 years ago

cdonovick commented 4 years ago

implements #128

cdonovick commented 4 years ago

Discovered some wierd stuff closing for now

cdonovick commented 4 years ago

Weirdness squashed