« Changelog History


sbv v5.13 Release Notes

Release Date: 2016-10-29 // over 7 years ago

    • Fix broken links, thanks to Stephan Renatus for the patch.

    • Code generation: Create directory path if it does not exist. Thanks to Robert Dockins for the patch.

    • Generalize the type of sFromIntegral, dropping the Bits requirement. In turn, this allowed us to remove sIntegerToSReal, since sFromIntegral can be used instead.

    • Add support for sRealToSInteger. (Essentially the floor function for SReal.)

    • Several space-leaks fixed for better performance. Patch contributed by Robert Dockins.

    • Improved Random instance for Rational. Thanks to Joe Leslie-Hurd for the idea.