From b5c0a717f94403b0f3ae4092d62481fb9a176547 Mon Sep 17 00:00:00 2001 From: Armin Biere Date: Wed, 31 Jan 2024 16:51:55 +0100 Subject: [PATCH] updated NEWS --- NEWS.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/NEWS.md b/NEWS.md index 8a70125..539c277 100644 --- a/NEWS.md +++ b/NEWS.md @@ -1,8 +1,10 @@ ## Version 1.9.17-rc.1 - - + - Dedicated XOR detection and CNF encoding for 'aigtocnf'. - - First output needs to negated in 'aigor' + - Added '-r' option for 'aigselect'. + + - First output needs to be negated in 'aigor' (discovered by Gianpiero Cabodi in 2021). - Reset types during reencoding (discovered by Sam Bayless in 2016). @@ -12,7 +14,7 @@ - Only warn if there are no constraints in 'aigunconstraint'. - Added better parse error reporting for 'c ' versus 'c'. - Added better parse error context for failed literal reading. - - - Added 'aigerselect' and '-u' option for 'aigunroll'. + - Added '-u' option for 'aigunroll'. - Added 'aiger[de]interleave.sh' and 'aigerswap[2].sh' - Fixed 'aigtocnf' to properly respect inputs even if output is constant. - Allow 'x' for initialized latches in 'aigsim' (thanks to Norbert Manthey)