3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-22 12:55:30 +00:00
sby/tools
dependabot[bot] ff9aac7d69
Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin
Bumps [anstream](https://github.com/rust-cli/anstyle) from 0.6.4 to 0.6.18.
- [Commits](https://github.com/rust-cli/anstyle/compare/anstream-v0.6.4...anstream-v0.6.18)

---
updated-dependencies:
- dependency-name: anstream
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-12-04 18:37:19 +00:00
..
aigcexmin Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin 2024-12-04 18:37:19 +00:00
cexenum Replace (read_)ilang with (read_)rtlil 2024-11-05 12:55:09 +13:00
README.md Add aigcxemin and cexenum.py tools 2023-11-16 13:46:25 +01:00

SBY - Additional Tools

This directory contains various tools that can be used in conjunction with SBY.

  • aigcexmin Counter-example minimization of AIGER witness (.aiw) files
  • cexenum Enumeration of minimized counter-examples