Add uninterpretedWithArgs

Allows for user given argument names for uninterpreted functions. These names come in handy when displaying models of uninterpreted functions.
LeventErkok · Dec 30, 2023 · 1bcdc2e · 1bcdc2e
1 parent 1ac7ea3
commit 1bcdc2e
Show file tree

Hide file tree

Showing 2 changed files with 51 additions and 42 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -11,6 +11,9 @@
 
   * Added 'sSetBitTo', variant of 'setBitTo', but allows symbolic indexes.
 
+  * Added 'uninterpretWithArgs', which allows for user given argument names for uninterpreted functions. These
+    names come in handy when displaying models of uninterpreted functions.
+
   * Added `Documentation.SBV.Examples.Misc.ProgramPaths`, showing an example use of all-sat partitioning.
 
   * Added `Documentation.SBV.Examples.BitPrecise.PEXT_PDEP`, modeling x86 instructions PDEP and PEXT.