sbvPlugin v0.2 Release Notes

Release Date: 2015-12-22 // over 6 years ago
    • Further fleshing of internals
    • Support for case-expressions
    • Support for uninterpreted types/functions
    • Lots of test cases, refactoring.