sbv v5.12 Release Notes
Release Date: 2016-06-06 // almost 8 years ago-
Fix GHC8.0 compilation issues, and warning clean-up. Thanks to Adam Foltzer for the bulk of the work and Tom Sydney Kerckhove for the initial patch for 8.0 compatibility.
Minor fix to printing models with floats when the base is 2/16, making sure the alignment is done properly accommodating for the crackNum output.
Wait for external process to die on exception, to avoid spawning zombies. Thanks to Daniel Wagner for the patch.
Fix hash-consed arrays: Previously we were caching based only on elements, which is not sufficient as you can have conflicts differing only on the address type, but same contents. Thanks to Brian Huffman for reporting and the corresponding patch.