logrel_unary.v 7.93 KB