Skip to content

Normalize rare lists for unary operations in rewrite engine#124

Open
caotic123 wants to merge 1 commit into
ufmg-smite:mainfrom
caotic123:fix/rare-list-unary-normalization
Open

Normalize rare lists for unary operations in rewrite engine#124
caotic123 wants to merge 1 commit into
ufmg-smite:mainfrom
caotic123:fix/rare-list-unary-normalization

Normalize rare lists for unary operations in rewrite engine

8d43522
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
format
failed Jun 9, 2026 in 13s