rme-0.1.2: CHANGELOG.md

# Revision history for rme

## 0.1.2 -- 2026-01-26

* Added partial support for arrays returned from symbolic functions.
  Expressions must be exactly of the form: `select (f args) ix`. This is
  used to support the translation of uninterpreted functions new in
  SAW.

* Added support for concrete integers as needed for SAW's above translation
  used to index the symbolic array results.

## 0.1.1

* Added `Ord` instance for `RME`

## 0.1

* First version.