mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 09:34:09 +00:00
f041e36c6e
This adds a native json based witness trace format. By having a common
format that includes everything we support, and providing a conversion
utility (yosys-witness) we no longer need to implement every format for
every tool that deals with witness traces, avoiding a quadratic
opportunity to introduce subtle bugs.
Included:
* smt2: New yosys-smt2-witness info lines containing full hierarchical
paths without lossy escaping.
* yosys-smtbmc --dump-yw trace.yw: Dump results in the new format.
* yosys-smtbmc --yw trace.yw: Read new format as constraints.
* yosys-witness: New tool to convert witness formats.
Currently this can only display traces in a human-readable-only
format and do a passthrough read/write of the new format.
* ywio.py: Small python lib for reading and writing the new format.
Used by yosys-smtbmc and yosys-witness to avoid duplication.
47 lines
662 B
Plaintext
47 lines
662 B
Plaintext
*.o
|
|
*.d
|
|
.*.swp
|
|
*.gch
|
|
*.gcda
|
|
*.gcno
|
|
__pycache__
|
|
/.cproject
|
|
/.project
|
|
/.settings
|
|
/qtcreator.files
|
|
/qtcreator.includes
|
|
/qtcreator.config
|
|
/qtcreator.creator
|
|
/qtcreator.creator.user
|
|
/coverage.info
|
|
/coverage_html
|
|
/Makefile.conf
|
|
/abc
|
|
/viz.js
|
|
/yosys
|
|
/yosys.exe
|
|
/yosys.js
|
|
/yosys.wasm
|
|
/yosys-abc
|
|
/yosys-abc.exe
|
|
/yosys-config
|
|
/yosys-smtbmc
|
|
/yosys-smtbmc.exe
|
|
/yosys-smtbmc-script.py
|
|
/yosys-witness
|
|
/yosys-witness.exe
|
|
/yosys-witness-script.py
|
|
/yosys-filterlib
|
|
/yosys-filterlib.exe
|
|
/kernel/*.pyh
|
|
/kernel/python_wrappers.cc
|
|
/kernel/version_*.cc
|
|
/share
|
|
/yosys-win32-mxebin-*
|
|
/yosys-win32-vcxsrc-*
|
|
/yosysjs-*
|
|
/libyosys.so
|
|
/tests/unit/bintest/
|
|
/tests/unit/objtest/
|
|
/tests/ystests
|