try out rIC3 for SymbiYosys proofs
programmerjake
deleted branch actually-test-always-zero-hasher from programmerjake/fayalite
2025-04-10 04:24:57 +00:00
actually test always_zero hasher
actually test always_zero hasher