3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-12-02 03:29:08 +00:00
sby/tools
dependabot[bot] 57758c74b1
Bump tracing-subscriber from 0.3.19 to 0.3.20 in /tools/aigcexmin
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.19 to 0.3.20.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.19...tracing-subscriber-0.3.20)

---
updated-dependencies:
- dependency-name: tracing-subscriber
  dependency-version: 0.3.20
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
2025-08-29 20:58:12 +00:00
..
aigcexmin Bump tracing-subscriber from 0.3.19 to 0.3.20 in /tools/aigcexmin 2025-08-29 20:58:12 +00:00
cexenum Merge pull request #301 from jix/cexenum-updates 2025-04-08 16:50:21 +02: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