aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-08-02 17:02:39 +0200
committerJannis Harder <me@jix.one>2022-08-16 13:37:30 +0200
commitefd5b86eb9c56d293c608d378ee90beea53784b5 (patch)
treef5cf866beac593533082f2c2b3b3ac313086e106 /CHANGELOG
parentf041e36c6e142878c5bca4da5b459177c4f75e07 (diff)
downloadyosys-efd5b86eb9c56d293c608d378ee90beea53784b5.tar.gz
yosys-efd5b86eb9c56d293c608d378ee90beea53784b5.tar.bz2
yosys-efd5b86eb9c56d293c608d378ee90beea53784b5.zip
aiger: Add yosys-witness support
Adds a new json based aiger map file and yosys-witness converters to us this to convert between native and AIGER witness files.
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG3
1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index cf2a46bd3..a9144facf 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -15,6 +15,9 @@ Yosys 0.20 .. Yosys 0.20-dev
- yosys-smtbmc: Reading and writing of yosys witness traces.
- write_smt2: Emit inline metadata to support yosys witness trace.
- yosys-witness is a new tool to inspect and convert yosys witness traces.
+ - write_aiger: Option to write a map file for yosys witness trace
+ conversion.
+ - yosys-witness: Conversion from and to AIGER witness traces.
Yosys 0.19 .. Yosys 0.20
--------------------------