Commit Graph

2 Commits

Author SHA1 Message Date
Emil J. Tywoniak 5a613fc457 cellaigs: add $priority 2026-01-21 21:11:22 +01:00
Krystine Sherwin 6842003e76
tests/aiger: Add gold .aag files
Generated with changes from 26f2c111
2025-12-02 14:03:37 +13:00