All Versions
12
Latest Version
Avg Release Cycle
158 days
Latest Release
1475 days ago

Changelog History
Page 2

  • v0.2 Changes

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

  • v0.1 Changes

    December 07, 2015
    • 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!