sbvPlugin v0.5 Release Notes
Release Date: 2015-12-26 // over 8 years ago-
- Allow higher-order (i.e., function) arguments to theorems.
- Rework uninterpreted functions, generalize types
- Simplify cabal file; no need to ship gold-files for tests
- Add merge-sort example "Data/SBV/Plugin/Examples/MergeSort.hs"
- Add bit-tricks example "Data/SBV/Plugin/Examples/BitTricks.hs"