• Hackage: http://hackage.haskell.org/package/sbvPlugin

• GitHub: http://github.com/LeventErkok/sbvPlugin

• Latest Hackage released version: 0.5, 2015-12-26

Version 0.5, 2015-12-26

• 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"

Version 0.4, 2015-12-24

• Support for case-alternatives producing lists/tuples and functions. In the list case, we require that both alternatives produce equal-length lists, as otherwise there is no way to merge the two results.
• More test cases.

Version 0.3, 2015-12-21

• Added the micro-controller example, adapted from the original SBV variant by Anthony Cowley (http://acowley.github.io/NYHUG/FunctionalRoboticist.pdf)
• Add the "skip" option for the plugin itself. Handy when compiling the plugin itself!

Version 0.2, 2015-12-21

• Further fleshing of internals
• Support for case-expressions
• Support for uninterpreted types/functions
• Lots of test cases, refactoring.

Version 0.1, 2015-12-06

• Basic functionality. Initial design exploration.
• The plugin functional on base values, but there are a lot of rough edges around the details. Please report any issues you might find!