Commit Graph

3 Commits

Author SHA1 Message Date
Emil J. Tywoniak 54b35be609 tests: signorm fix 2026-05-22 21:20:32 +02:00
Emil J. Tywoniak 425d47ad2c clockgate: test $sdffe rejected 2026-05-07 16:13:14 +02:00
Emil J. Tywoniak 687e5442f2 clockgate: formal liberty tests 2026-05-07 16:08:55 +02:00