rme 0.1.1 → 0.1.2
raw patch · 2 files changed
+11/−1 lines, 2 files
Files
- CHANGELOG.md +10/−0
- rme.cabal +1/−1
CHANGELOG.md view
@@ -1,5 +1,15 @@ # 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`
rme.cabal view
@@ -1,6 +1,6 @@ Cabal-version: 3.0 Name: rme-Version: 0.1.1+Version: 0.1.2 Author: Galois, Inc. Maintainer: huffman@galois.com Build-type: Simple