Avg Release Cycle
623 days ago
- Further fleshing of internals
- Support for case-expressions
- Support for uninterpreted types/functions
- Lots of test cases, refactoring.
- 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!