0.3.2
Changes
- Bv and fp optimization
- Better expression interning
KInterpretedValue
base class for all inderpreted constants (replacement forKInterpretedConstant
marker interface)- Small changes in
KTransformer.transformApp
argument types
KInterpretedValue
base class for all inderpreted constants (replacement for KInterpretedConstant
marker interface)KTransformer.transformApp
argument types