News

cvc5 · Oct 2, 2024 · 8e999ba · 8e999ba
1 parent 140ca79
commit 8e999ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -7,6 +7,7 @@ ethos 0.1.1 prerelease
 - Adds a new option `--normalize-num`, which also only applies when reference parsing. This option treats numerals as rationals, which can be used when parsing SMT-LIB inputs in logics where numerals are shorthand for rationals.
 - Makes the `set-option` command available in proofs and Eunoia files.
 - Adds `--include=X` and `--reference=X` to the command line interface for including (reference) files.
+- Fixed a bug involving overloaded symbols that are not applied to arguments.
 - Fixed a bug when applying operators with opaque arguments.
 
 ethos 0.1.0