sbv v5.8 Release Notes
Release Date: 2016-01-01 // over 8 years ago-
- Fix some typos
- Add 'svEnumFromThenTo' to the Dynamic interface, allowing dynamic construction of [x, y .. z] and [x .. y] when the involved values are concrete.
- Add 'svExp' to the Dynamic interface, implementing exponentiation