hwtypes
hwtypes copied to clipboard
leonardt
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
It would be great to have a visitor class for ADT types and ADT values.
Type families are a hack. I would like to make them more elegant. I want to define a class `Family` which expects that inheriting classes will have inner classes `Bit`...
Sum and Product types usually have a type Void/Zero and Unit. Void stands for the type with no values. Unit stands for the type with one value. In peak, Unit...
Hello, because I was not able to find project like your's I have written my [own](https://github.com/Nic30/pyMathBitPrecise). I added reference on your project to similar project in readme section of my...
As I have been working on trying to get Sum types to work in magma I have realized that I have developed things in a way that is fairly incompatible...
Right now the dunderscore operators (e.g. __add__) are not defined in the ABC, instead they are defined as `bvadd`, etc.., then the concrete classes implement them but also have to...
This would make it consistent with BitVector and the other types