From efd5b86eb9c56d293c608d378ee90beea53784b5 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Tue, 2 Aug 2022 17:02:39 +0200 Subject: 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. --- CHANGELOG | 3 +++ 1 file changed, 3 insertions(+) (limited to 'CHANGELOG') 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 -------------------------- -- cgit v1.2.3