Skip to content

remove ValueCastable support from smtlib2.py

Jacob Lifshay requested to merge programmerjake/nmigen:remove-smtlib2-valuecastable into master

as requested by lkcl

you have to explicitly call .as_value() now to convert from Smt* types to Value

Merge request reports